| 2005 | 2/3 Alternating Simulation Between Interface Automata. Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2005 | 29 New Unclarities in the Semantics of UML 2.0 State Machines. Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever |
| 2005 | A Compositional Framework for Service Interaction Patterns and Interaction Flows. Alistair Barros, Egon Börger |
| 2005 | A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal |
| 2005 | A Static Communication Elimination Algorithm for Distributed System Verification. Francesc-Xavier Babot, Miquel Bertran, August Climent |
| 2005 | A Theory of Secure Control Flow. Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
| 2005 | Adaptive Random Testing by Bisection with Restriction. Johannes Mayer |
| 2005 | An Abstract Model for Process Mediation. Michael Altenhofen, Egon Börger, Jens Lemcke |
| 2005 | An Automated Approach to Specification-Based Program Inspection. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid |
| 2005 | An Evidential Tool Bus. John M. Rushby |
| 2005 | An Improved Rule for While Loops in Deductive Program Verification. Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
| 2005 | Automatic Refinement Checking for B. Michael Leuschel, Michael J. Butler |
| 2005 | ClawZ: Cost-Effective Formal Verification for Control Systems. M. M. Adams, Philip B. Clayton |
| 2005 | Derivation of UML Class Diagrams as Static Views of Formal B Developments. Akram Idani, Yves Ledru, Didier Bert |
| 2005 | Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou |
| 2005 | Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings Kung-Kiu Lau, Richard Banach |
| 2005 | Formal Model-Driven Development of Communicating Systems. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
| 2005 | Formal Verification of a Memory Model for Sandrine Blazy, Xavier Leroy |
| 2005 | Game Semantics Model for Security Protocols. Mourad Debbabi, Mohamed Mostafa Saleh |
| 2005 | How Symbolic Animation Can Help Designing an Efficient Formal Model. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard |
| 2005 | Incremental Verification of Owicki/Gries Proof Outlines Using PVS. Arjan J. Mooij, Wieger Wesselink |
| 2005 | Jahuel: A Formal Framework for Software Synthesis. Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine |
| 2005 | Modelling and Refinement of an On-Chip Communication Architecture. Juha Plosila, Pasi Liljeberg, Jouni Isoaho |
| 2005 | Realising the Benefits of Formal Methods. Anthony Hall |
| 2005 | SVG Web Environment for Z Specification Language. Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
| 2005 | Slicing an Integrated Formal Method for Verification. Ingo Brückner, Heike Wehrheim |
| 2005 | Sweep-Line Analysis of TCP Connection Management. Guy Edward Gallasch, Bing Han, Jonathan Billington |
| 2005 | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. Farn Wang |
| 2005 | Testing Real-Time Multi Input-Output Systems. Laura Brandán Briones, Ed Brinksma |
| 2005 | The Semantics and Tool Support of OZTA. Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang |
| 2005 | Towards Dynamically Communicating Abstract Machines in the B Method. Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
| 2005 | Using Stålmarck's Algorithm to Prove Inequalities. Byron Cook, Georges Gonthier |
| 2005 | Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. Jens Brandt, Klaus Schneider |
| 2005 | Visualizing and Simulating Semantic Web Services Ontologies. Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun |