| 2011 | A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
| 2011 | A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni |
| 2011 | A Knowledge-Based Verification Method for Dynamic Access Control Policies. Masoud Koleini, Mark Ryan |
| 2011 | A Language for Test Case Refinement in the Test Template Framework. Maximiliano Cristiá, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti |
| 2011 | A Theory of Classes from the Theoretical Foundations of LePUS3. Jonathan Nicholson |
| 2011 | An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn |
| 2011 | Architectural Verification of Control Systems Using CSP. Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
| 2011 | Asynchronous Communication in MSVL. Dapeng Mo, Xiaobing Wang, Zhenhua Duan |
| 2011 | Automating Algebraic Methods in Isabelle. Walter Guttmann, Georg Struth, Tjark Weber |
| 2011 | Conformance Checking of Dynamic Access Control Policies. David J. Power, Mark Slaymaker, Andrew Simpson |
| 2011 | Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. Narges Khakpour, Marjan Sirjani, Ursula Goltz |
| 2011 | Contract-Based Verification of Simulink Models. Pontus Boström |
| 2011 | Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. Holger Gast |
| 2011 | Developing a Consensus Algorithm Using Stepwise Refinement. Jeremy W. Bryans |
| 2011 | Differencing Labeled Transition Systems. Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong |
| 2011 | Distributed Theorem Proving for Distributed Hybrid Systems. David W. Renshaw, Sarah M. Loos, André Platzer |
| 2011 | Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2011 | Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. Miroslav N. Velev, Ping Gao |
| 2011 | Extracting Significant Specifications from Mining through Mutation Testing. Anh Cuong Nguyen, Siau-Cheng Khoo |
| 2011 | Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
| 2011 | Formal Derivation of a Distributed Program in Event B. Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
| 2011 | Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings Shengchao Qin, Zongyan Qiu |
| 2011 | From Requirements to Development: Methodology and Example. Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu |
| 2011 | Integrating Prototyping into the SOFL Three-Step Modeling Approach. Fauziah binti Zainuddin, Shaoying Liu |
| 2011 | Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications. Andreas Bollin |
| 2011 | Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. Fangfang Yuan, Stephen Wright, Kerstin Eder, David May |
| 2011 | Mutation in Linked Data Structures. Ewen Maclean, Andrew Ireland |
| 2011 | On Fitting a Formal Method into Practice. Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge |
| 2011 | PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li |
| 2011 | Poirot - A Concurrency Sleuth. Shaz Qadeer |
| 2011 | Reasoning about Liveness Properties in Event-B. Thai Son Hoang, Jean-Raymond Abrial |
| 2011 | Reasoning about Programs Using a Scientific Method. Peter W. O'Hearn |
| 2011 | Refining Nodes and Edges of State Machines. Stefan Hallerstede, Colin F. Snook |
| 2011 | Static Analysis of String Values. Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2011 | Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. João G. Martins, André Platzer, João Leite |
| 2011 | Symbolic Execution of Alloy Models. Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | Synchronous AADL and Its Formal Analysis in Real-Time Maude. Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer |
| 2011 | Term Rewriting in Logics of Partial Functions. Matthias Schmalz |
| 2011 | The Safety-Critical Java Mission Model: A Formal Account. Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
| 2011 | Towards a Model Checker for NesC and Wireless Sensor Networks. Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu |
| 2011 | Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2011 | Towards a Signal Calculus for Event-Based Synchronous Languages. Yongxin Zhao, Jifeng He |
| 2011 | Validation of Security-Design Models Using Z. Nafees Qamar, Yves Ledru, Akram Idani |
| 2011 | Verification of Orchestration Systems Using Compositional Partial Order Reduction. Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong |