Pubblicazioni
Autori:
Luca Gazzola, Daniela Micucci, Leonardo Mariani
Pubblicato in:
IEEE Transactions on Software Engineering, Numero Monthly, 2017, Pagina/e 1-1, ISSN 0098-5589
Editore:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TSE.2017.2755013
Autori:
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Pubblicato in:
Electronic Proceedings in Theoretical Computer Science, Numero 254, 2017, Pagina/e 57-68, ISSN 2075-2180
Editore:
Electronic Proceedings in Theoretical Computer Science
DOI:
10.4204/EPTCS.254.5
Autori:
Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
Pubblicato in:
Software Testing, Verification and Reliability, Numero 28/4, 2018, Pagina/e e1660, ISSN 0960-0833
Editore:
John Wiley & Sons Inc.
DOI:
10.1002/stvr.1660
Autori:
Daniela Briola, Daniela Micucci, Leonardo Mariani
Pubblicato in:
Software: Practice and Experience, 2018, ISSN 0038-0644
Editore:
John Wiley & Sons Inc.
DOI:
10.1002/spe.2657
Autori:
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Pubblicato in:
Software: Practice and Experience, Numero 49/3, 2018, Pagina/e 540-548, ISSN 0038-0644
Editore:
John Wiley & Sons Inc.
DOI:
10.1002/spe.2672
Autori:
Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
Pubblicato in:
IEEE Access, Numero 7, 2019, Pagina/e 85913-85924, ISSN 2169-3536
Editore:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2019.2925855
Autori:
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Pubblicato in:
ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2020, ISSN 1556-4665
Editore:
Association for Computing Machinary, Inc.
Autori:
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Pubblicato in:
Journal of Systems and Software, 2020, ISSN 0164-1212
Editore:
Elsevier BV
Autori:
Leonardo Mariani, Mauro Pezze, Mauro Santoro
Pubblicato in:
IEEE Transactions on Software Engineering, 2016, Pagina/e 1-1, ISSN 0098-5589
Editore:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TSE.2016.2623623
Autori:
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
Pubblicato in:
Proceedings of the International Conference on Runtime Verification (RV), Numero Annual, 2017, Pagina/e 241-258
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-67531-2_15
Autori:
Fabrizio Pastore, Leonardo Mariani
Pubblicato in:
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Numero Annual, 2017, Pagina/e 964-968, ISBN 9781-450351058
Editore:
ACM Press
DOI:
10.1145/3106237.3122819
Autori:
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
Pubblicato in:
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Numero Annual, 2017, Pagina/e 570-581, ISBN 9781-450351058
Editore:
ACM Press
DOI:
10.1145/3106237.3106296
Autori:
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezze
Pubblicato in:
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), Numero Annual, 2017, Pagina/e 67-77, ISBN 978-1-5386-0941-5
Editore:
IEEE
DOI:
10.1109/ISSRE.2017.10
Autori:
Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Pubblicato in:
Proceedings of the 1st International Workshop on Software Health - SoHeal '18, 2018, Pagina/e 40-47, ISBN 9781-450357302
Editore:
ACM Press
DOI:
10.1145/3194124.3194130
Autori:
Leonardo Mariani, Cristina Monni, Mauro Pezze, Oliviero Riganelli, Rui Xin
Pubblicato in:
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018, Pagina/e 262-273, ISBN 978-1-5386-5012-7
Editore:
IEEE
DOI:
10.1109/ICST.2018.00034
Autori:
Luca Gazzola, Daniela Micucci, Leonardo Mariani
Pubblicato in:
Proceedings of the International Conference on Software Engineering, 2018, Pagina/e 1219
Editore:
ACM
Autori:
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
Pubblicato in:
Proceedings of the International Conference on Software Engineering, 2018, Pagina/e 280-290, ISBN 978-1-4503-5638-1
Editore:
ACM
DOI:
10.1145/3180155.3180162
Autori:
Davide Ginelli
Pubblicato in:
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019, 2019, Pagina/e 1156-1159, ISBN 9781-450355728
Editore:
ACM Press
DOI:
10.1145/3338906.3341464
Autori:
Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
Pubblicato in:
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, Pagina/e 582-586, ISBN 978-1-7281-3412-3
Editore:
IEEE
DOI:
10.1109/msr.2019.00087
Autori:
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, Leonardo Mariani
Pubblicato in:
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019, 2019, Pagina/e 1085-1089, ISBN 9781-450355728
Editore:
ACM Press
DOI:
10.1145/3338906.3341185
Autori:
Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
Pubblicato in:
Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Pagina/e 1-3, ISBN 9781-450362573
Editore:
ACM Press
DOI:
10.1145/3328433.3328452
Autori:
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Pubblicato in:
Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2019
Editore:
IEEE
Autori:
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Pubblicato in:
2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Numero annual, 2016, Pagina/e 146-152, ISBN 978-1-5090-3601-1
Editore:
IEEE
DOI:
10.1109/ISSREW.2016.50
Autori:
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Pubblicato in:
2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Pagina/e 182-192, ISBN 978-1-5386-1550-8
Editore:
IEEE
DOI:
10.1109/SEAMS.2017.9
Autori:
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Pubblicato in:
2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER), 2017, Pagina/e 55-58, ISBN 978-1-5386-2675-7
Editore:
IEEE
DOI:
10.1109/ICSE-NIER.2017.19
Autori:
Oscar Cornejo
Pubblicato in:
Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Numero Annual, 2017, Pagina/e 479 - 480, ISBN 978-1-5386-1589-8
Editore:
IEEE
DOI:
10.1109/ICSE-C.2017.37
Autori:
Luca Gazzola
Pubblicato in:
Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Numero annual, 2017, Pagina/e 429 - 432, ISBN 978-1-5386-1589-8
Editore:
IEEE
DOI:
10.1109/ICSE-C.2017.30
Autori:
Fabrizio Pastore, Leonardo Mariani
Pubblicato in:
International Symposium on Leveraging Applications of Formal Methods, 2016, Pagina/e 388-393, ISBN 978-3-319-47168-6
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-47169-3_30
Autori:
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Pubblicato in:
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), Numero Annual, 2017, Pagina/e 401-411, ISBN 978-1-5090-6031-3
Editore:
IEEE
DOI:
10.1109/ICST.2017.43
Autori:
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Pubblicato in:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, Numero 11247, 2018, Pagina/e 51-57, ISBN 978-3-030-03426-9
Editore:
Springer International Publishing
DOI:
10.1007/978-3-030-03427-6_7
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile