International Symposium on Formal Methods (was Formal Methods Europe FME)
FM
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering · Theory of Computation
Papers indexed
1,364
1978–2026
Papers per year
1978116 peak2026
Most published authors
FM papers
1,364 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2009 | A Metric Encoding for Bounded Model Checking. | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 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 | Security, Probability and Nearly Fair Coins in the Cryptographers' Caf. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2009 | Untitled record | Annabelle McIver, Carroll C. Morgan |
| 2009 | Certifiable Specification and Verification of C Programs. | Christoph Lth, Dennis Walter |
| 2009 | Model Checking Linearizability via Refinement. | Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun |
| 2009 | Automated Property Verification for Large Scale B Models. | Michael Leuschel, Jrme Falampin, Fabian Fritz, Daniel Plagge |
| 2009 | Verifying the Microsoft Hyper-V Hypervisor with VCC. | Dirk Leinenbach, Thomas Santen |
| 2009 | Connecting UML and VDM++ with Open Tool Support. | Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen |
| 2009 | Verifying Real-Time Systems against Scenario-Based Requirements. | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
| 2009 | Partial Order Reductions Using Compositional Confluence Detection. | Frdric Lang, Radu Mateescu |
| 2009 | Formal Management of CAD/CAM Processes. | Michael Kohlhase, Johannes Lemburg, Lutz Schrder, Ewaryst Schulz |
| 2009 | "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
| 2009 | Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. | Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu |
| 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 | Recursive Abstractions for Parameterized Systems. | Joxan Jaffar, Andrew E. Santosa |
| 2009 | It's Doomed; We Can Prove It. | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schf, Thomas Wies |
| 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 | Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
| 2009 | Formal Reasoning about Expectation Properties for Continuous Random Variables. | Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofine Tahar, Reza Akbarpour |
| 2009 | Verifying Information Flow Control over Unbounded Processes. | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
| 2009 | Formal Specification of a Cardiac Pacing System. | Artur Oliveira Gomes, Marcel Vincius Medeiros Oliveira |
| 2009 | Towards an Operational Semantics for Alloy. | Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2009 | Reasoning about Memory Layouts. | Holger Gast |
626–650 of 1,364← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems