Publications

Publications for Rom Langerak

2017
DOI
[bibtex]
Joost-Pieter Katoen, Rom Langerak, Arend Rensink editors. ModelEd, TestEd, TrustEd (Festschrift Ed Brinksma). Springer, Volume 10500 of LNCS, 2017.
2001

[bibtex]
Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink. First passage time analysis of stochastic process algebra using partial orders. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 220–236, LNCS vol. 2031, Springer-Verlag, 2001.
1998
Download
[bibtex]
Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi. A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods in System Design 12(2), pages 189–216, 1998.
Download
[bibtex]
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. Partial-order models for quantitative extensions of LOTOS. Computer Networks & ISDN Systems 30(9-10), pages 925–950, 1998.
1997
Download
[bibtex]
Rom Langerak, Ed Brinksma, Joost-Pieter Katoen. Causal ambiguity and partial orders in event structures. Concurrency Theory (CONCUR), volume 1243 of Lecture Notes in Computer Science, pages 317–332, Springer, 1997.
1996
Download
[bibtex]
Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. On specifying realtime systems in a causality-based setting. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), volume 1135 of Lecture Notes in Computer Science, pages 385–405, Springer, 1996.
Download
[bibtex]
Joost-Pieter Katoen, Diego Latella, Ed Brinksma, Rom Langerak. Stochastic simulation of event structures. 4th International Workshop on Process Algebra and Performance Modelling (PAPM), pages 21–40, CLUT Press, 1996.
1995
Download
[bibtex]
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. A stochastic causality-based process algebra. The Computer Journal 38(7), pages 552–565, 1995.
1994
Download
[bibtex]
Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. Performance analysis and true concurrency semantics (extended abstract). 2nd Workshop on Process Algebra and Performance Modelling (PAPM), Band 27(4) of Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, pages 157–174, IMMD, 1994.
Download
[bibtex]
Joost-Pieter Katoen, Rom Langerak, Diego Latella. Modelling systems by probabilistic process algebra: an event structures approach. Formal Description Techniques VI (FORTE), volume C–22 in IFIP Transactions, pages 253–268, North-Holland, 1994.
Download
[bibtex]
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. Performance analysis and true concurrency semantics. Theories and Experiences for Real-Time System Development, chapter 12, AMAST Series in Computing 2, pages 309–337, 1994.