L. Mariani
发表
O. Riganelli,
Ionut Daniel Fagadau,
D. Micucci,
2022,
ArXiv.
A. Hyvärinen,
N. Sharygina,
Grigory Fedyukovich,
2014
.
M. Ciavotta,
L. Mariani,
Vera Colombo,
2022,
2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Hong Zhu,
Dan Hao,
L Mariani,
2015
.
Simone Paolo Mottadelli,
O. Riganelli,
D. Micucci,
2020,
ISSTA.
A. Heydarnoori,
M. Pezzè,
L. Mariani,
2022,
2022 IEEE/ACM 30th International Conference on Program Comprehension (ICPC).
M. Pezzè,
L. Mariani,
David Willmor,
2004
.
Leonardo Mariani,
Mauro Pezzè,
Mauro Santoro,
2011
.
M. Pezzè,
L. Mariani,
David Lo,
2020
.
D. Ničković,
E. Bartocci,
L. Mariani,
2022,
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE).
Daniela Micucci,
Leonardo Mariani,
D. Micucci,
2016,
Int. J. Simul. Process. Model..
Daniela Micucci,
Leonardo Mariani,
Luca Gazzola,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Monperrus Martin,
Matias Martinez,
L. Mariani,
2020,
Empirical Software Engineering.
Daniela Micucci,
Oliviero Riganelli,
Leonardo Mariani,
2019,
ACM Trans. Auton. Adapt. Syst..
Leonardo Mariani,
Yliès Falcone,
Antoine Rollet,
2018,
Lectures on Runtime Verification.
Daniela Micucci,
Leonardo Mariani,
Oliviero Riganelli,
2017,
2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Reiko Heckel,
Leonardo Mariani,
R. Heckel,
2005,
FASE.
Leonardo Mariani,
Mauro Pezzè,
Fabrizio Pastore,
2011,
IEEE Transactions on Software Engineering.
Leonardo Mariani,
Mauro Pezzè,
M. Pezzè,
2005,
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè,
2003,
TACoS.
D Bonura,
L Mariani,
E Morelli,
2003
.
Leonardo Mariani,
Stephan Sehestedt,
Grigory Fedyukovich,
2014,
ISSTA 2014.
O. Riganelli,
L. Mariani,
Alessandro Tundo,
2023,
IEEE Transactions on Services Computing.
Michell Guzmán,
Leonardo Mariani,
Oliviero Riganelli,
2019,
ESEC/SIGSOFT FSE.
Leonardo Mariani,
Oliviero Riganelli,
Anas Shatnawi,
2018,
2018 IEEE/ACM 1st International Workshop on Software Health (SoHeal).
Leonardo Mariani,
Mauro Pezzè,
Oliviero Riganelli,
2018,
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Leonardo Mariani,
Oliviero Riganelli,
Marco Mobilio,
2019,
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Daniela Micucci,
Leonardo Mariani,
Fabrizio Pastore,
2017,
ESEC/SIGSOFT FSE.
Mariano Ceccato,
Paolo Tonella,
Leonardo Mariani,
2015,
ACM Trans. Softw. Eng. Methodol..
Leonardo Mariani,
Mauro Pezzè,
Hervé Chang,
2013,
TSEM.
Leonardo Mariani,
L. Mariani,
2003,
TACoS.
Leonardo Mariani,
Mauro Pezzè,
Oliviero Riganelli,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Leonardo Mariani,
Giovanni Denaro,
Diego Clerissi,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniela Micucci,
Leonardo Mariani,
Oliviero Riganelli,
2019,
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).
Daniela Micucci,
Leonardo Mariani,
Luca Gazzola,
2019,
IEEE Transactions on Software Engineering.
Daniela Micucci,
Leonardo Mariani,
Oliviero Riganelli,
2018,
Softw. Pract. Exp..
David Lo,
Leonardo Mariani,
Mauro Pezzè,
2009,
ESEC/SIGSOFT FSE.
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1
pdf
Florian Lorber,
César Sánchez,
Cyrille Artho,
2019,
ArXiv.
Raúl A. Santelices,
William G. J. Halfond,
Michael L. Collard,
2009,
2022 IEEE PES/IAS PowerAfrica.
Daniela Micucci,
Daniela Briola,
Leonardo Mariani,
2020,
J. Syst. Softw..
Daniela Micucci,
Leonardo Mariani,
Oliviero Riganelli,
2021,
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS).
Mariano Ceccato,
Paolo Tonella,
Leonardo Mariani,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Daniela Micucci,
Leonardo Mariani,
Fabrizio Pastore,
2022,
IEEE Transactions on Software Engineering.
Leonardo Mariani,
Mauro Pezzè,
Mauro Santoro,
2017,
IEEE Transactions on Software Engineering.
Gordon Fraser,
Leonardo Mariani,
Fabrizio Pastore,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
L. Mariani,
Séverine Colin,
2004,
Model-Based Testing of Reactive Systems.
Paolo Tonella,
Stefano Russo,
Roberto Pietrantuono,
2021,
ACM Comput. Surv..
Leonardo Mariani,
Mauro Pezzè,
Luca Gazzola,
2017,
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).
Oliviero Riganelli,
Leonardo Mariani,
Rui Xin,
2019,
J. Syst. Softw..
Leonardo Mariani,
L. Mariani,
2005,
The 2005 Symposium on Applications and the Internet.
Leonardo Mariani,
Flavio De Paoli,
L. Mariani,
2004,
IEEE Internet Comput..
Daniela Micucci,
Leonardo Mariani,
Oliviero Riganelli,
2017,
RV.
Alessandra Gorla,
Leonardo Mariani,
Mauro Pezzè,
2010,
Comput. Informatics.
Reiko Heckel,
Leonardo Mariani,
Marc Lohmann,
2007,
Test and Analysis of Web Services.
Leonardo Mariani,
Mauro Pezzè,
Oliviero Riganelli,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Leonardo Mariani,
Fabrizio Pastore,
F. Pastore,
2008,
2008 19th International Symposium on Software Reliability Engineering (ISSRE).
Leonardo Mariani,
Mauro Pezzè,
Daniele Zuddas,
2015,
Adv. Comput..
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Springer International Publishing.
Daniela Micucci,
Oliviero Riganelli,
Leonardo Mariani,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Leonardo Mariani,
Mauro Pezzè,
Ali Mohebbi,
2021,
ISSTA.
M. Pezzè,
L. Mariani,
D. Zuddas,
2021,
2021 IEEE/ACM International Conference on Automation of Software Test (AST).
Leonardo Mariani,
Oliviero Riganelli,
Mauro Santoro,
2012,
FASE.
Daniela Micucci,
Daniela Briola,
Leonardo Mariani,
2018,
Softw. Pract. Exp..
Daniela Micucci,
Leonardo Mariani,
Oliviero Riganelli,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè,
2007,
ASE.
Leonardo Mariani,
Mauro Pezzè,
Oliviero Riganelli,
2014,
ISSTA 2014.
E. Bartocci,
L. Mariani,
Alessandro Tundo,
2023,
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Leonardo Mariani,
Mauro Pezzè,
Hervé Chang,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops.
Leonardo Mariani,
Mauro Pezzè,
Davide Lorenzoli,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
L. Mariani,
G. Denaro,
Luca Guglielmo,
2023,
ArXiv.
Domenico Cotroneo,
Roberto Pietrantuono,
Leonardo Mariani,
2007,
SOQUA '07.
Leonardo Mariani,
Fabrizio Pastore,
F. Pastore,
2013,
Softw. Pract. Exp..
Leonardo Mariani,
Mauro Pezzè,
Hervé Chang,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Daniela Micucci,
Leonardo Mariani,
D. Micucci,
2012,
TOCE.
José Soler,
Leonardo Mariani,
Oliviero Riganelli,
2018,
2018 25th International Conference on Telecommunications (ICT).
M. Pezzè,
L. Mariani,
2007,
IEEE Software.
David Lo,
Leonardo Mariani,
Mauro Santoro,
2012,
J. Syst. Softw..
Leonardo Mariani,
Fabrizio Pastore,
Anton Babenko,
2009,
ISSTA.
Leonardo Mariani,
Mauro Pezzè,
Fabrizio Pastore,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Leonardo Mariani,
Mauro Pezzè,
Davide Lorenzoli,
2007,
The 18th IEEE International Symposium on Software Reliability (ISSRE '07).
Leonardo Mariani,
Mauro Pezzè,
Fabrizio Pastore,
2011
.
Leonardo Mariani,
Mauro Pezzè,
Fabrizio Pastore,
2008
.
Leonardo Mariani,
Mauro Pezzè,
Davide Lorenzoli,
2006,
WODA '06.
M. Pezzè,
L. Mariani,
Ali Mohebbi,
2021,
ISSTA.