Verfügbarkeit: FM 2012: Formal Methods

FM 2012: Formal Methods: 18th international symposium, Paris, France, August 27 - 31, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FM Paris (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture Notes in Computer Science 7436
Schlagworte:	Formale Methode Konferenzschrift > 2012 > Paris
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XVI, 488 S.
ISBN:	3642327583 9783642327582

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge