Stefano Tonetta
发表
A. Cimatti,
M. Bozzano,
M. Gario,
2022,
Artif. Intell..
A. Cimatti,
A. Griggio,
L. Cristoforetti,
2022,
MoDELS.
Alessandro Orso,
David Notkin,
Pietro Ferrara,
2011,
International Conference on Software Engineering.
Hugo Daniel Macedo,
Peter Gorm Larsen,
Martin Benedikt,
2020,
SIMULTECH.
H. D. Macedo,
S. Gusmeroli,
J. Fitzgerald,
2020,
SIMULTECH.
Stefano Tonetta,
Silvia Mazzini,
Alberto Debiasi,
2020,
MODELSWARD.
Marco Roveri,
Alessandro Cimatti,
Angelo Susi,
2009,
FMICS.
Marco Roveri,
Alessandro Cimatti,
Stefano Tonetta,
2015,
Inf. Comput..
Marco Bozzano,
Stefano Tonetta,
Markus Schweizer,
2020,
SAFECOMP.
Alessandro Cimatti,
Stefano Tonetta,
Chun Tian,
2019,
RV.
Alessandro Cimatti,
Stefano Tonetta,
Chun Tian,
2019,
RV.
Thomas Arts,
Stefano Tonetta,
T. Arts,
2015,
SAFECOMP.
Marco Bozzano,
Marco Roveri,
Alessandro Cimatti,
2015,
Sci. Comput. Program..
Alessandro Cimatti,
Stefano Tonetta,
Sergio Mover,
2012,
AAAI.
Marco Bozzano,
Marco Roveri,
Alessandro Cimatti,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Alessandro Cimatti,
Stefano Tonetta,
Sergio Mover,
2011,
2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.
Alessandro Cimatti,
Stefano Tonetta,
A. Cimatti,
2015,
Sci. Comput. Program..
Marco Roveri,
Alessandro Cimatti,
Angelo Susi,
2011,
Software & Systems Modeling.
Jerry den Hartog,
Sandro Etalle,
Stefano Tonetta,
2017,
CPS-SPC@CCS.
Marco Roveri,
Alberto Griggio,
Stefano Tonetta,
2021,
Formal Methods in System Design.
Marco Roveri,
Alberto Griggio,
Stefano Tonetta,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
A. Cimatti,
Stefano Tonetta,
Chun Tian,
2022,
Formal methods in system design.
Alessandro Cimatti,
Stefano Tonetta,
Marco Gario,
2016,
AAMAS.
Marco Bozzano,
Alessandro Cimatti,
Stefano Tonetta,
2015,
Log. Methods Comput. Sci..
Marco Bozzano,
Alessandro Cimatti,
Stefano Tonetta,
2014,
TACAS.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAVCBS '09.
Marco Roveri,
Alberto Griggio,
Alessandro Cimatti,
2014,
CAV.
A. Cimatti,
Marco Roveri,
S. Tonetta,
2022
.
Marco Roveri,
Alessandro Cimatti,
Angelo Susi,
2012,
TSEM.
Stefano Tonetta,
S. Tonetta,
Stefano Tonetta,
2009,
FM.
Marco Roveri,
Alessandro Cimatti,
Stefano Tonetta,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Moshe Y. Vardi,
Roberto Sebastiani,
Stefano Tonetta,
2007,
TACAS.
Moshe Y. Vardi,
Roberto Sebastiani,
Stefano Tonetta,
2005,
International Journal on Software Tools for Technology Transfer.
Moshe Y. Vardi,
Roberto Sebastiani,
Stefano Tonetta,
2004,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Alberto Griggio,
Alessandro Cimatti,
Stefano Tonetta,
2014,
CAV.
Alberto Griggio,
Alessandro Cimatti,
Stefano Tonetta,
2015,
TACAS.
Alessandro Cimatti,
Stefano Tonetta,
Sergio Mover,
2011,
CAV.
Alessandro Cimatti,
Lei Bu,
Xuandong Li,
2010,
FMOODS/FORTE.
Alessandro Cimatti,
Stefano Tonetta,
A. Cimatti,
2012,
2012 38th Euromicro Conference on Software Engineering and Advanced Applications.
Angelo Montanari,
Alessandro Cimatti,
Stefano Tonetta,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Thomas Bauer,
Henrique Madeira,
Fabio Patrone,
2021,
QUATIC.
Alejandra Ruiz,
Stefano Tonetta,
Ansgar Radermacher,
2021,
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE).
Alessandro Cimatti,
Michele Dorigatti,
Stefano Tonetta,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marco Roveri,
Alessandro Cimatti,
Stefano Tonetta,
2009,
CAV.
A. Cimatti,
Sergio Mover,
Stylianos Basagiannis,
2023,
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
A. Cimatti,
A. Montanari,
Luca Geatti,
2021,
Formal Methods in System Design.
Angelo Montanari,
Alessandro Cimatti,
Stefano Tonetta,
2021,
SEFM.
Alessandro Cimatti,
Stefano Tonetta,
Rance DeLong,
2019,
SAFECOMP.
Alessandro Cimatti,
Stefano Tonetta,
Ivan Stojic,
2018,
FM.
Alessandro Cimatti,
Stefano Tonetta,
Silvia Mazzini,
2014
.
Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics
Thierry Keller,
Alejandra Ruiz,
Stefano Tonetta,
2021,
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE).
Alessandro Cimatti,
Stefano Tonetta,
Marco Gario,
2016,
CAV.
Alessandro Cimatti,
Stefano Tonetta,
Marco Gario,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Marco Bozzano,
Alessandro Cimatti,
D. Jones,
2015,
CAV.
Stefano Tonetta,
Schoitsch Erwin,
Bitsch Friedemann,
2017,
Lecture Notes in Computer Science.