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: Scientific - peer-reviewConference contribution

Computer science
Model checking
Biological systems
User interfaces
Genes
2015
Castration
Prostatic Neoplasms
Circulating Neoplastic Cells
Statistical Models
Operations Research

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: ScientificConference contribution

Timed automata
Automata
Prostate cancer
Model checking
Statistical model
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: Scientific - peer-reviewConference contribution

Linear systems
Linear dynamical systems
Geometric approach
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: Scientific - peer-reviewConference contribution

Chondrocytes
Cartilage
Osteoarthritis
beta Catenin
Articular Cartilage
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: Scientific - peer-reviewConference contribution

Clocks
Specifications

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: ScientificConference contribution

Chondrocytes
Articular Cartilage
Cartilage
Phenotype
Molecular Dynamics Simulation
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: Scientific - peer-reviewConference contribution

Topology
Genes
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: ScientificConference contribution

Growth Plate
Articular Cartilage
Cartilage
Chondrocytes
Transcriptome
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: Scientific - peer-reviewConference contribution

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
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: Scientific - peer-reviewConference contribution

Model checking
2010
3 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: Scientific - peer-reviewConference contribution

Specification languages
Motion control
Control systems
Model checking
Switches

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: Scientific - peer-reviewConference contribution

Linear systems
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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

Synchronization
Jitter
Real time systems
Clocks
Testing
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: Scientific - peer-reviewConference contribution

Category theory
Bisimulation
Composition operator
Hybrid systems
Functor

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: Scientific - peer-reviewConference contribution

Hybrid automata
Switched linear systems
Asymptotically stable
Automata
State space
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: Scientific - peer-reviewConference contribution

Hybrid systems
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: ScientificConference contribution

Lyapunov functionals
Hybrid systems
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: Scientific - peer-reviewConference contribution

Control systems
Chemical analysis
Semantics
Specifications
5 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: Scientific - peer-reviewConference contribution

Hybrid automata
Lyapunov function
Automata
Asymptotically stable
Hybrid systems
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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference contribution

Graph rewriting
Rewriting systems
Prefix
Unfolding
Process algebra
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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference contribution

1991

Event structures for design and transformation in LOTOS

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

Research output: Scientific - peer-reviewConference 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 (ACM), p. 229-242 14 p.

Research output: Scientific - peer-reviewConference contribution

Specification languages
Decomposition