dr. S. Schivo (Stefano)

Assistant Professor


Timed Automata
Signal Transduction
Articular Cartilage


Recent Articles
Schivo, S., Leijten, J. C. H., Karperien, M., & Post, J. N. (2017). Computational Modeling of Complex Protein Activity Networks. In C. Prignet (Ed.), Protein Phosphorylation (pp. 155-178). Intech open.
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 Osteoarthrtis, Amsterdam, Netherlands.DOI: 10.1016/j.joca.2016.01.347

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