Welcome...

dr. S. Schivo (Stefano)

Assistant Professor

Expertise

Chondrocytes
Timed Automata
Cartilage
Modeling
Pathway
Signal Transduction
Software
Phenotype

Publications

Recent Articles
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 (Vol. 10500, pp. 297-315). (Lecture Notes in Computer Science; Vol. 10500). Springer. DOI: https://doi.org/10.1007/978-3-319-68270-9
Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., ... Stoelinga, M. I. A. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. Larsen, O. Sokolsky, & J. Wang (Eds.), Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) (pp. 319-336). (Lecture Notes in Computer Science; Vol. 10606). Springer. DOI: 10.1007/978-3-319-69483-2_19
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 (Vol. 10460, pp. 96-111). (Lecture Notes in Computer Science). Springer. DOI: 10.1007/978-3-319-63121-9_5
Ruijters, E. J. J., Schivo, S., Stoelinga, M. I. A., & Rensink, A. (2017). Uniform analysis of fault trees through model transformations. Paper presented at 63rd Annual Reliabliity and Maintainability Symposium, RAMS 2017, .DOI: 10.1109/RAM.2017.7889759
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 Osteoarthritis, .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

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3122
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3122
P.O. Box 217
7500 AE Enschede
The Netherlands