| 2011 | A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias |
| 2011 | A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. Jin Tong, Siraj A. Shaikh, Anne E. James |
| 2011 | A Formalisation of Java Strings for Program Specification and Verification. Richard Bubel, Reiner Hähnle, Ulrich Geilmann |
| 2011 | A Machine-Checked Framework for Relational Separation Logic. Juan Manuel Crespo, César Kunz |
| 2011 | Broadcast Psi-calculi with an Application to Wireless Protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow |
| 2011 | Context-Bounded Model Checking of LTL Properties for ANSI-C Software. Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2011 | Developing Model-Checking Mechanisms for ASSL: An Experience Report. Emil Vassev, Mike Hinchey |
| 2011 | Development Policy Analysis in Mali: Sustainable Growth Prospects. Matteo Pedercini |
| 2011 | Distributed Implementation of Systems with Multiparty Interactions and Priorities. Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz |
| 2011 | Efficient Computation of Dominance in Component Systems (Short Paper). Jaap Boender |
| 2011 | Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model. Hefeng Tong, Weishuang Qu |
| 2011 | Formal Methods as a Link between Software Code and Legal Rules. Daniel Le Métayer |
| 2011 | Formal Methods in Energy Informatics. Holger Hermanns |
| 2011 | Hybrid Specification of Reactive Systems: An Institutional Approach. Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa |
| 2011 | Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle |
| 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 | Models and Communication in the Policy Process. Matteo Pedercini |
| 2011 | Modular Modelling of Software Product Lines with Feature Nets. Radu Muschevici, José Proença, Dave Clarke |
| 2011 | Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
| 2011 | ProMoVer: Modular Verification of Temporal Safety Properties. Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2011 | Reverse Hoare Logic. Edsko de Vries, Vasileios Koutavas |
| 2011 | Runtime Verification of Component-Based Systems. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
| 2011 | Safe Distribution of Declarative Processes. Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats |
| 2011 | Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Gilles Barthe, Alberto Pardo, Gerardo Schneider |
| 2011 | Synchronizing Asynchronous Conformance Testing. Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
| 2011 | The Boogie Verification Debugger (Tool Paper). Claire Le Goues, K. Rustan M. Leino, Michal Moskal |
| 2011 | Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations. Jorge Corral, Daniel Calegari |
| 2011 | Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
| 2011 | Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2011 | Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
| 2011 | Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence. Marisa Analía Sánchez |
| 2011 | Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | Verification of PLC Properties Based on Formal Semantics in Coq. Jan Olaf Blech, Sidi Ould Biha |
| 2011 | Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois |
| 2011 | dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre |