| 2010 | Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo Lpez Pombo, T. S. E. Maibaum |
| 2010 | Material Flow Abstraction of Manufacturing Systems. | Jewgenij Botaschanjan, Benjamin Hummel |
| 2010 | A Theory of Software Product Line Refinement. | Paulo Borba, Leopoldo Teixeira, Rohit Gheyi |
| 2010 | Justification Logic and History Based Computation. | Francisco Bavera, Eduardo Bonelli |
| 2010 | Tracking Down the Origins of Ambiguity in Context-Free Grammars. | Hendrikus J. S. Basten |
| 2009 | Input-Output Model Programs. | Margus Veanes, Nikolaj S. Bjrner |
| 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 | Constrained Reachability of Process Rewrite Systems. | Tayssir Touili |
| 2009 | Verification, Testing and Statistics. | Sriram K. Rajamani |
| 2009 | A Formal Approach to Heuristically Test Restorable Systems. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2009 | The Secret Art of Computer Programming. | Annabelle McIver |
| 2009 | Integration Testing from Structured First-Order Specifications via Deduction Modulo. | Delphine Longuet, Marc Aiguier |
| 2009 | The PlusCal Algorithm Language. | Leslie Lamport |
| 2009 | On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations. | Lakshmanan Kuppusamy, Kamala Krithivasan |
| 2009 | A Minimized Assumption Generation Method for Component-Based Software Verification. | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
| 2009 | Regular Expressions with Numerical Constraints and Automata with Counters. | Dag Hovland |
| 2009 | GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. | Hallstein Asheim Hansen, Gerardo Schneider |
| 2009 | On the Expressiveness of Forwarding in Higher-Order Communication. | Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2009 | A Sound Observational Semantics for Modal Transition Systems. | Dario Fischbein, Vctor A. Braberman, Sebastin Uchitel |
| 2009 | Automatic Conflict Detection on Contracts. | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
| 2009 | Context-Free Languages of Countable Words. | Zoltn sik, Szabolcs Ivn |
| 2009 | Static Analysis of Concurrent Programs Using Ordinary Differential Equations. | Zuohua Ding |
| 2009 | On the Hairpin Completion of Regular Languages. | Volker Diekert, Steffen Kopecki, Victor Mitrana |
| 2009 | A Deadlock-Free Semantics for Shared Memory Concurrency. | Grard Boudol |
| 2009 | Transmission Protocols for Instruction Streams. | Jan A. Bergstra, Cornelis A. Middelburg |