Rom Langerak

dr.ir.

1990 …2019
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 2019

4 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.

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
247 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
53 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
81 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

  • 3 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, ...

Causal ambiguity and partial orders in event structures

Romanus Langerak (Keynote speaker)
2 Jul 1997

Activity: Talk or presentationOral presentation

A consistent causality based and interleaved view on a timed process algebra including timeouts

Romanus Langerak (Keynote speaker)
7 Mar 1996

Activity: Talk or presentationOral presentation

Algorithm for the decomposition of processes in a process algebraic framework

Hendrik Brinksma (Speaker), Rom Langerak (Speaker)
27 Jun 1994

Activity: Talk or presentationOral presentation