| 2011 | PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. | Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li |
| 2011 | From Requirements to Development: Methodology and Example. | Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu |
| 2011 | Symbolic Execution of Alloy Models. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | Term Rewriting in Logics of Partial Functions. | Matthias Schmalz |
| 2011 | Distributed Theorem Proving for Distributed Hybrid Systems. | David W. Renshaw, Sarah M. Loos, Andr Platzer |
| 2011 | Validation of Security-Design Models Using Z. | Nafees Qamar, Yves Ledru, Akram Idani |
| 2011 | Poirot - A Concurrency Sleuth. | Shaz Qadeer |
| 2011 | Conformance Checking of Dynamic Access Control Policies. | David J. Power, Mark Slaymaker, Andrew Simpson |
| 2011 | Reasoning about Programs Using a Scientific Method. | Peter W. O'Hearn |
| 2011 | A Theory of Classes from the Theoretical Foundations of LePUS3. | Jonathan Nicholson |
| 2011 | Extracting Significant Specifications from Mining through Mutation Testing. | Anh Cuong Nguyen, Siau-Cheng Khoo |
| 2011 | Asynchronous Communication in MSVL. | Dapeng Mo, Xiaobing Wang, Zhenhua Duan |
| 2011 | Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. | Joo G. Martins, Andr Platzer, Joo Leite |
| 2011 | Mutation in Linked Data Structures. | Ewen Maclean, Andrew Ireland |
| 2011 | A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
| 2011 | A Knowledge-Based Verification Method for Dynamic Access Control Policies. | Masoud Koleini, Mark Ryan |
| 2011 | Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. | Narges Khakpour, Marjan Sirjani, Ursula Goltz |
| 2011 | Architectural Verification of Control Systems Using CSP. | Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
| 2011 | Formal Derivation of a Distributed Program in Event B. | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
| 2011 | Reasoning about Liveness Properties in Event-B. | Thai Son Hoang, Jean-Raymond Abrial |
| 2011 | An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. | Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog, Anders P. Ravn |
| 2011 | Refining Nodes and Edges of State Machines. | Stefan Hallerstede, Colin F. Snook |
| 2011 | Automating Algebraic Methods in Isabelle. | Walter Guttmann, Georg Struth, Tjark Weber |
| 2011 | On Fitting a Formal Method into Practice. | Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lsch, Daniel Plagge |
| 2011 | Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. | Holger Gast |