Rom Langerak

Publication Activity (10 Years)

Years Active: 1989-2017
Publications (10 Years): 3

Top Topics

Dynamical Systems

Signal Transduction

Biological Systems

Animal Behavior

Top Venues

IEEE J. Biomed. Health Informatics

Syst. Control. Lett.

Publications

Stefano Schivo, Rom Langerak
Discretization of Continuous Dynamical Systems Using UPPAAL. ModelEd, TestEd, TrustEd (2017)
Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools (2017)
Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10 (2016)
Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman
A Symbolic Algorithm for the Analysis of Robust Timed Automata. FM (2014)
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
Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 18 (3) (2014)
Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
Setting Parameters for Biological Models With ANIMO. SynCoP (2014)
Jan Willem Polderman, Rom Langerak
Stability and robustness of planar switching linear systems. Syst. Control. Lett. 61 (9) (2012)
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
Modelling biological pathway dynamics with Timed Automata. BIBE (2012)
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
Multi-core Nested Depth-First Search. ATVA (2011)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD (2010)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) (2010)
Piotr Kordy, Rom Langerak, Jan Willem Polderman
Re-verification of a Lip Synchronization Protocol using Robust Reachability FMA (2009)
Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC (2008)
Rom Langerak, Jan Willem Polderman
Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. CDC/ECC (2005)
Stefan Strubbe, Rom Langerak
A Composition Operator for Systems with Active and Passive Actions. FORTE (2005)
Rom Langerak, Jan Willem Polderman, Tomas Krilavicius
Stability Analysis for Hybrid Automata Using Conservative Gains. ADHS (2003)
Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS (2001)
Rom Langerak, Ed Brinksma
A Complete Finite Prefix for Process Algebra. CAV (1999)
Rom Langerak
Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. EXPRESS (1999)
Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. 12 (2) (1998)
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks 30 (9-10) (1998)
Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
Causal Ambiguity and Partial Orders in Event Structures. CONCUR (1997)
Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT (1996)
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
A Stochastic Causality-Based Process Algebra. Comput. J. 38 (7) (1995)
B. Botma, Rom Langerak
Simulator for LOTOS to study the independence and causality of events. FORTE (1994)
Ed Brinksma, Rom Langerak, Peter Broekroelofs
Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV (1993)
Joost-Pieter Katoen, Rom Langerak, Diego Latella
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE (1993)
Rom Langerak
Bundle event structures: a non-interleaving semantics for LOTOS. FORTE (1992)
Rom Langerak
Event Structures for Design and Transformation in LOTOS. FORTE (1991)
Rom Langerak
Decomposition of functionality: a correctness-preserving LOTOS transformation. PSTV (1990)
Rom Langerak
View Updates in Relational Databases with an Independent Scheme. ACM Trans. Database Syst. 15 (1) (1990)
Rom Langerak
A Testing Theory for LOTOS using Deadlock Detection. PSTV (1989)