Research Output 1990 2017

2017
Circulating Neoplastic Cells
Software
Biological Markers
Economics
Health

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: Scientific - peer-reviewChapter

Dynamical systems
Differential equations
Model checking

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

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: ScientificBook editing

Formal methods
Terminology
Computer science
Dynamical systems
Semantics
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: Other research outputAbstract

Chondrocytes
Computer Simulation
Cartilage Diseases
Ligands
Parathyroid Hormone-Related Protein
5 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: Scientific - peer-reviewArticle

Fuzzy Logic
Fuzzy logic
Circadian Clocks
Cells
Drosophila melanogaster
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

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: Other research outputAbstract

cartilage
tissue engineering
engineers
formalism
static models
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
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: Scientific - peer-reviewArticle

Biological Models
Semantics
Signal Transduction
Network components
Signal transduction
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

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Urquidi Camacho, R. A., Wanders, B., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. 11 Nov 2012 p. 447-453

Research output: Other research outputAbstract

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

Linear systems

Stability of reset systems

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

Research output: Scientific - peer-reviewPaper

Asymptotic stability
Linear matrix inequalities
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. & v.d. Pol, J. 2011 p. -

Research output: Other research outputPoster

Timed automata
Pathway
Modeling

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: Other research outputPoster

Timed automata
Pathway
Modeling
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

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: Scientific - peer-reviewArticle

Jitter
Synchronization
Real time systems
Clocks
Testing

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

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: Scientific - peer-reviewChapter

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
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: Scientific - peer-reviewArticle

Hybrid systems
Difference equations
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

Hybrid Techniques for Hybrid Systems

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

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

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: Scientific - peer-reviewPaper

Hybrid automata
Lyapunov function
Asymptotically stable
Hyperplane
Estimate
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: Scientific - peer-reviewArticle

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: Scientific - peer-reviewPaper

Algebra
Random processes
Numerical analysis
Semantics

Towards Effective Model Checking

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1999

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: Scientific - peer-reviewPaper

Process algebra
Prefix
Event structures
Optimization
Model
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
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: Scientific - peer-reviewArticle

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: Scientific - peer-reviewArticle

Semantics
Algebra
Specification languages
11 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: Scientific - peer-reviewArticle

Semantics
Specification languages
Trajectories
1997

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: Scientific - peer-reviewPaper

Semantics
Syntactics
Model structures
16 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. TR-CTIT-97-11)

Research output: ProfessionalReport

Semantics
Syntactics
Model structures