FM 2012: Formal Methods: 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2012
|
| Series: | Lecture Notes in Computer Science
7436 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XVI, 488 S. |
| ISBN: | 3642327583 9783642327582 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040367239 | ||
| 003 | DE-604 | ||
| 005 | 20141118 | ||
| 007 | t| | ||
| 008 | 120816s2012 gw |||| 10||| eng d | ||
| 015 | |a 12,N31 |2 dnb | ||
| 016 | 7 | |a 1024548805 |2 DE-101 | |
| 020 | |a 3642327583 |9 3-642-32758-3 | ||
| 020 | |a 9783642327582 |c Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.) |9 978-3-642-32758-2 | ||
| 024 | 3 | |a 9783642327582 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86152367 |
| 035 | |a (OCoLC)812236278 | ||
| 035 | |a (DE-599)DNB1024548805 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a FM |n 18. |d 2012 |c Paris |j Verfasser |0 (DE-588)102516864X |4 aut | |
| 245 | 1 | 0 | |a FM 2012: Formal Methods |b 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings |c Dimitra Giannakopulou ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XVI, 488 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 7436 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Paris |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Giannakopoulou, Dimitra |e Sonstige |0 (DE-588)1061067467 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-32759-9 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7436 |w (DE-604)BV000000607 |9 7436 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4091993&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=025220928&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025220928 | |
Record in the Search Index
| _version_ | 1820875410095734784 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
SOFTWARE SECURITY: A FORMAL PERSPECTIVE (NOTES FOR A TALK) 1
MARTIN ABADI
FORMAL METHODS IN THE WILD: TRAINS, PLANES, & AUTOMOBILE 6
A S A F DEGANI
WHO ARE WE, AND W H A T ARE WE DOING HERE? 7
ALAN WASSYNG
AUTOMATA LEARNING THROUGH COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT
10
FIDES AARTS, FARANAK HEIDARIAN, HARCO KUPPENS, PETUR OLSEN, AND FRITS
VAANDRAGER
JULIENNE: A TRACE SLICER FOR CONDITIONAL REWRITE THEORIES 2 8
MARIA ALPUENTE, DEMIS BALLIS. FRANCISCO FRECHINA, AND
DANIEL ROMERO
IMITATOR 2.5: A TOOL FOR ANALYZING ROBUSTNESS IN SCHEDULING PROBLEMS 33
ETIENNE ANDRE, LAURENT FRIBOURG, ULRICH KIIHNE, AND ROMAIN SOULAT
MAXIMAL AND COMPOSITIONAL PATTERN-BASED LOOP INVARIANTS 37
VIRGINIA APONTE, PIERRE COURTIEU, YANNICK MOY, AND MARC SANGO
A FORMAL APPROACH TO AUTONOMOUS VEHICLE COORDINATION 52
MIKAEL ASPLUND, A T I F MANZOOR, MELANIE BOUROCHE, SIOBHAN CLARKE, AND
VINNY CAHILL
QUANTIFIED EVENT AUTOMATA: TOWARDS EXPRESSIVE AND EFFICIENT RUNTIME
MONITORS 68
HOWARD BARRINGER, YLIES FALCONE, KLAUS HAVELUND, GILES REGER, AND DAVID
RYDEHEARD
DECENTRALISED LTL MONITORING 85
ANDREAS BAUER AND YLIES FALCONE
MEASLES EPIDEMICS AND PEPA: AN EXPLORATION OF HISTORIC DISEASE DYNAMICS
USING PROCESS ALGEBRA 101
SOUFIENE BENKIRANE, RACHEL NORMAN, ERIN SCOTT, AND CARRON SHANKLAND
HTTP://D-NB.INFO/1024548805
IMAGE 2
XIV TABLE OF CONTENTS
A CERTIFIED CONSTRAINT SOLVER OVER FINITE DOMAINS 116
MATTHIEU CARLIER, CATHERINE DUBOIS, AND ARNAUD GOTLIEB
COLLABORATIVE VERIFICATION AND TESTING WITH EXPLICIT ASSUMPTIONS 132
MARIA CHRISTAKIS, PETER MULLER, AND VALENTIN WIISTHOLZ
TLA+ PROOFS 147
DENIS COUSINEAU, DAMIEN DOLIGEZ, LESLIE LAMPORT, STEPHAN MERZ, DANIEL
RICKETTS, AND HERNDN VANZETTO
THE MODAL TRANSITION SYSTEM CONTROL PROBLEM 155
NICOLAS D'IPPOLITO, VICTOR BRABERMAN, N I R PITERRNAN, AND SEBASTIAN
UCHITEL
WHEN STRUCTURAL REFINEMENT OF COMPONENTS KEEPS TEMPORAL PROPERTIES OVER
RECONFIGURATIONS 171
JULIEN DORMOY, OLGA KOUCHNARENKO, AND ARNAUD LANOIX
ERROR INVARIANTS 187
EVREN ERMIS, MARTIN SCHAF, AND THOMAS WIES
CORRECTNESS OF POINTER MANIPULATING ALGORITHMS ILLUSTRATED BY A VERIFIED
BDD CONSTRUCTION 202
MATHIEU GIORGINO AND MARTIN STRECKER
A FORMAL FRAMEWORK FOR MODELLING COERCION RESISTANCE AND RECEIPT
FREENESS 217
JAMES HEATHER AND STEVE SCHNEIDER
USING TIME TO ADD ORDER TO DISTRIBUTED TESTING 232
ROBERT M. HIERONS, MERCEDES G. MERAYO, AND MANUEL NUNEZ
A VERIFICATION TOOLKIT FOR NUMERICAL TRANSITION SYSTEMS: TOOL PAPER . .
. 247 HOSSEIN HOJJAT, FILIP KONECNY, FLORENT GAMIER, RADU IOSIJ', VIKTOR
KUNCAK, AND PHILIPP R U M M E R
SATELLITE RENDEZVOUS AND CONJUNCTION AVOIDANCE: CASE STUDIES IN
VERIFICATION OF NONLINEAR HYBRID SYSTEMS 252
TAYLOR T. JOHNSON, JEREMY GREEN, SAYAN MITRA, RACHEL DUDLEY, AND RICHARD
SCOTT ERWIN
EXECUTING FORMAL SEMANTICS WITH THE IK TOOL 267
DAVID LAZAR, ANDREI ARUSOAIE, TRAIAN FLORIN §ERBANUT,A, CHUCKY ELLISON,
RADU MEREUTA, DOREL LUCANU, AND GRIGORE RO§U
IMAGE 3
TABLE OF CONTENTS X V
AUTOMATIC COMPOSITIONAL VERIFICATION OF TIMED SYSTEMS 272
SHANY- WEI LIN, YANG LIU, JUN SUN, JIN SONG DONG, AND ETIENNE ANDRE
APPLYING SOFTWARE MODEL CHECKING TECHNIQUES FOR BEHAVIORAL UML MODELS
277
ORNA GRUMBERG, YAEL MELLER, AND KAREN YORAV
REACHABILITY ANALYSIS OF THE HTML5 PARSER SPECIFICATION AND ITS
APPLICATION TO COMPATIBILITY TESTING 293
YASUHIKO MINAMIDE AND SHUNSUKE MORI
THEORY AND TECHNIQUES FOR SYNTHESIZING EFFICIENT BREADTH-FIRST SEARCH
ALGORITHMS 308
SRINIVAS NEDUNURI, DOUGLAS R. SMITH, AND WILLIAM R. COOK
IMPROVED BDD-BASED DISCRETE ANALYSIS OF TIMED SYSTEMS 326
TRUONG KHANH NGUYEN, JUN SUN, YANG LIU, JIN SONG DONG, AND YAN LIU
EXPERIENCE REPORT ON DESIGNING AND DEVELOPING CONTROL COMPONENTS USING
FORMAL METHODS 341
A M M A R OSAIWERAN, TOM FRANSEN, JAN FRISO GROOTE, AND BART VAN
RIJNSOEVER
AUTOMATIC DIMENSIONAL ANALYSIS OF CYBER-PHYSICAL SYSTEMS 356
SAM OUIRE, INDRANIL SAHA, AND NATARAJAN SHANKAR
VALIDATING B , Z A N D T L A + USING P R O B A N D KODKOD 3 7 2
DANIEL PLAGGE AND MICHAEL LEUSCHEL
FROM HOARE LOGIC TO MATCHING LOGIC REACHABILITY 387
GRIGORE ROGU AND ANDREI §TEFANESCU
DISTRIBUTION OF MODAL TRANSITION SYSTEMS 403
GERMAN E. SIBAY, SEBASTIAN UCHITEL, VICTOR BRABERMAN, AND JEFF KRAMER
EFFICIENT MALWARE DETECTION USING MODEL-CHECKING 418
FU SONG AND TAYSSIR TOUILI
FORMALIZATION OF INCREMENTAL SIMPLEX ALGORITHM BY STEPWISE REFINEMENT
434
MIRKO SPASIC AND FILIP MARIE
VMC: A TOOL FOR PRODUCT VARIABILITY ANALYSIS MAURICE H. TER BEEK, FRANCO
MAZZANTI, AND ALDI SULOVA 4 5 0
IMAGE 4
XVI TABLE OF CONTENTS
SPECIFICATION-BASED TEST REPAIR USING A LIGHTWEIGHT FORMAL METHOD . . .
455 GUOWEI YANG, SARFRAZ KHURSHID, AND MIRYUNG K I M
A "HYBRID" APPROACH FOR SYNTHESIZING OPTIMAL CONTROLLERS OF HYBRID
SYSTEMS: A CASE STUDY OF THE OIL P U M P INDUSTRIAL EXAMPLE 471
HENGJUN ZHAO, NAIJUN ZHAN, DEEPAK KAPUR, AND K I M G. LARSEN
A U T H O R I N D E X 487 |
| any_adam_object | 1 |
| author_GND | (DE-588)1061067467 |
| author_corporate | FM Paris |
| author_corporate_role | aut |
| author_facet | FM Paris |
| author_sort | FM Paris |
| building | Verbundindex |
| bvnumber | BV040367239 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)812236278 (DE-599)DNB1024548805 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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">BV040367239</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141118</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120816s2012 gw |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024548805</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642327583</subfield><subfield code="9">3-642-32758-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642327582</subfield><subfield code="c">Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.)</subfield><subfield code="9">978-3-642-32758-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642327582</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86152367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812236278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024548805</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FM</subfield><subfield code="n">18.</subfield><subfield code="d">2012</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)102516864X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FM 2012: Formal Methods</subfield><subfield code="b">18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings</subfield><subfield code="c">Dimitra Giannakopulou ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 488 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">7436</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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">Giannakopoulou, Dimitra</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1061067467</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-642-32759-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7436</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7436</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=4091993&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=025220928&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-025220928</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Paris gnd-content |
| genre_facet | Konferenzschrift 2012 Paris |
| id | DE-604.BV040367239 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:15:11Z |
| institution | BVB |
| institution_GND | (DE-588)102516864X |
| isbn | 3642327583 9783642327582 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025220928 |
| oclc_num | 812236278 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVI, 488 S. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | FM 18. 2012 Paris Verfasser (DE-588)102516864X aut FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings Dimitra Giannakopulou ... (eds.) Berlin [u.a.] Springer 2012 XVI, 488 S. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 7436 Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Paris gnd-content Formale Methode (DE-588)4333722-3 s DE-604 Giannakopoulou, Dimitra Sonstige (DE-588)1061067467 oth Erscheint auch als Online-Ausgabe 978-3-642-32759-9 Lecture Notes in Computer Science 7436 (DE-604)BV000000607 7436 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4091993&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=025220928&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)1071861417 |
| title | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings |
| title_auth | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings |
| title_exact_search | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings |
| title_full | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings Dimitra Giannakopulou ... (eds.) |
| title_fullStr | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings Dimitra Giannakopulou ... (eds.) |
| title_full_unstemmed | FM 2012: Formal Methods 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings Dimitra Giannakopulou ... (eds.) |
| title_short | FM 2012: Formal Methods |
| title_sort | fm 2012 formal methods 18th international symposium paris france august 27 31 2012 proceedings |
| title_sub | 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Formale Methode Konferenzschrift 2012 Paris |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4091993&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=025220928&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fmparis fm2012formalmethods18thinternationalsymposiumparisfranceaugust27312012proceedings AT giannakopouloudimitra fm2012formalmethods18thinternationalsymposiumparisfranceaugust27312012proceedings |