A Testing Theory for LOTOS using Deadlock Detection. - Rom Langerak (PSTV, 1989)

Decomposition of functionality: a correctness-preserving LOTOS transformation. - Rom Langerak (PSTV, 1990)

View Updates in Relational Databases with an Independent Scheme. - Rom Langerak (ACM Trans. Database Syst., 1990)

Event Structures for Design and Transformation in LOTOS. - Rom Langerak (FORTE, 1991)

Bundle event structures: a non-interleaving semantics for LOTOS. - Rom Langerak (FORTE, 1992)

Functionality Decomposition by Compositional Correstness Preserving Transformation. - Ed Brinksma; Rom Langerak; Peter Broekroelofs (CAV, 1993)

Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. - Joost-Pieter Katoen; Rom Langerak; Diego Latella (FORTE, 1993)

Simulator for LOTOS to study the independence and causality of events. - B. Botma; Rom Langerak (FORTE, 1994)

A Stochastic Causality-Based Process Algebra. - Ed Brinksma; Joost-Pieter Katoen; Rom Langerak; Diego Latella (Comput. J., 1995)

On Specifying Real-Time Systems in a Causality-Based Setting. - Joost-Pieter Katoen; Rom Langerak; Diego Latella; Ed Brinksma (FTRTFT, 1996)

Causal Ambiguity and Partial Orders in Event Structures. - Rom Langerak; Ed Brinksma; Joost-Pieter Katoen (CONCUR, 1997)

Partial Order Models for Quantitative Extensions of LOTOS. - Ed Brinksma; Joost-Pieter Katoen; Rom Langerak; Diego Latella (Comput. Networks, 1998)

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. - Joost-Pieter Katoen; Rom Langerak; Ed Brinksma; Diego Latella; Tommaso Bolognesi (Formal Methods Syst. Des., 1998)

A Complete Finite Prefix for Process Algebra. - Rom Langerak; Ed Brinksma (CAV, 1999)

Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. - Rom Langerak (EXPRESS, 1999)

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. - Theo C. Ruys; Rom Langerak; Joost-Pieter Katoen; Diego Latella; Mieke Massink (TACAS, 2001)

Stability Analysis for Hybrid Automata Using Conservative Gains. - Rom Langerak; Jan Willem Polderman; Tomas Krilavicius (ADHS, 2003)

Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. - Rom Langerak; Jan Willem Polderman (CDC/ECC, 2005)

A Composition Operator for Systems with Active and Passive Actions. - Stefan Strubbe; Rom Langerak (FORTE, 2005)

Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. - Manuela-Luminita Bujorianu; John Lygeros; Rom Langerak (HSCC, 2008)

Re-verification of a Lip Synchronization Protocol using Robust Reachability - Piotr Kordy; Rom Langerak; Jan Willem Polderman (FMA, 2009)

From POOSL to UPPAAL: Transformation and Quantitative Analysis. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ACSD, 2010)

UPPAAL in Practice: Quantitative Verification of a RapidIO Network. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ISoLA (2), 2010)

Multi-core Nested Depth-First Search. - Alfons Laarman; Rom Langerak; Jaco van de Pol; Michael Weber 002; Anton Wijs (ATVA, 2011)

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 (BIBE, 2012)

Stability and robustness of planar switching linear systems. - Jan Willem Polderman; Rom Langerak (Syst. Control. Lett., 2012)

A Symbolic Algorithm for the Analysis of Robust Timed Automata. - Piotr Kordy; Rom Langerak; Sjouke Mauw; Jan Willem Polderman (FM, 2014)

Setting Parameters for Biological Models With ANIMO. - Stefano Schivo; Jetse Scholma; Marcel Karperien; Janine N. Post; Jaco van de Pol; Rom Langerak (SynCoP, 2014)

Modeling 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 (IEEE J. Biomed. Health Informatics, 2014)

Modelling with ANIMO: between fuzzy logic and differential equations. - Stefano Schivo; Jetse Scholma; Paul E. van der Vet; Marcel Karperien; Janine N. Post; Jaco van de Pol; Rom Langerak (BMC Syst. Biol., 2016)

Improving the Timed Automata Approach to Biological Pathway Dynamics. - Rom Langerak; Jaco van de Pol; Janine N. Post; Stefano Schivo (Models, Algorithms, Logics and Tools, 2017)

Discretization of Continuous Dynamical Systems Using UPPAAL. - Stefano Schivo; Rom Langerak (ModelEd, TestEd, TrustEd, 2017)

Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente. - Ed Brinksma; Rom Langerak; Diego Latella; Mieke Massink (Principles of Verification (3), 2024)

Estimating the costs and analysing the precision of several diagnostic and treatment approaches for obstructive sleep apnea patients in the Netherlands, using timed automata modelling. - Miranda J. M. Wetselaar-Glas; Nander E. F. Voortman; Piet-Heijn van Mechelen; Peter Wetselaar; Rom Langerak (Comput. Biol. Medicine, 2025)