| 2009 | A Deadlock-Free Semantics for Shared Memory Concurrency. Gérard Boudol |
| 2009 | A First-Order Policy Language for History-Based Transaction Monitoring. Andreas Bauer, Rajeev Goré, Alwen Tiu |
| 2009 | A Formal Approach to Heuristically Test Restorable Systems. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
| 2009 | A Minimized Assumption Generation Method for Component-Based Software Verification. Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
| 2009 | A Sound Observational Semantics for Modal Transition Systems. Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel |
| 2009 | Automatic Conflict Detection on Contracts. Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
| 2009 | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba |
| 2009 | Constrained Reachability of Process Rewrite Systems. Tayssir Touili |
| 2009 | Context-Free Languages of Countable Words. Zoltán Ésik, Szabolcs Iván |
| 2009 | GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. Hallstein Asheim Hansen, Gerardo Schneider |
| 2009 | Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa |
| 2009 | IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. Étienne André |
| 2009 | Input-Output Model Programs. Margus Veanes, Nikolaj S. Bjørner |
| 2009 | Integration Testing from Structured First-Order Specifications via Deduction Modulo. Delphine Longuet, Marc Aiguier |
| 2009 | On the Expressiveness of Forwarding in Higher-Order Communication. Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro |
| 2009 | On the Hairpin Completion of Regular Languages. Volker Diekert, Steffen Kopecki, Victor Mitrana |
| 2009 | On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations. Lakshmanan Kuppusamy, Kamala Krithivasan |
| 2009 | Regular Expressions with Numerical Constraints and Automata with Counters. Dag Hovland |
| 2009 | Static Analysis of Concurrent Programs Using Ordinary Differential Equations. Zuohua Ding |
| 2009 | The PlusCal Algorithm Language. Leslie Lamport |
| 2009 | The Secret Art of Computer Programming. Annabelle McIver |
| 2009 | Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings Martin Leucker, Carroll Morgan |
| 2009 | Transmission Protocols for Instruction Streams. Jan A. Bergstra, Cornelis A. Middelburg |
| 2009 | Verification, Testing and Statistics. Sriram K. Rajamani |