Welkom...

dr. S. Schivo (Stefano)

Expertises

Chondrocytes
Castration
Software
Therapeutics
Prostatic Neoplasms
Osteoarthritis
Computer Simulation
Joints

Publicaties

Recent
Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., ... Stoelinga, M. I. A. (2018). Effective Analysis of Attack Trees: A Model-Driven Approach. In A. Russo, & A. Schürr (Eds.), Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018) (pp. 56-73). (Lecture Notes in Computer Science; Vol. 10802). Springer. DOI: 10.1007/978-3-319-89363-1_4
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
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.), Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (pp. 319-336). (Lecture Notes in Computer Science; Vol. 10606), (Lecture Notes in Programming and Software Engineering). Springer. DOI: 10.1007/978-3-319-69483-2_19
Langerak, R., van de Pol, J., 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

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede