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
Paper
2012

Stability of reset systems

Polenkova, S., Polderman, J. W. & Langerak, R. Jul 2012 p. 0074 8 p.

Research output: Contribution to conferencePaper

File
2003

Stability Analysis for Hybrid Automata Using Conservative Gains

Langerak, R., Engell, S. (ed.), Guegen, H. (ed.), Polderman, J. W., Krilavicius, T. & Zaytoon, J. (ed.) 2003 p. 377-382 6 p.

Research output: Contribution to conferencePaper

File
2001
6 Citations

First passage time analysis of stochastic process algebra using partial orders

Margaria, T. (ed.), Ruys, T. C., Yi, W. (ed.), Langerak, R., Katoen, J. P., Latella, D. & Massink, M. 2001 p. 220-235 16 p.

Research output: Contribution to conferencePaper

1999

A complete finite prefix for process algebra

Halbwachs, N. (ed.), Langerak, R., Peled, D. (ed.) & Brinksma, H. 1999 p. 184-195 12 p.

Research output: Contribution to conferencePaper

1997

Causal ambiguity and partial orders in event structures

Langerak, R., Mazurkiewizc, A. W. (ed.), Brinksma, H., Winkowski, J. (ed.) & Katoen, J. P. 1997 p. 317-332 16 p.

Research output: Contribution to conferencePaper

File

Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN

Ruys, T. C. & Langerak, R. Apr 1997 14 p.

Research output: Contribution to conferencePaper

File
1996

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R. 1996 p. 21-49 29 p.

Research output: Contribution to conferencePaper

File