| 2012 | A Configuration Approach for IMA Systems. Visar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger |
| 2012 | A Denotational Model for Instantaneous Signal Calculus. Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He |
| 2012 | A Low-Overhead, Value-Tracking Approach to Information Flow Security. Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2012 | A Practical Approach for Closed Systems Formal Verification Using Event-B. Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook |
| 2012 | A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. Durica Nikolic, Corrado Priami, Roberto Zunino |
| 2012 | A Systematic Approach to Atomicity Decomposition in Event-B. Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh |
| 2012 | A Timed Mobility Semantics Based on Rewriting Strategies. Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles |
| 2012 | Abstraction as a Unifying Link for Formal Approaches to Concurrency. Cliff B. Jones |
| 2012 | An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. Raluca Lefticaru, Florentin Ipate |
| 2012 | An Optimization Approach for Effective Formalized fUML Model Checking. Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2012 | Checking Sanity of Software Requirements. Jiri Barnat, Petr Bauch, Lubos Brim |
| 2012 | Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin |
| 2012 | Compositional Reasoning about Shared Futures. Crystal Chang Din, Johan Dovland, Olaf Owe |
| 2012 | Efficient Probabilistic Abstraction for SysML Activity Diagrams. Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
| 2012 | Extensible Specifications for Automatic Re-use of Specifications and Proofs. Daniel Matichuk, Toby C. Murray |
| 2012 | Frama-C - A Software Analysis Perspective. Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
| 2012 | Implementing Tactics of Refinement in CRefine. Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira |
| 2012 | JSXM: A Tool for Automated Test Generation. Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate |
| 2012 | ML Dependency Analysis for Assessors. Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux |
| 2012 | Securely Accessing Shared Resources with Concurrent Constraint Programming. Stefano Bistarelli, Francesco Santini |
| 2012 | Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings George Eleftherakis, Mike Hinchey, Mike Holcombe |
| 2012 | Sound Control-Flow Graph Extraction for Java Programs with Exceptions. Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
| 2012 | TVAL+ : TVLA and Value Analyses Together. Pietro Ferrara, Raphael Fuchs, Uri Juhasz |
| 2012 | The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
| 2012 | Towards a Formal Component Model for the Cloud. Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2012 | Verification of Aspectual Composition in Feature-Modeling. Qinglei Zhang, Ridha Khédri, Jason Jaskolka |
| 2012 | polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |