Formal techniques for distributed objects, components, and systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture Notes in Computer Science
8461 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 299 S. |
| ISBN: | 3662436124 9783662436127 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041923817 | ||
| 003 | DE-604 | ||
| 005 | 20150527 | ||
| 007 | t| | ||
| 008 | 140618s2014 gw |||| 10||| eng d | ||
| 016 | 7 | |a 1050306791 |2 DE-101 | |
| 020 | |a 3662436124 |c print |9 3-662-43612-4 | ||
| 020 | |a 9783662436127 |c print |9 978-3-662-43612-7 | ||
| 035 | |a (OCoLC)883931163 | ||
| 035 | |a (DE-599)DNB1050306791 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 004.36 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 250f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings |c Erika Ábrahám... (Eds.) |
| 263 | |a 201406 | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2014 | |
| 300 | |a XII, 299 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 8461 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ábrahám, Erika |d 1970- |0 (DE-588)173826598 |4 edt | |
| 711 | 2 | |a FORTE |n 34 |d 2014 |c Berlin |j Sonstige |0 (DE-588)1052440029 |4 oth | |
| 711 | 2 | |a International Federated Conference on Distributed Computing Techniques |n 9 |d 2014 |c Berlin |j Sonstige |0 (DE-588)1052440487 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-43613-4 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 8461 |w (DE-604)BV000000607 |9 8461 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4648219&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027367322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027367322 | |
Datensatz im Suchindex
| _version_ | 1820875574853238784 |
|---|---|
| adam_text |
TABLE OF CONTENTS
SPECIFICATION LANGUAGES AND TYPE SYSTEMS
TYPE CHECKING LIVENESS FOR COLLABORATIVE PROCESSES WITH BOUNDED AND
UNBOUNDED RECURSION 1
S0REN DEBOIS, THOMAS HILDEBRANDT, TIJS SLANTS, AND NOBUKO YOSHIDN
PROPERTY SPECIFICATION MADE EASY: HARNESSING THE POWER OF MODEL
CHECKING IN UML DESIGNS 17
DANIELA REMENSKA, TIM A.C. WILLEMSE, JEFF TEMPLON,
KEES VERSTOEP, AND, HENRI, BAL
FORMAL SPECIFICATION AND VERIFICATION OF CRDTS 33
PETER ZELLER. ANNETTE BIENIUSA, AND ARND POETZSCH-HEFFTER
MONITORING AND TESTING
ACTOR- AND TASK-SELECTION STRATEGIES FOR PRUNING REDUNDANT
STATE-EXPLORATION IN TESTING 49
ELVIRA ALBERT, PURI ARENAS, AND MIGUEL GOMEZ-ZAMALLOA
EFFICIENT, AND GENERALIZED DECENTRALIZED MONITORING OF REGULAR
LANGUAGES GO
YLIES FALCONE. TOM CORNEBIZE, AND JEAN-CLAUDE FERNANDEZ
A MODEL-BASED CERTIFICATION FRAMEWORK FOR THE ENERGYBUS STANDARD . 84
ALEXANDER GRAF-BRILL. HOLGER HERMANNS, AND HUBERT GARAVEL
EFFECTIVENESS FOR INPUT OUTPUT CONFORMANCE SIMULATION IOCOS 100
CARLOS GREGORIO-RODRIGUEZ, LUIS LIANA, AND RAFAEL MARTINEZ-TORRES
SECURITY ANALYSIS
A PROGRAM LOGIC FOR VERIFYING SECURE ROUTING PROTOCOLS 117
CHEN CHEN, LIMIN JIA, HAO XU, CHENG LAO, WENCHAO ZHOU, AND,
BOON THAU LOO
VERIFYING SECURITY POLICIES USING HOST ATTRIBUTES 133
CORNELIUS DIEKMANN, STEPHAN-A. POSSELT, HEIKO NIEDERMAYER,
HOLGER KINKELM, OLIVER HANKA, AND GEORG CARLE
DENIAL-OF-SERVICE SECURITY ATTACK IN THE CONTINUOUS-TIME WORLD 149
SHULING WANG, FLERRIMING NIELSON, AND HA.NNE R.IIS NIELSON
HTTP://D-NB.INFO/1050306791
XII TABLE OF CONTENTS
QUANTITATIVE INFORMATION FLOW UNDER GENERIC LEAKAGE FUNCTIONS AND
ADAPTIVE ADVERSARIES 166
MICHELE BOREALE AND FRANCESCO, PAMPALONI
UNIFORM PROTECTION FOR MULTI-EXPOSED TARGETS 182
ROBERTO VIGO. FLEMMING NIELSON. AND HANNE R.IIS NIELSON
METRICS FOR DIFFERENTIAL PRIVACY IN CONCURRENT SYSTEMS 199
LILI XU, KONSTANTINOS CHATZIKOKOLAKIS, AND HUIMIN LIN
BISIMULATION, ABSTRACTION AND REDUCTION
DIMMING RELATIONS FOR THE EFFICIENT ANALYSIS OF CONCURRENT SYSTEMS
VIA ACTION ABSTRACTION 216
ROCCO DE NICOLA, GIULIO IACOBELLI, AND MIRCO TRIBASTONE
ON THE STEP BRANCHING TIME CLOSURE OF FREE-CHOICE PETRI NETS 232
STEPHAN MENNICKE. JENS- WOLFH,ARD SCHICKE- UFFRNANN. AND
URSULA GOLTZ
COINDUCTIVE DEFINITION OF DISTANCES BETWEEN PROCESSES: BEYOND
BISIMULATION DISTANCES 249
DAVID ROMERO-HERNANDEZ AND DAVID DE FRUTOS ESCRIG
MECHANIZING THE MINIMIZATION OF DETERMINISTIC GENERALIZED BIICLII
AUTOMATA 266
SOUHEIB BAARIR AND, ALEXANDRE DURET-LUTZ
FORMAL VERIFICATION OF COMPLEX PROPERTIES ON PLC PROGRAMS 284
DANIEL DARVAS, BORJA, FERNANDEZ ADIEGO, ANDRDS VOROS,
TAMDS BARTHA, ENRIQUE BLANCO VINUELA, AND,
VICTOR M. GONZALEZ SUAREZ
AUTHOR INDEX 301 |
| any_adam_object | 1 |
| author2 | Ábrahám, Erika 1970- |
| author2_role | edt |
| author2_variant | e á eá |
| author_GND | (DE-588)173826598 |
| author_facet | Ábrahám, Erika 1970- |
| building | Verbundindex |
| bvnumber | BV041923817 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 250f |
| ctrlnum | (OCoLC)883931163 (DE-599)DNB1050306791 |
| dewey-full | 004.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.36 |
| dewey-search | 004.36 |
| dewey-sort | 14.36 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041923817</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150527</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">140618s2014 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1050306791</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662436124</subfield><subfield code="c">print</subfield><subfield code="9">3-662-43612-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662436127</subfield><subfield code="c">print</subfield><subfield code="9">978-3-662-43612-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)883931163</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1050306791</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed objects, components, and systems</subfield><subfield code="b">34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings</subfield><subfield code="c">Erika Ábrahám... (Eds.)</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201406</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 299 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">8461</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ábrahám, Erika</subfield><subfield code="d">1970-</subfield><subfield code="0">(DE-588)173826598</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">34</subfield><subfield code="d">2014</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1052440029</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Federated Conference on Distributed Computing Techniques</subfield><subfield code="n">9</subfield><subfield code="d">2014</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1052440487</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-43613-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">8461</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8461</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4648219&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027367322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027367322</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Berlin gnd-content |
| genre_facet | Konferenzschrift 2014 Berlin |
| id | DE-604.BV041923817 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:17:49Z |
| institution | BVB |
| institution_GND | (DE-588)1052440029 (DE-588)1052440487 |
| isbn | 3662436124 9783662436127 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027367322 |
| oclc_num | 883931163 |
| open_access_boolean | |
| owner | DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XII, 299 S. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings Erika Ábrahám... (Eds.) 201406 Berlin [u.a.] Springer 2014 XII, 299 S. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 8461 Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Berlin gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Ábrahám, Erika 1970- (DE-588)173826598 edt FORTE 34 2014 Berlin Sonstige (DE-588)1052440029 oth International Federated Conference on Distributed Computing Techniques 9 2014 Berlin Sonstige (DE-588)1052440487 oth Erscheint auch als Online-Ausgabe 978-3-662-43613-4 Lecture Notes in Computer Science 8461 (DE-604)BV000000607 8461 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4648219&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027367322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings Erika Ábrahám... (Eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings Erika Ábrahám... (Eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings Erika Ábrahám... (Eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 34th ifip wg 6 1 international conference forte 2014 held as part of the 9th international federated conference on distributed computing techniques discotec 2014 berlin germany june 3 5 2014 proceedings |
| title_sub | 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Formale Methode Verteiltes System Konferenzschrift 2014 Berlin |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4648219&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027367322&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT abrahamerika formaltechniquesfordistributedobjectscomponentsandsystems34thifipwg61internationalconferenceforte2014heldaspartofthe9thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2014berlingermanyjune352014proceedings AT forteberlin formaltechniquesfordistributedobjectscomponentsandsystems34thifipwg61internationalconferenceforte2014heldaspartofthe9thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2014berlingermanyjune352014proceedings AT internationalfederatedconferenceondistributedcomputingtechniquesberlin formaltechniquesfordistributedobjectscomponentsandsystems34thifipwg61internationalconferenceforte2014heldaspartofthe9thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2014berlingermanyjune352014proceedings |