Research Output 1990 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: Scientific - peer-reviewChapter

Dynamical systems
Differential equations
Model checking

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: Scientific - peer-reviewChapter

9 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: ScientificChapter

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: ScientificChapter

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: ScientificChapter


Bundle event stuctures: a non-interleaving semantics for LOTOS

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

Research output: ScientificChapter