| 2012 | ML Dependency Analysis for Assessors. | Philippe Ayrault, Vincent Benayoun, Catherine Dubois, Franois Pessaux |
| 2012 | Sound Control-Flow Graph Extraction for Java Programs with Exceptions. | Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
| 2012 | An Optimization Approach for Effective Formalized fUML Model Checking. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2011 | Reverse Hoare Logic. | Edsko de Vries, Vasileios Koutavas |
| 2011 | Developing Model-Checking Mechanisms for ASSL: An Experience Report. | Emil Vassev, Mike Hinchey |
| 2011 | Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2011 | A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. | Jin Tong, Siraj A. Shaikh, Anne E. James |
| 2011 | Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model. | Hefeng Tong, Weishuang Qu |
| 2011 | ProMoVer: Modular Verification of Temporal Safety Properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2011 | Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence. | Marisa Anala Snchez |
| 2011 | Development Policy Analysis in Mali: Sustainable Growth Prospects. | Matteo Pedercini |
| 2011 | Models and Communication in the Policy Process. | Matteo Pedercini |
| 2011 | A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. | Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias |
| 2011 | Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
| 2011 | Synchronizing Asynchronous Conformance Testing. | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
| 2011 | Modular Modelling of Software Product Lines with Feature Nets. | Radu Muschevici, Jos Proena, Dave Clarke |
| 2011 | Context-Bounded Model Checking of LTL Properties for ANSI-C Software. | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2011 | Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. | Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar |
| 2011 | Formal Methods as a Link between Software Code and Legal Rules. | Daniel Le Mtayer |
| 2011 | Hybrid Specification of Reactive Systems: An Institutional Approach. | Alexandre Madeira, Jos M. Faria, Manuel A. Martins, Lus Soares Barbosa |
| 2011 | Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. | Mlanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois |
| 2011 | Safe Distribution of Declarative Processes. | Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats |
| 2011 | Formal Methods in Energy Informatics. | Holger Hermanns |
| 2011 | Distributed Implementation of Systems with Multiparty Interactions and Priorities. | Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz |
| 2011 | The Boogie Verification Debugger (Tool Paper). | Claire Le Goues, K. Rustan M. Leino, Michal Moskal |