| 2014 | FM | A Symbolic Algorithm for the Analysis of Robust Timed Automata. | Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman |
| 2012 | BIBE | Modelling biological pathway dynamics with Timed Automata. | Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post |
| 2011 | ATVA | Multi-core Nested Depth-First Search. | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs |
| 2010 | ISoLA | UPPAAL in Practice: Quantitative Verification of a RapidIO Network. | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
| 2005 | FORTE | A Composition Operator for Systems with Active and Passive Actions. | Stefan Strubbe, Rom Langerak |
| 2001 | TACAS | First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. | Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
| 1999 | CAV | A Complete Finite Prefix for Process Algebra. | Rom Langerak, Ed Brinksma |
| 1997 | CONCUR | Causal Ambiguity and Partial Orders in Event Structures. | Rom Langerak, Ed Brinksma, Joost-Pieter Katoen |
| 1994 | FORTE | Simulator for LOTOS to study the independence and causality of events. | B. Botma, Rom Langerak |
| 1993 | CAV | Functionality Decomposition by Compositional Correstness Preserving Transformation. | Ed Brinksma, Rom Langerak, Peter Broekroelofs |
| 1993 | FORTE | Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. | Joost-Pieter Katoen, Rom Langerak, Diego Latella |
| 1992 | FORTE | Bundle event structures: a non-interleaving semantics for LOTOS. | Rom Langerak |
| 1991 | FORTE | Event Structures for Design and Transformation in LOTOS. | Rom Langerak |