Approximate Model Checking of Stochastic COWS. - Paola Quaglia; Stefano Schivo (TGC, 2010)

Statistical Model Checking of Web Services. - Stefano Schivo (2010)

Quantitative Analysis of Services. - Igor Cappello; Allan Clark; Stephen Gilmore; Diego Latella; Michele Loreti; Paola Quaglia; Stefano Schivo (Results of the SENSORIA Project, 2011)

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 (BIBE, 2012)

Setting Parameters for Biological Models With ANIMO. - Stefano Schivo; Jetse Scholma; Marcel Karperien; Janine N. Post; Jaco van de Pol; Rom Langerak (SynCoP, 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)

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)

webANIMO: Improving the accessibility of ANIMO. - Willem Siers; Michiel Bakker; Bob Rubbens; Ruben Haasjes; Jacco Brandt; Stefano Schivo (F1000Research, 2016)

Improving the Timed Automata Approach to Biological Pathway Dynamics. - Rom Langerak; Jaco van de Pol; Janine N. Post; Stefano Schivo (Models, Algorithms, Logics and Tools, 2017)

Discretization of Continuous Dynamical Systems Using UPPAAL. - Stefano Schivo; Rom Langerak (ModelEd, TestEd, TrustEd, 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 012; Stefan Dziwok; Arend Rensink; Mariëlle Stoelinga (SETTA, 2017)

Effective Analysis of Attack Trees: A Model-Driven Approach. - Rajesh Kumar 012; Stefano Schivo; Enno Ruijters; Bugra Mehmet Yildiz; David Huistra; Jacco Brandt; Arend Rensink; Mariëlle Stoelinga (FASE, 2018)

A Structured (Java) Exercise Repository with Automated Feedback (SERF). - Harrie Passier; Cornelis Huizing; Arjan J. F. Kok; Ruurd Kuiper 001; Lex Bijlsma 001; Erik Scheffers; Stefano Schivo; Tanja E. J. Vos (CSERC, 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)