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

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

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

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

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

File

Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN

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

Research output: Contribution to conferencePaperAcademicpeer-review

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

File