Rom Langerak

dr.ir.

1990 …2020
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
Chondrocytes Medicine & Life Sciences
Castration Medicine & Life Sciences
Prostatic Neoplasms Medicine & Life Sciences
Model checking Engineering & Materials Science
Linear Systems Mathematics
Motion control Engineering & Materials Science
Circulating Neoplastic Cells Medicine & Life Sciences
Hybrid Automata Mathematics

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

Research Output 1990 2020

1 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., 11 Dec 2019, In : Cellular Signalling. 68, 109471.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Chondrocytes
Joints
Interleukin-1beta
Computer Simulation
Cartilage
3 Citations (Scopus)
2 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

Castration
Circulating Neoplastic Cells
Prostatic Neoplasms
Software
Biomarkers
254 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
Dynamical systems
Differential equations
Model checking
1 Citation (Scopus)
55 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
Computer science
Model checking
Biological systems
User interfaces
Genes
83 Downloads (Pure)

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editingAcademic

Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling

Activities 1994 2017

  • 5 Oral presentation
  • 2 Organising a conference, workshop, ...

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

Causal ambiguity and partial orders in event structures

Romanus Langerak (Keynote speaker)
2 Jul 1997

Activity: Talk or presentationOral presentation