| 2009 | "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
| 2009 | A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard |
| 2009 | A Metric Encoding for Bounded Model Checking. Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2009 | A Robust Semantics Hides Fewer Errors. Steve Reeves, David Streader |
| 2009 | A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. Helmut Seidl, Vesal Vojdani, Varmo Vene |
| 2009 | A Tableau for CTL. Mark Reynolds |
| 2009 | Abstract Model Checking without Computing the Abstraction. Stefano Tonetta |
| 2009 | Abstract Object Creation in Dynamic Logic. Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe |
| 2009 | Abstract Specification of the UBIFS File System for Flash Memory. Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
| 2009 | An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
| 2009 | Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
| 2009 | Automated Property Verification for Large Scale B Models. Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge |
| 2009 | Certifiable Specification and Verification of C Programs. Christoph Lüth, Dennis Walter |
| 2009 | Connecting UML and VDM++ with Open Tool Support. Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen |
| 2009 | Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu |
| 2009 | FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Ana Cavalcanti, Dennis Dams |
| 2009 | Fair Model Checking with Process Counter Abstraction. Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
| 2009 | Field-Sensitive Value Analysis by Field-Insensitive Analysis. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
| 2009 | Formal Management of CAD/CAM Processes. Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz |
| 2009 | Formal Methods for Privacy. Michael Carl Tschantz, Jeannette M. Wing |
| 2009 | Formal Reasoning about Expectation Properties for Continuous Random Variables. Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour |
| 2009 | Formal Specification of a Cardiac Pacing System. Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira |
| 2009 | Formal Verification of Avionics Software Products. Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny |
| 2009 | Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. André Platzer, Edmund M. Clarke |
| 2009 | Guess and Verify - Back to the Future. Colin O'Halloran |
| 2009 | Industrial Practice in Formal Methods: A Review. Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
| 2009 | Inferring Mealy Machines. Muzammil Shahbaz, Roland Groz |
| 2009 | It's Doomed; We Can Prove It. Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies |
| 2009 | Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. Neil Walkinshaw, John Derrick, Qiang Guo |
| 2009 | Language and Tool Support for Class and State Machine Refinement in UML-B. Mar Yah Said, Michael J. Butler, Colin F. Snook |
| 2009 | Making Temporal Logic Calculational: A Tool for Unification and Discovery. Raymond T. Boute |
| 2009 | Model Checking Linearizability via Refinement. Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun |
| 2009 | Model-Based GUI Testing Using Uppaal at Novo Nordisk. Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou |
| 2009 | On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2009 | On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. Edgar G. Daylight, Sandeep K. Shukla |
| 2009 | Partial Order Reductions Using Compositional Confluence Detection. Frédéric Lang, Radu Mateescu |
| 2009 | Reasoning about Memory Layouts. Holger Gast |
| 2009 | Recursive Abstractions for Parameterized Systems. Joxan Jaffar, Andrew E. Santosa |
| 2009 | Reduced Execution Semantics of MPI: From Theory to Practice. Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2009 | Security, Probability and Nearly Fair Coins in the Cryptographers' Café. Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2009 | Specification and Verification of Web Applications in Rewriting Logic. María Alpuente, Demis Ballis, Daniel Romero |
| 2009 | Symbolic Predictive Analysis for Concurrent Programs. Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta |
| 2009 | Systematic Development of Trustworthy Component Systems. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
| 2009 | The Denotational Semantics of slotted-Circus. Pawel Gancarski, Andrew Butterfield |
| 2009 | Three-Valued Spotlight Abstractions. Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
| 2009 | Towards an Operational Semantics for Alloy. Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2009 | Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. Rik Eshuis |
| 2009 | Unifying Probability with Nondeterminism. Yifeng Chen, Jeff W. Sanders |
| 2009 | Verification, Testing and Statistics. Sriram K. Rajamani |
| 2009 | Verifying Information Flow Control over Unbounded Processes. William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
| 2009 | Verifying Real-Time Systems against Scenario-Based Requirements. Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
| 2009 | Verifying the Microsoft Hyper-V Hypervisor with VCC. Dirk Leinenbach, Thomas Santen |
| 2009 | What Can Formal Methods Bring to Systems Biology? Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska |