Angelo Gargantini
发表
Angelo Gargantini,
2004,
Model-Based Testing of Reactive Systems.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2018,
VaMoS.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
ABZ.
Angelo Gargantini,
Andrea Calvagna,
Paolo Vavassori,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Angelo Gargantini,
Elvinia Riccobene,
Paolo Gaspari,
2019,
ECSA.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
Softw. Pract. Exp..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2012,
WCOP '12.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
SPLC.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
2008 International Symposium on Industrial Embedded Systems.
Angelo Gargantini,
Marco Guarnieri,
Francesco Bolis,
2012,
SSBSE.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2018,
ICTSS.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2009,
Automated Software Engineering.
Angelo Gargantini,
Carlo Bellettini,
Patrizia Scandurra,
2018,
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE).
Angelo Gargantini,
Constance L. Heitmeyer,
C. Heitmeyer,
1999,
ESEC/FSE-7.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2016
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
Comput. J..
Angelo Gargantini,
Elvinia Riccobene,
Egon Börger,
2003
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
FDL 2008.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
TAP@STAF.
Angelo Gargantini,
2009
.
Angelo Gargantini,
Angelo Morzenti,
1995,
Formal Methods for Industrial Applications.
Paolo Arcaini,
Angelo Gargantini,
Andrea Bombarda,
2020,
2020 IEEE International Conference On Artificial Intelligence Testing (AITest).
Angelo Gargantini,
Elvinia Riccobene,
Salvatore Rinzivillo,
2003,
Abstract State Machines.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
J. Univers. Comput. Sci..
Angelo Gargantini,
Silvia Bonfanti,
Fabio Terzi,
2015,
REHAB.
Angelo Gargantini,
Gordon Fraser,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2018,
ABZ.
Angelo Gargantini,
Gordon Fraser,
2010,
TAP@TOOLS.
Angelo Gargantini,
Emiliano Tramontana,
Andrea Calvagna,
2009,
2009 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises.
Angelo Gargantini,
Elvinia Riccobene,
Egon Börger,
2003,
Lecture Notes in Computer Science.
Angelo Gargantini,
Andrea Calvagna,
A. Gargantini,
2010,
Journal of Automated Reasoning.
Angelo Gargantini,
Gordon Fraser,
Franz Wotawa,
2009,
J. Log. Algebraic Methods Program..
Angelo Gargantini,
Angelo Morzenti,
A. Morzenti,
2001,
TSEM.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2012
.
Angelo Gargantini,
Miroslav Bures,
Cemal Yilmaz,
2019,
IET Softw..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2013
.
Angelo Gargantini,
Justyna Petke,
Marco Radavelli,
2016,
SSBSE.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2017,
NFM.
Angelo Gargantini,
Gordon Fraser,
2009,
2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
2008 Forum on Specification, Verification and Design Languages.
Angelo Gargantini,
Justyna Petke,
Marco Radavelli,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Paolo Vavassori,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
FDL.
Angelo Gargantini,
Carlo Bellettini,
Patrizia Scandurra,
2017,
NFM.
Angelo Gargantini,
Elvinia Riccobene,
Egon Börger,
2003,
Abstract State Machines.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2012
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Carlo Bellettini,
Patrizia Scandurra,
2017,
SEFM.
Angelo Gargantini,
Andrea Vitali,
Giancarlo Facoetti,
2014,
REHAB.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2005,
Abstract State Machines.
Angelo Gargantini,
Miroslav Bures,
Bestoun S. Ahmed,
2020,
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
International Journal on Software Tools for Technology Transfer.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Angelo Morzenti,
L. Liberati,
1996,
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Angelo Gargantini,
Dino Mandrioli,
Angelo Morzenti,
1999,
Inf. Comput..
Paolo Arcaini,
Angelo Gargantini,
Paolo Arcaini,
2014,
Sci. Comput. Program..
Angelo Gargantini,
Marco Radavelli,
Bernhard Garn,
2019,
IEA/AIE.
Angelo Gargantini,
Andrea Calvagna,
2012,
Softw. Test. Verification Reliab..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
FM Workshops.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2013,
Haifa Verification Conference.
Paolo Arcaini,
Angelo Gargantini,
Francesco Bolis,
2012,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
ABZ.
Angelo Gargantini,
Miguel Felder,
Angelo Morzenti,
1998,
Theor. Comput. Sci..
Angelo Gargantini,
Andrea Calvagna,
2011
.
Angelo Gargantini,
Marco Guarnieri,
Eros Magri,
2012,
ICTSS.
Angelo Gargantini,
Angelo Morzenti,
2006,
Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).
Angelo Gargantini,
Patrizia Scandurra,
Matteo Camilli,
2019,
IFM.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
STAF Workshops.
Angelo Gargantini,
Elvinia Riccobene,
2005,
SimVis.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2018,
J. Softw. Evol. Process..
Paolo Arcaini,
Angelo Gargantini,
Atif Mashkoor,
2020,
Computer.
Angelo Gargantini,
A. Gargantini,
2011,
HEALTHINF.
Angelo Gargantini,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Angelo Gargantini,
Gordon Fraser,
2012,
Software Quality Journal.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
Softw. Test. Verification Reliab..
Angelo Gargantini,
Andrea Bombarda,
A. Gargantini,
2020,
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Andrea Vitali,
Giancarlo Facoetti,
2014,
PervasiveHealth.
Angelo Gargantini,
Patrizia Scandurra,
Matteo Camilli,
2015,
2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).
Angelo Gargantini,
Gordon Fraser,
2010
.
Angelo Gargantini,
Gordon Fraser,
2010
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2006
.
Angelo Gargantini,
Angelo Morzenti,
Andrea Alborghetti,
1997,
ESEC '97/FSE-5.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
Softw. Test. Verification Reliab..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
Inf. Softw. Technol..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
Innovations in Systems and Software Engineering.
Angelo Gargantini,
Gordon Fraser,
2010
.
Angelo Gargantini,
Andrea Calvagna,
2008,
FM'08 2008.
Angelo Gargantini,
Paolo Vavassori,
2014,
Haifa Verification Conference.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
ICTSS.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2014,
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
ABZ.
Angelo Gargantini,
Elvinia Riccobene,
E. Riccobene,
2001,
J. Univers. Comput. Sci..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2018,
ICTSS.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2018,
Models: Concepts, Theory, Logic, Reasoning and Semantics.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016
.
Angelo Gargantini,
Andrea Calvagna,
2009,
2009 International Conference on Software Testing, Verification, and Validation Workshops.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2010,
ASM.
Angelo Gargantini,
Gordon Fraser,
G. Fraser,
2009,
2009 International Conference on Software Testing Verification and Validation.
Angelo Gargantini,
Andrea Vitali,
Giancarlo Facoetti,
2014,
HCI.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
ESEC/SIGSOFT FSE.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2010
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2007
.
Angelo Gargantini,
D. Richard Kuhn,
Raghu N. Kacker,
2015,
ICSTW 2015.
Angelo Gargantini,
Gordon Fraser,
G. Fraser,
2011,
Inf. Softw. Technol..
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2019,
J. Softw. Evol. Process..
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2013
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2007
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2020,
ABZ.
Angelo Gargantini,
Andrea Calvagna,
2008,
TAP.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
SEFM.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2017,
SPLC.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2007,
Rigorous Methods for Software Construction and Analysis.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2010
.
Angelo Gargantini,
Marco Guarnieri,
Francesco Bolis,
2012,
ICWE Workshops.
Angelo Gargantini,
Elvinia Riccobene,
Egon Börger,
2006
.
Angelo Gargantini,
Elvinia Riccobene,
2000,
Abstract State Machines.
Angelo Gargantini,
Silvia Bonfanti,
2015,
REHAB.
Angelo Gargantini,
Rachel Tzoref,
2016,
2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Andrea Calvagna,
2009,
TAP@TOOLS.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
2008 The Third International Conference on Software Engineering Advances.
Angelo Gargantini,
2007,
TAP.
Angelo Gargantini,
Silvia Bonfanti,
Andrea Bombarda,
2019,
TOOLS.
Angelo Gargantini,
Silvia Bonfanti,
2018
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
IEEE Transactions on Software Engineering.
Angelo Gargantini,
Andrea Vitali,
Silvia Bonfanti,
2015,
HCI.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
Sci. Comput. Program..
Angelo Gargantini,
Patrizia Scandurra,
Matteo Camilli,
2020,
Softw. Test. Verification Reliab..
Angelo Gargantini,
Paolo Vavassori,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
TAP@FM.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
AFM@NFM.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
J. Syst. Softw..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
RV.
Feng Duan,
Angelo Gargantini,
Yu Lei,
2019,
ICTSS.
Angelo Gargantini,
Elvinia Riccobene,
2003,
FASE.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
SPLC.
Angelo Gargantini,
Marco Radavelli,
A. Gargantini,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Marco Guarnieri,
Eros Magri,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2006
.
Angelo Gargantini,
Marco Guarnieri,
Eros Magri,
2011
.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2008,
ABZ.
Angelo Gargantini,
Cyrille Artho,
Eun-Hye Choi,
2018,
SAFECOMP.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Angelo Gargantini,
Patrizia Scandurra,
Matteo Camilli,
2018,
Sci. Comput. Program..
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2009,
Rigorous Methods for Software Construction and Analysis.
Angelo Gargantini,
Gordon Fraser,
2009,
2009 ICSE Workshop on Automation of Software Test.
Angelo Gargantini,
Atif Mashkoor,
Silvia Bonfanti,
2018,
MEDI Workshops.
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
2009,
2009 Fourth International Conference on Software Engineering Advances.
Angelo Gargantini,
A. Gargantini,
2011,
ArXiv.
Angelo Gargantini,
Andrea Calvagna,
Paolo Vavassori,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Angelo Gargantini,
Andrea Bombarda,
Edoardo Crippa,
2021,
2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Silvia Bonfanti,
2021,
2021 IEEE International Conference on Artificial Intelligence Testing (AITest).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2021,
Logic, Computation and Rigorous Methods.
Angelo Gargantini,
Elvinia Riccobene,
Silvia Bonfanti,
2021,
ABZ.
Angelo Gargantini,
Silvia Bonfanti,
A. Gargantini,
2021,
HEALTHINF.
Paolo Arcaini,
Angelo Gargantini,
Silvia Bonfanti,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Angelo Gargantini,
Elvinia Riccobene,
Silvia Bonfanti,
2021,
AppFM@FM.
Angelo Gargantini,
Catia Trubiani,
Patrizia Scandurra,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Angelo Gargantini,
Patrizia Scandurra,
Marco Pedroni,
2010
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011
.