Stefano Schivo

14 papers B 1C 1Misc 1Journal 4Unranked 5

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos
2021	J	`jnl`	Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. Florian Kammüller, Axel Legay, Stefano Schivo
2018	B	`conf`	Effective Analysis of Attack Trees: A Model-Driven Approach. FASE Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
2017	—	`conf`	Discretization of Continuous Dynamical Systems Using UPPAAL. ModelEd, TestEd, TrustEd Stefano Schivo, Rom Langerak
2017	Misc	`conf`	How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
2017	—	`conf`	Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
2016	J	`jnl`	Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
2016	J	`jnl`	webANIMO: Improving the accessibility of ANIMO. F1000Research Willem Siers, Michiel Bakker, Bob Rubbens, Ruben Haasjes, Jacco Brandt, Stefano Schivo
2014	J	`jnl`	Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 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
2014	—	`conf`	Setting Parameters for Biological Models With ANIMO. SynCoP Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
2012	C	`conf`	Modelling biological pathway dynamics with Timed Automata. BIBE 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
2011	—	`ch.`	Quantitative Analysis of Services. Results of the SENSORIA Project Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
2010	—	`conf`	Approximate Model Checking of Stochastic COWS. TGC Paola Quaglia, Stefano Schivo
2010	—	`—`	Statistical Model Checking of Web Services. Stefano Schivo