Transformations and Semantics for LOTOS R Langerak Universiteit Twente, 1992 | 155 | 1992 |
Bundle event structures: a non-interleaving semantics for LOTOS R Langerak Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992 | 117 | 1992 |
A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995 | 103 | 1995 |
A testing theory for LOTOS using deadlock detection R Langerak Proceedings of the IFIP WG6. 1 Ninth International Symposium on Protocol …, 1989 | 101 | 1989 |
View updates in relational databases with an independent scheme R Langerak ACM Transactions on Database Systems (TODS) 15 (1), 40-66, 1990 | 96 | 1990 |
Formal approach to conformance testing E Brinksma Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989 | 96 | 1989 |
Decomposition of functionality: a correctness-preserving LOTOS transformation R Langerak Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990 | 79 | 1990 |
Multi-core nested depth-first search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis: 9th International …, 2011 | 67 | 2011 |
On specifying real-time systems in a causality-based setting JP Katoen, R Langerak, D Latella, E Brinksma International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1996 | 58 | 1996 |
Causal ambiguity and partial orders in event structures R Langerak, E Brinksma, JP Katoen International Conference on Concurrency Theory, 317-331, 1997 | 43 | 1997 |
Modeling biological pathway dynamics with timed automata S Schivo, J Scholma, B Wanders, RAU Camacho, PE Van der Vet, ... IEEE journal of biomedical and health informatics 18 (3), 832-839, 2013 | 42 | 2013 |
Modeling systems by probabilistic process algebra: An event structures approach JP Katoen, R Langerak, D Latella Formal description techniques, VI: proceedings of the IFIP TC6/WG6. 1 Sixth …, 1994 | 40 | 1994 |
A complete finite prefix for process algebra R Langerak, E Brinksma Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 38 | 1999 |
Stochastic simulation of event structures JP Katoen, E Brinksma, D Latella, R Langerak 4th International Workshop on Process Algebra and Performance Modelling …, 1996 | 33 | 1996 |
Functionality decomposition by compositional correctness preserving transformation E Brinksma, R Langerak, P Broekroelofs Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 32 | 1993 |
Modelling with ANIMO: between fuzzy logic and differential equations S Schivo, J Scholma, PE van der Vet, M Karperien, JN Post, J van de Pol, ... BMC systems biology 10, 1-15, 2016 | 30 | 2016 |
Validation of bosch’mobile communication network architecture with spin TC Ruys, R Langerak Proc. Third SPIN Workshop, 1997 | 28 | 1997 |
Partial order models for quantitative extensions of LOTOS E Brinksma, JP Katoen, R Langerak, D Latella Computer Networks and ISDN Systems 30 (9-10), 925-950, 1998 | 26 | 1998 |
From POOSL to UPPAAL: Transformation and quantitative analysis J Xing, BD Theelen, R Langerak, J van de Pol, J Tretmans, JPM Voeten 2010 10th International Conference on Application of Concurrency to System …, 2010 | 19 | 2010 |
Tools for stability of switching linear systems: Gain automata and delay compensation R Langerak, JW Polderman Proceedings of the 44th IEEE Conference on Decision and Control, 4867-4872, 2005 | 19 | 2005 |