Rom Langerak

dr.ir.

1990 …2020

Research output per year

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

Fingerprint Dive into the research topics where Rom Langerak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A methodology for evaluating tooth wear monitoring using timed automata modelling

Wetselaar, P., Lobbezoo, F., de Jong, P., Choudry, U., van Rooijen, J. & Langerak, R., Mar 2020, In : Journal of Oral Rehabilitation. 47, 3, p. 353-360 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
  • 10 Downloads (Pure)

    ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease

    Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., Pol, J. V. D., Langerak, R., Wijnen, A. J. V., Geris, L., Karperien, M. & Post, J. N., 1 Apr 2020, In : Cellular Signalling. 68, 109471.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
  • 1 Downloads (Pure)

    Comparison of Timed Automata with Discrete Event Simulation for Modeling of Biomarker-Based Treatment Decisions: An Illustration for Metastatic Castration-Resistant Prostate Cancer

    Degeling, K., Schivo, S., Mehra, N., Koffijberg, H., Langerak, R., de Bono, J. & IJzerman, M. J., Dec 2017, In : Value in health. 20, 10, p. 1411-1419

    Research output: Contribution to journalArticleAcademicpeer-review

  • 3 Citations (Scopus)
    2 Downloads (Pure)

    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
  • 276 Downloads (Pure)

    Improving the Timed Automata Approach to Biological Pathway Dynamics

    Langerak, R., van de Pol, J., Post, J. N. & Schivo, S., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 1 Citation (Scopus)
    58 Downloads (Pure)

    Activities

    • 6 Oral presentation
    • 2 Organising a conference, workshop, ...
    • 1 Invited talk

    Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

    Joost P. Katoen (Organiser), Rom Langerak (Organiser), Arend Rensink (Organiser)
    17 Oct 2017

    Activity: Participating in or organising an eventOrganising a conference, workshop, ...

    Workshop on Formal Methods for Aerospace, FMA 2009

    Rom Langerak (Member of programme committee)
    2009

    Activity: Participating in or organising an eventOrganising a conference, workshop, ...

    Stability Analysis for Hyrid Automata

    Romanus Langerak (Speaker)
    20 Nov 2002

    Activity: Talk or presentationOral presentation

    Model checking in industrial applications

    Romanus Langerak (Invited speaker)
    26 May 1999

    Activity: Talk or presentationOral presentation

    Deriving a graph rewriting system from a complete finite prefix of an unfolding

    Romanus Langerak (Keynote speaker)
    23 Aug 1999

    Activity: Talk or presentationInvited talk