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

2017
1 Citations
Castration
Circulating Neoplastic Cells
Prostatic Neoplasms
Software
Biomarkers

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 proceedingChapter

Open Access
File
Dynamical systems
Differential equations
Model checking

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 contribution

Open Access
File
Computer science
Model checking
Biological systems
User interfaces
Genes

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 editing

Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
2016

An ECHO in biology II: Insights in chondrocyte cell fate

Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., van de Pol, J. C., Karperien, H. B. J., Langerak, R. & Post, J. N. Apr 2016 p. S176-S177 1 p.

Research output: Contribution to conferenceAbstract

File
Chondrocytes
Computer Simulation
Joints
Cartilage Diseases
Ligands
6 Citations

Modelling with ANIMO: between fuzzy logic and differential equations

Schivo, S., Scholma, J., van der Vet, P. E., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R. 27 Jul 2016 In : BMC systems biology. 10, p. 56 15 p.

Research output: Contribution to journalArticle

Open Access
File
2015

Comparison of Timed Automata with Discrete Event Simulation for Modeling Personalized Treatment Decisions: the Case of Metastatic Castration Resistant Prostate Cancer

Degeling, K., Degeling, K., Koffijberg, H., Schivo, S., Langerak, R. & IJzerman, M. J. Nov 2015 ISPOR 18th Annual European Congress Research Abstracts. International Society for Pharmacoeconomics and Outcomes Research (ISPOR), p. A343-A344 1 p. (Value in Health; vol. 18, no. 7)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Castration
Prostatic Neoplasms
Circulating Neoplastic Cells
Statistical Models
Therapeutics

PRM113 - Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant Prostate Cancer

Schivo, S., Degeling, K., Degeling, K., Koffijberg, H., IJzerman, M. J. & Langerak, R. Nov 2015 ISPOR 18th Annual European Congress Research Abstracts. Amsterdam: International Society for Pharmacoeconomics and Outcomes Research (ISPOR), p. A702-A703 (Value in Health; vol. 18, no. 7)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2014

A geometric approach to stability of linear reset systems

Vettori, P., Polderman, J. W. & Langerak, R. 7 Jul 2014 Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014. Groningen: University of Groningen, p. 776-783 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Geometric Approach
Linear Systems
Linear Dynamical Systems
Linear differential equation
Asymptotic Stability

An echo in biology: validating the executable chondrocyte

Scholma, J., Schivo, S., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. 1 Apr 2014 2014 World Congress on Osteoarthritis. Supplement ed. Amsterdam: ELSEVIER, Vol. 22, p. S157-S157 1 p. (Osteoarthritis and Cartilage; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Chondrocytes
Cartilage
Osteogenesis
Osteoarthritis
beta Catenin

ANIMO: a tool for modeling biological pathway dynamics

Schivo, S., Scholma, J., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. 9 Jun 2014 p. 54-55 2 p.

Research output: Contribution to conferenceAbstract

File
2 Citations

A Symbolic Algorithm for the Analysis of Robust Timed Automata

Kordy, P. T., Langerak, R., Mauw, S. & Polderman, J. W. 2014 19th International Symposium on Formal Methods, FM 2014. Jones, C., Pihlajasaari, P. & Sun, J. W. (eds.). London: Springer Verlag, p. 351-366 16 p. (Lecture Notes in Computer Science; vol. 8442)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

ECHO: the executable chondrocyte

Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 9 Jun 2014 Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
7 Citations

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. May 2014 In : IEEE journal of biomedical and health informatics. 18, 3, p. 832-839 7 p.

Research output: Contribution to journalArticle

6 Citations

Setting Parameters for Biological Models With ANIMO

Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R. 8 Apr 2014 Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2013

Mathematical modeling of signaling pathways in osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 19 Apr 2013 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: ELSEVIER, p. - 1 p. (S123; vol. 21, no. Suppl.)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012
9 Citations

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. Nov 2012 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE Computer Society, p. 447-453 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
2 Citations

Stability and robustness of planar switching linear systems

Polderman, J. W. & Langerak, R. Sep 2012 In : Systems and control letters. 61, 9, p. 904-910 7 p.

Research output: Contribution to journalArticle

Stability of reset systems

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

Research output: Contribution to conferencePaper

File
2011

Modeling biological pathway dynamics with timed automata

Schivo, S., Scholma, J., Wanders, B., Post, J. N., Karperien, H. B. J., van der Vet, P. E., Langerak, R. & van der Pol, J. A. 2011 p. -

Research output: Contribution to conferencePoster

Modeling biological pathway dynamics with timed automata

Schivo, S., Scholma, J., Wanders, B., Post, J. N., Karperien, H. B. J., van der Vet, P. E., Langerak, R. & v.d. Pol, J. 2011 p. -

Research output: Contribution to conferencePoster

22 Citations

Multi-Core Nested Depth-First Search

Laarman, A., Langerak, R., van de Pol, J. C., Weber, M. & Wijs, A. 8 Jul 2011 Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011. Bultan, T. & Hsiung, P-A. (eds.). London: Springer Verlag, p. 321-335 15 p. (Lecture Notes in Computer Science; vol. 6996)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2010
4 Citations

From POOSL to UPPAAL: Transformation and Quantitative Analysis

Xing, J. S., Theelen, B. D., Langerak, R., van de Pol, J. C., Tretmans, G. J. & Voeten, J. P. M. Jun 2010 10 International Conference on Application of Concurrency to System Design: proceedings : 21-25 June 2010, Braga, Portugal. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 47-56 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Specification languages
Motion control
Control systems
Chemical analysis
Model checking
5 Citations

Re-verification of a Lip Synchronization Protocol using Robust Reachability

Kordy, P. T., Bujorianu, L. M. (ed.), Langerak, R., Fischer, M. (ed.) & Polderman, J. W. 2010 In : Electronic proceedings in theoretical computer science. 20, p. 49-62 14 p.

Research output: Contribution to journalArticle

File

Stability criteria for planar linear systems with state reset

Polenkova, S., Polderman, J. W. & Langerak, R. 2010 Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems - MTNS 2010. Budapest: Eötvös Loránd University, p. 809-815 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2 Citations

UPPAAL in Practice: Quantitative Verication of a RapidIO Network

Xing, J., Theelen, B. D., Langerak, R., van de Pol, J., Tretmans, J. & Voeten, J. P. M. 18 Oct 2010 Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 6416)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Packet networks
Object oriented programming
Model checking
Distributed computer systems
Motion control
2009

Re-verification of a Lip Synchronization Algorithm using robust reachability

Kordy, P., Langerak, R. & Polderman, J. W. 3 Nov 2009 Workshop on Formal Methods for Aerospace (FMA). Manchester, 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Synchronization
Jitter
Network protocols
Real time systems
Clocks
2008
3 Citations

An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

Bujorianu, M. C., Bujorianu, L. M. & Langerak, R. Jul 2008 Proceedings of the 17th IFAC World Congress. Chung, M. J. & Misra, P. (eds.). USA: IFAC, p. 3635-3640 6 p. 10.3182/20080706-5-KR-1001.4239

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision algorithm for the stability of planar switching linear systems

Daws, C. F., Langerak, R. & Polderman, J. W. Aug 2008 Proceedings of the 18th international symposium on mathematical theory of networks & systems. USA: SIAM, p. 11 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Hybrid automata

Langerak, R. & Polderman, J. W. 2008 Handbook of Hybrid Systems Control, Theory - Tools - Applications. Lunze, J. & Lamnabhi-lagarrigue, F. (eds.). Cambridge: Cambridge University Press, p. 60-65 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations

Reachability Analysis of Stochastic Hybrid Systems by Optimal Control

Bujorianu, L. M., Lygeros, J. & Langerak, R. Apr 2008 11th International Workshop, HSCC 2008. Egerstedt, M. & Mishra, B. (eds.). Berlin Heidelberg: Springer Verlag, p. 610-613 4 p. 10.1007/978-3-540-78929-1_46. (Lecture Notes in Computer Science; vol. 4981, no. 274)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2007
5 Citations

Estimations of solutions convergence of hybrid systems consisting of linear equations with delay

Martynyuk, A. A. (ed.), Khusainov, D., Langerak, R. & Kuzmych, O. 2007 In : Nonlinear dynamics and systems theory. 7, LNCS4549/2, p. 169-186 18 p.

Research output: Contribution to journalArticle

2006

Estimations of solutions convergence of hybrid systems with delay

Langerak, R. & Kuzmych, O. Jun 2006 Conference on Differential and Difference Equations and Applications CDDEA 2006. Ruzickova, M. & Takac, M. (eds.). Zilina, Slovensko: Faculty of Science, University of Zilina, p. 30-31 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Hybrid Techniques for Hybrid Systems

Krilavicius, T. 6 Sep 2006 Enschede: Centre for Telematics and Information Technology (CTIT). 192 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Hybrid systems
Control theory
Computer science
Computer control
Trajectories
2005
1 Citations

A Composition Operator for Systems with Active and Passive Actions

Strubbe, S. N. & Langerak, R. 2005 Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005. Wang, F. (ed.). Germany: Springer, p. 24-37 14 p. (Lecture Notes in Computer Science; vol. 3731, no. XII)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations

Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation.

Langerak, R. & Polderman, J. W. 11 Dec 2005 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005. Los Alamitos: IEEE, p. 4867-4872 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2003

Stability analysis for hybrid automata using conservative gains

Langerak, R., Polderman, J. W. & Krilavicius, T. 16 Jun 2003 Analysis and design of hybrid systems. Engell, S., Gueguen, H. & Zaytoon, J. (eds.). ELSEVIER, p. 377-382

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

First passage time analysis of stochastic process algebra using partial orders

Ruys, T. C., Langerak, R., Katoen, J. P., Latella, D. & Massink, M. 2001 In : Lecture notes in artificial intelligence. 2031, p. - 16 p.

Research output: Contribution to journalArticle

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

Towards Effective Model Checking

Ruys, T. C. 22 Mar 2001 Enschede: Universiteit Twente.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
1999
10 Citations

A complete finite prefix for process algebra

Langerak, R. & Brinksma, H. 14 Feb 1999 Proceedings CAV'99, LNCS 1663. Trento, Italy, p. 184-195 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding

Langerak, R. 1999 Proceedings of the 6th International Workshop on Expressiveness in Concurrency. Castellani, I. & Victor, B. (eds.). Eindhoven: ELSEVIER, p. 24-41 17 p. (Electronic Notes in Theoretical Computer Science; vol. 27)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1998

A consistent causality-based view on a fined process algebra including urgent interaction

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 1998 In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticle

14 Citations

A consistent causality-based view on a timed process algebra including urgent interactions

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 1998 In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticle

12 Citations

Partial-order models for quantitative extensions of LOTOS

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1998 In : Computer networks and ISDN systems. 30, 9/10, p. 925-950 26 p., 10.1016/S0169-7552(97)00134-7

Research output: Contribution to journalArticle

1997

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P. 2 Jul 1997 Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag. Warsaw, Poland, p. - 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P. Apr 1997 Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)

Research output: Book/ReportReport

Open Access
File

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