Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Margot J Taylor
Claudia Calabrese
Maurizio Massi
Maria Concetta Palumbo
morgan k boes
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
STEFANO SCHIVO
Author Info
Open Visualization
Name
Affiliation
Papers
STEFANO SCHIVO
Formal Methods and Tools, Faculty of EEMCS, University of Twente, Enschede, The Netherlands
5
Collaborators
Citations
PageRank
20
7
1.80
Referers
Referees
References
16
123
53
Search Limit
100
123
Publications (5 rows)
Collaborators (20 rows)
Referers (16 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Effective Analysis of Attack Trees: A Model-Driven Approach.
0
0.34
2018
Discretization of Continuous Dynamical Systems Using UPPAAL.
0
0.34
2017
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
0
0.34
2017
Improving the Timed Automata Approach to Biological Pathway Dynamics.
0
0.34
2017
Modeling biological pathway dynamics with timed automata.
7
0.45
2014
1
