Rom Langerak - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2017

Improving the Timed Automata Approach to Biological Pathway DynamicsRom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo. BIRTHDAY 2017: 96-111 [doi]

Discretization of Continuous Dynamical Systems Using UPPAALStefano Schivo, Rom Langerak. BIRTHDAY 2017: 297-315 [doi]

2016

Modelling with ANIMO: between fuzzy logic and differential equationsStefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak. bmcsb, 10:56, 2016. [doi]

2014

A Symbolic Algorithm for the Analysis of Robust Timed AutomataPiotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman. FM 2014: 351-366 [doi]

Modeling Biological Pathway Dynamics With Timed AutomataStefano 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. titb, 18(3):832-839, 2014. [doi]

2012

Stability and robustness of planar switching linear systemsJan Willem Polderman, Rom Langerak. scl, 61(9):904-910, 2012. [doi]

Modelling biological pathway dynamics with Timed AutomataStefano 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: 447-453 [doi]

2011

Multi-core Nested Depth-First SearchAlfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber 0002, Anton Wijs. ATVA 2011: 321-335 [doi]

2010

From POOSL to UPPAAL: Transformation and Quantitative AnalysisJiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. acsd 2010: 47-56 [doi]

UPPAAL in Practice: Quantitative Verification of a RapidIO NetworkJiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. ISoLA 2010: 160-174 [doi]

2008

Reachability Analysis of Stochastic Hybrid Systems by Optimal ControlManuela L. Bujorianu, John Lygeros, Rom Langerak. hybrid 2008: 610-613 [doi]

2005

Tools for Stability of Switching Linear Systems: Gain Automata and Delay CompensationRom Langerak, Jan Willem Polderman. cdc 2005: 4867-4872 [doi]

A Composition Operator for Systems with Active and Passive ActionsStefan Strubbe, Rom Langerak. forte 2005: 24-37 [doi]

2003

Stability Analysis for Hybrid Automata Using Conservative GainsRom Langerak, Jan Willem Polderman, Tomas Krilavicius. adhs 2003: 337-342 [doi]

2001

First Passage Time Analysis of Stochastic Process Algebra Using Partial OrdersTheo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink. TACAS 2001: 220-235 [doi]

1999

A Complete Finite Prefix for Process AlgebraRom Langerak, Ed Brinksma. cav 1999: 184-195 [doi]

Deriving a Graph Rewriting System from a Complete Finite Prefix of an UnfoldingRom Langerak. ENTCS, 27:25-41, 1999. [doi]

1998

Partial Order Models for Quantitative Extensions of LOTOSEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. cn, 30(9-10):925-950, 1998. [doi]

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent InteractionsJoost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi. fmsd, 12(2):189-216, 1998.

1997

Causal Ambiguity and Partial Orders in Event StructuresRom Langerak, Ed Brinksma, Joost-Pieter Katoen. concur 1997: 317-331

1996

On Specifying Real-Time Systems in a Causality-Based SettingJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. ftrtft 1996: 385-404

1995

A Stochastic Causality-Based Process AlgebraEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. cj, 38(7):552-565, 1995.

1994

Simulator for LOTOS to study the independence and causality of eventsB. Botma, Rom Langerak. forte 1995: 221-223

1993

Functionality Decomposition by Compositional Correstness Preserving TransformationEd Brinksma, Rom Langerak, Peter Broekroelofs. cav 1993: 371-384

Modeling Systems by Probabilistic Process Algebra: an Event Structures ApproachJoost-Pieter Katoen, Rom Langerak, Diego Latella. forte 1994: 253-268

1992

Bundle event structures: a non-interleaving semantics for LOTOSRom Langerak. forte 1993: 331-346

1991

Event Structures for Design and Transformation in LOTOSRom Langerak. forte 1992: 265-280

1990

Decomposition of functionality: a correctness-preserving LOTOS transformationRom Langerak. pstv 1990: 229-242

View Updates in Relational Databases with an Independent SchemeRom Langerak. TODS, 15(1):40-66, 1990. [doi]

1989

A Testing Theory for LOTOS using Deadlock DetectionRom Langerak. pstv 1990: 87-98

Sign in or sign up to see more results.

runs on WebDSL