| 2014 | A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2014 | A Hybrid Analysis for Security Protocols with State. John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe |
| 2014 | A Probabilistic Framework for Security Scenarios with Dependent Actions. Barbara Kordy, Marc Pouly, Patrick Schweitzer |
| 2014 | A Separation Principle for Embedded System Interfacing. Lucian M. Patcas, Mark Lawford, Tom Maibaum |
| 2014 | An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
| 2014 | An Interactive Verification Tool Meets an IDE. Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel |
| 2014 | Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler |
| 2014 | Automated Theorem Prover Assisted Program Calculations. Dipak L. Chaudhari, Om P. Damani |
| 2014 | Code Generation for Event-B. Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki |
| 2014 | Formal Refinement in SysML. Alvaro Miyazawa, Ana Cavalcanti |
| 2014 | Formal Security Analysis of the MaCAN Protocol. Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson |
| 2014 | How to Break the Bank: Semantics of Capability Policies. Sophia Drossopoulou, James Noble |
| 2014 | Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings Elvira Albert, Emil Sekerinski |
| 2014 | Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres |
| 2014 | Integrating Software and Hardware Verification. Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema |
| 2014 | Managing LTL Properties in Event-B Refinement. Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
| 2014 | Model-Checking Circus State-Rich Specifications. Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho |
| 2014 | Modeling UML Template Classes with FoCaLiZe. Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
| 2014 | Proofs and Refutations in Invariant-Based Programming. Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
| 2014 | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2014 | Towards a Formal Semantics-Based Technique for Interprocedural Slicing. Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco |
| 2014 | Verifying Behavioral UML Systems via CEGAR. Yael Meller, Orna Grumberg, Karen Yorav |
| 2014 | Verifying Linearizability on TSO Architectures. John Derrick, Graeme Smith, Brijesh Dongol |
| 2014 | Verifying Modal Workflow Specifications Using Constraint Solving. Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |