Expertise
Semantics
Chondrocytes
Timed Automata
Specification Languages
Hybrid Automata
Algebra
Model
Synchronization
Organizations
Publications
Recent Articles
Katoen, J-P., Langerak, R., & Rensink, A. (2017). ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science; Vol. 10500). Springer. DOI: 10.1007/978-3-319-68270-9
Schivo, S., & Langerak, R. (2017). Discretization of Continuous Dynamical Systems Using UPPAAL. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 297-315). (Lecture Notes in Computer Science; Vol. 10500). Springer. DOI: 10.1007/978-3-319-68270-9_15
Langerak, R., Pol, J. V. D., Post, J. N., & Schivo, S. (2017). Improving the Timed Automata Approach to Biological Pathway Dynamics. In L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 96-111). (Lecture Notes in Computer Science; Vol. 10460). Springer. DOI: 10.1007/978-3-319-63121-9_5
Degeling, K., Schivo, S., Mehra, N., Koffijberg, H., Langerak, R., de Bono, J., & IJzerman, M. J. (2017). Comparison of Timed Automata with Discrete Event Simulation for Modeling of Biomarker-Based Treatment Decisions: An Illustration for Metastatic Castration-Resistant Prostate Cancer. Value in health, 20(10), 1411-1419. DOI: 10.1016/j.jval.2017.05.024
Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., ... Post, J. N. (2016). An ECHO in biology II: Insights in chondrocyte cell fate. S176-S177. Abstract from 2016 OARSI World Congress on Osteoarthrtis, Amsterdam, Netherlands.DOI: 10.1016/j.joca.2016.01.347
Degeling, K., Degeling, K., Koffijberg, H., Schivo, S., Langerak, R., & IJzerman, M. J. (2015). Comparison of Timed Automata with Discrete Event Simulation for Modeling Personalized Treatment Decisions: the Case of Metastatic Castration Resistant Prostate Cancer. In ISPOR 18th Annual European Congress Research Abstracts (pp. A343-A344). (Value in Health; Vol. 18, No. 7). International Society for Pharmacoeconomics and Outcomes Research (ISPOR). DOI: 10.1016/j.jval.2015.09.159
Schivo, S., Degeling, K., Degeling, K., Koffijberg, H., IJzerman, M. J., & Langerak, R. (2015). PRM113 - Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant Prostate Cancer. In ISPOR 18th Annual European Congress Research Abstracts (pp. A702-A703). (Value in Health; Vol. 18, No. 7). Amsterdam: International Society for Pharmacoeconomics and Outcomes Research (ISPOR). DOI: 10.1016/j.jval.2015.09.2630
Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., ... Post, J. N. (2014). Modelling biological pathway dynamics with Timed Automata. IEEE journal of biomedical and health informatics, 18(3), 832-839. DOI: 10.1109/JBHI.2013.2292880
UT Research Information System
Courses
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling
(building no. 11), room 3098
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling
3098
P.O. Box 217
7500 AE Enschede
The Netherlands
Working days
| Week | Monday | Tuesday | Wednesday | Thursday | Friday |
| Even | |||||
| Odd |