Stefano Schivo

According to our database1, Stefano Schivo authored at least 12 papers between 2010 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Masterminding change by combining secure system design with security risk assessment.
Int. J. Softw. Tools Technol. Transf., 2021

2018
Effective Analysis of Attack Trees: A Model-Driven Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Discretization of Continuous Dynamical Systems Using UPPAAL.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

Improving the Timed Automata Approach to Biological Pathway Dynamics.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Modelling with ANIMO: between fuzzy logic and differential equations.
BMC Syst. Biol., 2016

2014
Modeling Biological Pathway Dynamics With Timed Automata.
IEEE J. Biomed. Health Informatics, 2014

Setting Parameters for Biological Models With ANIMO.
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

2012
Modelling biological pathway dynamics with Timed Automata.
Proceedings of the 12th IEEE International Conference on Bioinformatics & Bioengineering, 2012

2011
Quantitative Analysis of Services.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Statistical Model Checking of Web Services.
PhD thesis, 2010

Approximate Model Checking of Stochastic COWS.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010


  Loading...