| 2014 | A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. Klaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl |
| 2014 | A Formal Privacy Policy Framework for Social Networks. Raúl Pardo, Gerardo Schneider |
| 2014 | A General Framework for Architecture Composability. Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis |
| 2014 | A Thread-Safe Library for Binary Decision Diagrams. Alberto Lovato, Damiano Macedonio, Fausto Spoto |
| 2014 | A Tool for Verifying Dynamic Properties in B. Fama Diagne, Amel Mammar, Marc Frappier |
| 2014 | A Toolset for Support of Teaching Formal Software Development. Stefan Korecko, Ján Sorád, Zuzana Dudláková, Branislav Sobota |
| 2014 | A Two-Phase Static Analysis for Reliable Adaptation. Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2014 | Automated Error-Detection and Repair for Compositional Software Specifications. Dalal Alrajeh, Robert Craven |
| 2014 | Completeness of Separation Logic with Inductive Definitions for Program Verification. Makoto Tatsuta, Wei-Ngan Chin |
| 2014 | Effect-Polymorphic Behaviour Inference for Deadlock Checking. Ka I Pun, Martin Steffen, Volker Stolz |
| 2014 | Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2014 | Execution and Verification of UML State Machines with Erlang. Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño |
| 2014 | Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem |
| 2014 | Formal Proofs of Code Generation and Verification Tools. Xavier Leroy |
| 2014 | Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. Robert Reicherdt, Sabine Glesner |
| 2014 | Formalizing DSL Semantics for Reasoning and Conformance Testing. Sarmen Keshishzadeh, Arjan J. Mooij |
| 2014 | IKOS: A Framework for Static Analysis Based on Abstract Interpretation. Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet |
| 2014 | Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. Jon Grov, Peter Csaba Ölveczky |
| 2014 | Learning Extended Finite State Machines. Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen |
| 2014 | Lightweight Program Construction and Verification Tools in Isabelle/HOL. Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | More Flexible Object Invariants with Less Specification Overhead. Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel |
| 2014 | Optimising the ProB Model Checker for B Using Partial Order Reduction. Ivaylo Dobrikov, Michael Leuschel |
| 2014 | Rapid Prototyping of a Semantically Well Founded Circus Model Checker. Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock |
| 2014 | Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings Dimitra Giannakopoulou, Gwen Salaün |
| 2014 | Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. Maria Christakis, Peter Müller, Valentin Wüstholz |
| 2014 | Test Suite Completeness and Partial Models. Adilson Luiz Bonifácio, Arnaldo Vieira Moura |
| 2014 | Tool Support for Teaching Hoare Logic. Tadeusz Sznuk, Aleksy Schubert |
| 2014 | Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. Domenico Bianculli, Carlo Ghezzi, Srdan Krstic |
| 2014 | Translating Event-B Machines to Database Applications. Qi Wang, Tim Wahls |
| 2014 | Verified Functional Iterators Using the FoCaLiZe Environment. Catherine Dubois, Renaud Rioboo |
| 2014 | WeVerca: Web Applications Verification for PHP. David Hauzar, Jan Kofron |