Rom Langerak - RankMe

35 papers A* 2A 1B 3C 6Journal 8Unranked 14

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