Stefano Schivo

According to our database, Stefano Schivo authored at least 14 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Masterminding change by combining secure system design with security risk assessment.

Florian Kammüller, Axel Legay, Stefano Schivo

Int. J. Softw. Tools Technol. Transf., 2021

A Structured (Java) Exercise Repository with Automated Feedback (SERF).

Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2018

Effective Analysis of Attack Trees: A Model-Driven Approach.

Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Discretization of Continuous Dynamical Systems Using UPPAAL.

Stefano Schivo, Rom Langerak

Proceedings of the ModelEd, TestEd, TrustEd, 2017

Improving the Timed Automata Approach to Biological Pathway Dynamics.

Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

webANIMO: Improving the accessibility of ANIMO.

Willem Siers, Michiel Bakker, Bob Rubbens, Ruben Haasjes, Jacco Brandt, Stefano Schivo

F1000Research, 2016

Modelling with ANIMO: between fuzzy logic and differential equations.

Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak

BMC Syst. Biol., 2016

2014

Modeling Biological Pathway Dynamics With Timed Automata.

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

IEEE J. Biomed. Health Informatics, 2014

Setting Parameters for Biological Models With ANIMO.

Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

2012

Modelling biological pathway dynamics with Timed Automata.

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

Proceedings of the 12th IEEE International Conference on Bioinformatics & Bioengineering, 2012

2011

Quantitative Analysis of Services.

Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Statistical Model Checking of Web Services.

Stefano Schivo

PhD thesis, 2010

Approximate Model Checking of Stochastic COWS.

Paola Quaglia, Stefano Schivo

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010