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
Conference contribution
2017

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., Pol, J. V. D., 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
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
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
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

2011
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

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

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

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

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

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

Validation of Bosch' Mobile Communication Network Architecture with Spin

Langerak, R. & Ruys, T. C. 5 Apr 1997 Proceedings of the Third SPIN 97 Workshop. University of Twente, Enschede, p. - 14 p.

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

1996

A Consistent Causality-Based View on a Timed Process Algebra

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 18 Nov 1996 Proceedings of the 3rd AMAST Workshop on Real-Time Systems. Salt Lake City, Utah, p. 212-227 16 p.

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

28 Citations

On specifying real-time systems in a causality-based setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H. 1996 Formal Techniques in Real-Time and Fault-Tolerant Systems. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer Verlag, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135)

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

On Specifying Real-Time Systems in a Causality-Based Setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H. 13 Sep 1996 Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, p. 385-404 20 p.

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

Stochastic Simulation of Event Structures

Katoen, J. P., Brinksma, H., Latella, D. & Langerak, R. 31 Jul 1996 Proceedings of the 4th Workshop on Process Algebra and Performance Modelling (PAPM'96). Universita di Torino, Italy, p. 21-40 20 p.

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

1994

Performance analysis and true concurrency semantics (extended abstract)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1 Dec 1994 2nd Workshop on process algebras and performance modelling. Erlangen, p. 157-174

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

1991

Event structures for design and transformation in LOTOS

Langerak, R. 19 Nov 1991 FORTE 1991. Sydney, Australia, p. - 16 p.

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

1990

Decomposition of functionality: a correctness-preserving LOTOS transformation

Langerak, R. 12 Jun 1990 Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X. Amsterdam: Association for Computing Machinery, p. 229-242 14 p.

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