Stefano Schivo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2018
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FASE | Effective Analysis of Attack Trees: A Model-Driven Approach. | Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Marille Stoelinga |
| 2017 | SETTA | 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, Marille Stoelinga |
| 2012 | BIBE | 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 |