| 2011 | Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
| 2011 | Runtime Verification of Component-Based Systems. | Ylis Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
| 2011 | Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. | Muhammad Fadlisyah, Peter Csaba lveczky, Erika brahm |
| 2011 | Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. | Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. | Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Frnzle |
| 2011 | A Machine-Checked Framework for Relational Separation Logic. | Juan Manuel Crespo, Csar Kunz |
| 2011 | Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations. | Jorge Corral, Daniel Calegari |
| 2011 | dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. | Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre |
| 2011 | A Formalisation of Java Strings for Program Specification and Verification. | Richard Bubel, Reiner Hhnle, Ulrich Geilmann |
| 2011 | Broadcast Psi-calculi with an Application to Wireless Protocols. | Johannes Borgstrm, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Bjrn Victor, Johannes man Pohjola, Joachim Parrow |
| 2011 | Efficient Computation of Dominance in Component Systems (Short Paper). | Jaap Boender |
| 2011 | Verification of PLC Properties Based on Formal Semantics in Coq. | Jan Olaf Blech, Sidi Ould Biha |
| 2010 | A Toolkit for Generating Sentences from Context-Free Grammars. | Zhiwu Xu, Lixiao Zheng, Haiming Chen |
| 2010 | Integrating Requirements: The Behavior Tree Philosophy. | Kirsten Winter, Ian J. Hayes, Robert Colvin |
| 2010 | A Timed Model of Circus with the Reactive Design Miracle. | Kun Wei, Jim Woodcock, Alan Burns |
| 2010 | Structured Counterexamples for the Temporal Description Logic ALCCTL. | Franz Weitl, Shin Nakajima, Burkhard Freitag |
| 2010 | A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. | Cristina Tudose, Radu Opria |
| 2010 | Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation. | Giuseppe Scanniello, Michele Risi, Genoveffa Tortora |
| 2010 | Behavior Engineering - A Scalable Modeling and Analysis Method. | Daniel Powell |
| 2010 | The Unreasonable Ineffectiveness of Security Engineering: An Overview. | Dusko Pavlovic |
| 2010 | Designing Log Architectures for Legal Evidence. | Daniel Le Mtayer, Eduardo Mazza, Marie-Laure Potet |
| 2010 | A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison |
| 2010 | Safety Assessment Using Behavior Trees and Model Checking. | Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
| 2010 | Behavior Trees: From Systems Engineering to Software Engineering. | Peter A. Lindsay |
| 2010 | A Formal Model for Work Flows. | Christian Leuxner, Wassiou Sitou, Bernd Spanfelner |