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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

1994
11 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 proceedingChapterAcademic

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 proceedingChapterAcademic

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, p. 371-384 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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 proceedingChapterAcademic