| 2009 | A Category-Theoretical Approach to the Formalisation of Version Control in MDE. Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
| 2009 | A Formal Connection between Security Automata and JML Annotations. Marieke Huisman, Alejandro Tamalet |
| 2009 | A Formal Way from Text to Code Templates. Guido Wachsmuth |
| 2009 | Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen |
| 2009 | Algorithms for Automatically Computing the Causal Paths of Failures. William N. Sumner, Xiangyu Zhang |
| 2009 | CADS*: Computer-Aided Development of Self-* Systems. Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | Certification of Smart-Card Applications in Common Criteria. Iman Narasamdya, Michaël Périn |
| 2009 | Confluence in Domain-Independent Product Line Transformations. Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen |
| 2009 | Context-Aware Adaptive Services: The PLASTIC Approach. Marco Autili, Paolo Di Benedetto, Paola Inverardi |
| 2009 | Control Dependence for Extended Finite State Machines. Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
| 2009 | Controller Synthesis from LSC Requirements. Hillel Kugler, Cory Plock, Amir Pnueli |
| 2009 | Cross-Entropy-Based Replay of Concurrent Programs. Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2009 | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2009 | Enhanced Property Specification and Verification in BLAST. Ondrej Sery |
| 2009 | Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. Laura Kovács, Andrei Voronkov |
| 2009 | Formal Foundation for Pattern-Based Modelling. Paolo Bottoni, Esther Guerra, Juan de Lara |
| 2009 | Formal Specification and Analysis of Timing Properties in Software Systems. Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
| 2009 | Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Marsha Chechik, Martin Wirsing |
| 2009 | HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller |
| 2009 | Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
| 2009 | Interface Generation and Compositional Verification in JavaPathfinder. Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2009 | Logical Testing. Kathryn E. Gray, Alan Mycroft |
| 2009 | Mining API Error-Handling Specifications from Source Code. Mithun Acharya, Tao Xie |
| 2009 | Object Flow Definition for Refined Activity Diagrams. Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse |
| 2009 | On the Implementation of @pre. Piotr Kosiuczenko |
| 2009 | Problem-Oriented Documentation of Design Patterns. Alexander Fülleborn, Klaus Meffert, Maritta Heisel |
| 2009 | Proving Consistency of Pure Methods and Model Fields. K. Rustan M. Leino, Ronald Middelkoop |
| 2009 | Reducing the Costs of Bounded-Exhaustive Testing. Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov |
| 2009 | Rewriting Logic Semantics and Verification of Model Transformations. Artur Boronat, Reiko Heckel, José Meseguer |
| 2009 | SNIFF: A Search Engine for Java Using Free-Form Queries. Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen |
| 2009 | Scalable Analysis of Scalable Systems. Allan Clark, Stephen Gilmore, Mirco Tribastone |
| 2009 | Synchronous Modeling and Validation of Priority Inheritance Schedulers. Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
| 2009 | Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. Frank Hermann, Hartmut Ehrig, Claudia Ermel |
| 2009 | hol-TestGen. Achim D. Brucker, Burkhart Wolff |