Követés
Rom Langerak
Rom Langerak
Associate Professor, Computer Science, University of Twente
E-mail megerősítve itt: ewi.utwente.nl
Cím
Hivatkozott rá
Hivatkozott rá
Év
Transformations and Semantics for LOTOS
R Langerak
Universiteit Twente, 1992
1551992
Bundle event structures: a non-interleaving semantics for LOTOS
R Langerak
Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992
1171992
A stochastic causality-based process algebra
E Brinksma, JP Katoen, R Langerak, D Latella
The Computer Journal 38 (7), 552-565, 1995
1031995
A testing theory for LOTOS using deadlock detection
R Langerak
Proceedings of the IFIP WG6. 1 Ninth International Symposium on Protocol …, 1989
1011989
View updates in relational databases with an independent scheme
R Langerak
ACM Transactions on Database Systems (TODS) 15 (1), 40-66, 1990
961990
Formal approach to conformance testing
E Brinksma
Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989
961989
Decomposition of functionality: a correctness-preserving LOTOS transformation
R Langerak
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
791990
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
672011
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
581996
Causal ambiguity and partial orders in event structures
R Langerak, E Brinksma, JP Katoen
International Conference on Concurrency Theory, 317-331, 1997
431997
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
422013
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
401994
A complete finite prefix for process algebra
R Langerak, E Brinksma
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
381999
Stochastic simulation of event structures
JP Katoen, E Brinksma, D Latella, R Langerak
4th International Workshop on Process Algebra and Performance Modelling …, 1996
331996
Functionality decomposition by compositional correctness preserving transformation
E Brinksma, R Langerak, P Broekroelofs
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
321993
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
302016
Validation of bosch’mobile communication network architecture with spin
TC Ruys, R Langerak
Proc. Third SPIN Workshop, 1997
281997
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
261998
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
192010
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
192005
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20