Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001 (eds.) |
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-319-06409-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias |
Efficient Tight Field Bounds Computation Based on Shape Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 531-546, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernd Finkbeiner |
Automatic Compositional Synthesis of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 179-193, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gerwin Klein |
Proof Engineering Considered Essential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 16-21, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hendra Gunadi, Alwen Tiu |
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 296-311, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou 0001, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen |
Formal Verification of Lunar Rover Control Software Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 718-732, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
Knowledge-Based Automated Repair of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 132-147, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel |
Revisiting Compatibility of Input-Output Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 367-381, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William Denman, César A. Muñoz |
Automated Real Proving in PVS via MetiTarski. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 194-199, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Judy Bowen, Steve Reeves |
A Simplified Z Semantics for Presentation Interaction Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 148-162, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha |
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 658-672, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Denis Butin, Daniel Le Métayer |
Log Analysis for Data Protection Accountability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 163-178, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer 0001 |
Flexible Invariants through Semantic Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 514-530, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu, Hugo Pacheco 0001, Sebastian Fischer 0001 |
Validity Checking of Putback Transformations in Bidirectional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 1-15, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Yi Xu, Shao Jie Zhang, Chengzheng Sun |
Formal Verification of Operational Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 432-448, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 |
iscasMc: A Web-Based Probabilistic Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 312-317, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Marieke Huisman |
The VerCors Tool for Verification of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 127-131, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ognjen Maric, Christoph Sprenger 0001 |
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 449-464, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Rinast, Sibylle Schupp, Dieter Gollmann |
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 547-562, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert |
Object Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 497-513, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0008, Tian Huat Tan, Marsha Chechik |
Management of Time Requirements in Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 399-415, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum |
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 611-626, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dines Bjørner, Klaus Havelund |
40 Years of Formal Methods - Some Obstacles and Some Possibilities? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 42-61, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu 0006, Liang Zou, Yao Chen |
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 733-748, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Wei Lin 0001, Pao-Ann Hsiung |
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 416-431, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
Software Security: A Formal Perspective - (Notes for a Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 1-5, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Evren Ermis, Martin Schäf, Thomas Wies |
Error Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 187-201, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
Maximal and Compositional Pattern-Based Loop Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 37-51, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland |
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 101-115, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Wei Lin 0001, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Étienne André |
Automatic Compositional Verification of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 272-276, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Klaus Bauer, Yliès Falcone |
Decentralised LTL Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 85-100, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
Automata Learning through Counterexample Guided Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 10-27, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Giorgino, Martin Strecker |
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 202-216, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sam Owre, Indranil Saha, Natarajan Shankar |
Automatic Dimensional Analysis of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 356-371, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Asaf Degani |
Formal Methods in the Wild: Trains, Planes, & Automobile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 6, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, Shunsuke Mori |
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 293-307, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill |
A Formal Approach to Autonomous Vehicle Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 52-67, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Plagge, Michael Leuschel |
Validating B, Z and TLA + Using ProB and Kodkod. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 372-386, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
VMC: A Tool for Product Variability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 450-454, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer |
A Verification Toolkit for Numerical Transition Systems - Tool Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 247-251, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts 0001, Hernán Vanzetto |
TLA + Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 147-154, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Heather, Steve A. Schneider |
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 217-231, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
The Modal Transition System Control Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 155-170, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen |
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 471-485, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Spasic, Filip Maric |
Formalization of Incremental Simplex Algorithm by Stepwise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 434-449, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 171-186, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
Executing Formal Semantics with the K Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 267-271, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alan Wassyng |
Who Are We, and What Are We Doing Here? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 7-9, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 68-84, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012 |
Improved BDD-Based Discrete Analysis of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 326-340, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat |
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 33-36, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
A Certified Constraint Solver over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 116-131, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guowei Yang 0001, Sarfraz Khurshid, Miryung Kim |
Specification-Based Test Repair Using a Lightweight Formal Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 455-470, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer |
Distribution of Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 403-417, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Peter Müller 0001, Valentin Wüstholz |
Collaborative Verification and Testing with Explicit Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 132-146, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin |
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 252-266, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Dominique Méry (eds.) |
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-642-32758-2 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 308-325, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Efficient Malware Detection Using Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 418-433, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever |
Experience Report on Designing and Developing Control Components Using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 341-355, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Andrei Stefanescu |
From Hoare Logic to Matching Logic Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 387-402, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Using Time to Add Order to Distributed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 232-246, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 |
Julienne: A Trace Slicer for Conditional Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 28-32, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Yael Meller, Karen Yorav |
Applying Software Model Checking Techniques for Behavioral UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 277-292, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guodong Li |
Validated Compilation through Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 169-183, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Amálio, Christian Glodt, Pierre Kelsen |
Building VCL Models and Automatically Generating Z Specifications from Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 149-153, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Klebanov, Peter Müller 0001, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs 0002, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß 0001 |
The 1st Verified Software Competition: Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 154-168, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Steve Reeves |
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 308-322, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Y. Rozier, Moshe Y. Vardi |
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 417-431, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler, Wolfram Schulte (eds.) |
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![Springer, 978-3-642-21436-3 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabienne Boyer, Olivier Gruber, Gwen Salaün |
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 103-117, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Some Thoughts on Behavioral Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 2, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sarah M. Loos, André Platzer, Ligia Nistor |
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 42-56, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Juan Manuel Crespo, César Kunz |
Relational Verification Using Product Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 200-214, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier de Dios, Ricardo Peña |
Certification of Safe Polynomial Memory Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 184-199, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Structured Specifications for Better Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 386-401, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Maciej Koutny |
Timed Migration and Interaction with Access Permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 293-307, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Mohamed Mosbah 0001, Mohamed Tounsi 0001 |
Refinement-Based Verification of Local Synchronization Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 338-352, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shao Jie Zhang, Jun Sun 0001, Jun Pang 0001, Yang Liu 0003, Jin Song Dong |
On Combining State Space Reductions with Global Fairness Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 432-447, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dietsch, Bernd Westphal, Andreas Podelski |
System Verification through Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 27-41, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001 |
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 231-245, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
Sampling-Based Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 88-102, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet |
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 118-132, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Andy J. Wellings, Jim Woodcock 0001 |
The Safety-Critical Java Memory Model: A Formal Account. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 246-261, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
The Only Way Is Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 3-11, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Verifying Linearisability with Potential Linearisation Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 323-337, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 353-368, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
Automatically Refining Partial Specifications for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 369-385, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Banks, Jeremy L. Jacob |
Specifying Confidentiality in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 215-230, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Klaus Havelund |
TraceContract: A Scala DSL for Trace Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 57-72, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aboubakr Achraf El Ghazi, Mana Taghdiri |
Relational Reasoning via SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 133-148, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Müller 0001, Joseph N. Ruskiewicz |
Using Debuggers to Understand Failed Verification Attempts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 73-87, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbang Chen, Zhiming Liu 0001, Ji Wang 0001 |
Failure-Divergence Refinement of Compensating Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 262-277, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0002, Jan Smans, Frank Piessens |
Verification of Unloadable Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 402-416, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne |
Termination without \checkmark\checkmark in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 278-292, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernd Finkbeiner |
Does It Pay to Extend the Perimeter of a World Model? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 12-26, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Janos Sztipanovits |
Model Integration and Cyber Physical Systems: A Semantics Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 1, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz |
Formal Management of CAD/CAM Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 223-238, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 757-772, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method |
1 | Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001 |
Model Checking Linearizability via Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 321-337, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|