Stefano Schivo

ORCID

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 8

Top Venues

SETTA

SynCoP

IEEE J. Biomed. Health Informatics

Int. J. Softw. Tools Technol. Transf.

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Florian Kammüller, Axel Legay, Stefano Schivo
Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos
A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC (2021)
Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
Effective Analysis of Attack Trees: A Model-Driven Approach. FASE (2018)
Stefano Schivo, Rom Langerak
Discretization of Continuous Dynamical Systems Using UPPAAL. ModelEd, TestEd, TrustEd (2017)
Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools (2017)
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA (2017)
Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10 (2016)
Willem Siers, Michiel Bakker, Bob Rubbens, Ruben Haasjes, Jacco Brandt, Stefano Schivo
webANIMO: Improving the accessibility of ANIMO. F1000Research 5 (2016)
Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post
Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 18 (3) (2014)
Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
Setting Parameters for Biological Models With ANIMO. SynCoP (2014)
Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post
Modelling biological pathway dynamics with Timed Automata. BIBE (2012)
Paola Quaglia, Stefano Schivo
Approximate Model Checking of Stochastic COWS. TGC (2010)

Stefano Schivo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefano Schivo