No photo of Rom Langerak

Rom Langerak

dr.ir.

1990 …2017
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2017

Filter
Chapter
2017

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R. 27 Sep 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Dynamical systems
Differential equations
Model checking
2008

Hybrid automata

Langerak, R. & Polderman, J. W. 2008 Handbook of Hybrid Systems Control, Theory - Tools - Applications. Lunze, J. & Lamnabhi-lagarrigue, F. (eds.). Cambridge: Cambridge University Press, p. 60-65 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1994
10 Citations

Modeling systems by probabilistic process algebra: an event structure approach

Katoen, J. P., Langerak, R. & Latella, D. 1994 Proceedings of the formal description techniques VI. Boston: North Holland, p. 253-269

Research output: Chapter in Book/Report/Conference proceedingChapter

Performance analysis and true concurrency semantics

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1994 Theories and experiences for real time system development. World Scientific, p. 309-337

Research output: Chapter in Book/Report/Conference proceedingChapter

1993
4 Citations

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, H., Langerak, R. & Broekroelofs, P. J. 1993 Computer Aided Verification, Lecture Notes in Computer Science 679. Springer Verlag, p. 371-384 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1992

Bundle event stuctures: a non-interleaving semantics for LOTOS

Langerak, R. 1992 Formal Description Techniques, V.. Amsterdam: North Holland, p. - 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter