Rom Langerak

According to our database, Rom Langerak authored at least 32 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Discretization of Continuous Dynamical Systems Using UPPAAL.

Stefano Schivo, Rom Langerak

Proceedings of the ModelEd, TestEd, TrustEd, 2017

Improving the Timed Automata Approach to Biological Pathway Dynamics.

Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

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

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

Setting Parameters for Biological Models With ANIMO.

Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

A Symbolic Algorithm for the Analysis of Robust Timed Automata.

Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman

Proceedings of the FM 2014: Formal Methods, 2014

2012

Stability and robustness of planar switching linear systems.

Jan Willem Polderman, Rom Langerak

Syst. Control. Lett., 2012

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

Proceedings of the 12th IEEE International Conference on Bioinformatics & Bioengineering, 2012

2011

Multi-core Nested Depth-First Search.

Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs

Proceedings of the Automated Technology for Verification and Analysis, 2011

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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Re-verification of a Lip Synchronization Protocol using Robust Reachability

Piotr Kordy, Rom Langerak, Jan Willem Polderman

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.

Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2005

A Composition Operator for Systems with Active and Passive Actions.

Stefan Strubbe, Rom Langerak

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation.

Rom Langerak, Jan Willem Polderman

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2003

Stability Analysis for Hybrid Automata Using Conservative Gains.

Rom Langerak, Jan Willem Polderman, Tomas Krilavicius

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2001

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.

Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

1999

Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding.

Rom Langerak

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

A Complete Finite Prefix for Process Algebra.

Rom Langerak, Ed Brinksma

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

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

Partial Order Models for Quantitative Extensions of LOTOS.

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella

Comput. Networks, 1998

1997

Causal Ambiguity and Partial Orders in Event Structures.

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

On Specifying Real-Time Systems in a Causality-Based Setting.

Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

A Stochastic Causality-Based Process Algebra.

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella

Comput. J., 1995

1994

Simulator for LOTOS to study the independence and causality of events.

B. Botma, Rom Langerak

Proceedings of the Formal Description Techniques VII, 1994

1993

Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.

Joost-Pieter Katoen, Rom Langerak, Diego Latella

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

Functionality Decomposition by Compositional Correstness Preserving Transformation.

Ed Brinksma, Rom Langerak, Peter Broekroelofs

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Bundle event structures: a non-interleaving semantics for LOTOS.

Rom Langerak

Proceedings of the Formal Description Techniques, 1992

1991

Event Structures for Design and Transformation in LOTOS.

Rom Langerak

Proceedings of the Formal Description Techniques, 1991

1990

View Updates in Relational Databases with an Independent Scheme.

Rom Langerak

ACM Trans. Database Syst., 1990

Decomposition of functionality: a correctness-preserving LOTOS transformation.

Rom Langerak

Proceedings of the Protocol Specification, 1990

1989

A Testing Theory for LOTOS using Deadlock Detection.

Rom Langerak

Proceedings of the Protocol Specification, 1989