ELENCO PUBBLICAZIONI Prof. Pezzè

1998 - Toward formalizing structured analysis: Pezzè, M., & Baresi, L. (1998). Toward formalizing structured analysis. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 7(1), 80-107.2005 - Adaptive Runtime Verification for Autonomic Communication Infrastructures: Denaro, G., Mariani, L., Pezzè, M., & Tosi, D. (2005). Adaptive Runtime Verification for Autonomic Communication Infrastructures. In Proceedings of the First International IEEE WoWMoM Workshop on Autonomic Communications and Computing (pp.553-557). Washington, DC : IEEE Computer Society.2007 - Designing Self-Adaptive Service-Oriented Applications: Denaro, G., Pezzè, M., & Tosi, D. (2007). Designing Self-Adaptive Service-Oriented Applications. In Fourth International Conference on Autonomic Computing, ICAC'07; Jacksonville, FL; United States; 11-15 June 2007. IEEE.2007 - SHIWS: a Self-Healing Integrator for Web Services: Denaro, G., Pezzè, M., & Tosi, D. (2007). SHIWS: a Self-Healing Integrator for Web Services. In Proceedings - International Conference on Software Engineering. IEEE.2007 - Towards Self-Protecting Enterprise Applications: Lorenzoli, D., Mariani, L., & Pezze', M. (2007). Towards Self-Protecting Enterprise Applications. In Proceedings of the The 18th IEEE International Symposium on Software Reliability Engineering (ISSRE) (pp.39-48). Washington, DC : IEEE Computer Society.2007 - Compatibility and Regression Testing of COTS-component-based Software: Mariani, L., Papagiannakis, S., & Pezzè, M. (2007). Compatibility and Regression Testing of COTS-component-based Software. In Proceedings of the 29th International Conference on Software Engineering (ICSE) (pp.85-94). IEEE Computer Society.2007 - Dynamic detection of COTS component incompatibility: Mariani, L., & Pezze', M. (2007). Dynamic detection of COTS component incompatibility. IEEE SOFTWARE, 24(5), 76-85.2020 - Predicting failures in multi-tier distributed systems: Mariani, L., Pezzè, M., Riganelli, O., & Xin, R. (2020). Predicting failures in multi-tier distributed systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, 161.2019 - Reusing Solutions Modulo Theories: Aquino, A., Denaro, G., & Pezze, M. (2019). Reusing Solutions Modulo Theories. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-21.

 


 

ELENCO PUBBLICAZIONI CONDIVISE

2021 - On introducing automatic test case generation in practice: A success story and lessons learned: Brunetto, M., Denaro, G., Mariani, L., & Pezze, M. (2021). On introducing automatic test case generation in practice: A success story and lessons learned. THE JOURNAL OF SYSTEMS AND SOFTWARE, 176(June 2021).2021 - Introduzione all'ingegneria del software moderna: Daniela Micucci (2021). Introduzione all'ingegneria del software moderna (D. Micucci, a cura di). Pearson.2021 - Personalized Models in Human Activity Recognition Using Deep Learning: Amrani, H., Micucci, D., & Napoletano, P. (2021). Personalized Models in Human Activity Recognition Using Deep Learning. In Proceedings of the International Conference on Pattern Recognition (ICPR). IEEE.2020 - Personalized Deep Learning in Human Activity Recognition from Inertial Signals: a Preliminary Study on its Effectiveness: Ferrari, A., Micucci, D., Mobilio, M., & Napoletano, P. (2020). Personalized Deep Learning in Human Activity Recognition from Inertial Signals: a Preliminary Study on its Effectiveness. In Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2020 co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020) (pp.25-30). CEUR.2020 - Message from the GAUSS 2020 Workshop Chairs: Braione, P., Briola, D., De Angelis, G., Gallo, F., Poggi, F., & Quattrocchi, G. (2020). Message from the GAUSS 2020 Workshop Chairs. In Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 (pp.30-31). Institute of Electrical and Electronics Engineers Inc..2020 - Declarative Dashboard Generation: Tundo, A., Castelnovo, C., Mobilio, M., Riganelli, O., & Mariani, L. (2020). Declarative Dashboard Generation. In Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 (pp.215-218). Institute of Electrical and Electronics Engineers Inc..2020 - Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data: Clerissi, D., Denaro, G., Mobilio, M., & Mariani, L. (2020). Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data. In Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 (pp.66-77). Institute of Electrical and Electronics Engineers Inc..2020 - FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades: Mobilio, M., Riganelli, O., Micucci, D., & Mariani, L. (2020). FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. In Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 (pp.1292-1296). Institute of Electrical and Electronics Engineers Inc..2021 - CPSDebug: Automatic failure explanation in CPS models: Bartocci, A., Manjunath, N., Mariani, L., Mateis, C., & Ničković, D. (2021). CPSDebug: Automatic failure explanation in CPS models. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER.2020 - Test4Enforcers: Test Case Generation for Software Enforcers: Guzman, M., Riganelli, O., Micucci, D., & Mariani, L. (2020). Test4Enforcers: Test Case Generation for Software Enforcers. In 20th International Conference on Runtime Verification, RV 2020 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.279-297). Springer Science and Business Media Deutschland GmbH.2020 - A Framework for In-Vivo Testing of Mobile Applications: Ceccato, M., Corradini, D., Gazzola, L., Kifetew, F., Mariani, L., Orru, M., et al. (2020). A Framework for In-Vivo Testing of Mobile Applications. In Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020 (pp.286-296). Institute of Electrical and Electronics Engineers Inc..2020 - CPSDebug: A tool for explanation of failures in cyber-physical systems: Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Nickovic, D., & Pastore, F. (2020). CPSDebug: A tool for explanation of failures in cyber-physical systems. In ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.569-572). Association for Computing Machinery, Inc.2020 - Automatic ex-vivo regression testing of microservices: Gazzola, L., Goldstein, M., Mariani, L., Segall, I., & Ussi, L. (2020). Automatic ex-vivo regression testing of microservices. In Proceedings - 2020 IEEE/ACM 1st International Conference on Automation of Software Test, AST 2020 (pp.11-20). ;2 Penn Plaza, Suite 701 : Association for Computing Machinery.2020 - Preface to the special section on improving software quality through formal methods: Falcone, Y., & Mariani, L. (2020). Preface to the special section on improving software quality through formal methods. SOFTWARE QUALITY JOURNAL, 28(2), 693-694.2017 - Message from the doctoral symposium chairs: Torre, D., & Mariani, L. (2017). Message from the doctoral symposium chairs. In Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 (pp. xviii-xviii). Institute of Electrical and Electronics Engineers Inc..2015 - 10th International Workshop on Automation of Software Test (AST 2015): Subramanyan, R., Mariani, L., & Hao, D. (2015). 10th International Workshop on Automation of Software Test (AST 2015). In Proceedings - International Conference on Software Engineering Volume 2 (pp. 963-964). IEEE Computer Society.2015 - Message from the Chairs: Hao, D., Mariani, L., & Subramanyan, R. (2015). Message from the Chairs. In Proceedings - 10th International Workshop on Automation of Software Test, AST 2015, 23 May 2015 (pp. vii-vii). Institute of Electrical and Electronics Engineers Inc..2019 - COST action IC 1402 ArVI: Runtime verification beyond monitoring activity report of working group 1 - Core aspects of monitoring: Ahrendt, W., Artho, C., Colombo, C., Falcone, Y., Krstic, S., Leucker, M., et al. (2019). COST action IC 1402 ArVI: Runtime verification beyond monitoring activity report of working group 1 - Core aspects of monitoring [Rapporto tecnico].2015 - Message from the Chairs: CSI-SE 2015: Fraser, G., LaToza, T., & Mariani, L. (a cura di). (2015). Message from the Chairs: CSI-SE 2015. Institute of Electrical and Electronics Engineers Inc..2019 - Hidden languages in a digital world: the case of sign language archives: Geraci, C., Braione, P., Cecchetto, C., Quer, J., & Pfau, P. (2019). Hidden languages in a digital world: the case of sign language archives. In D. Piccardi, F. Ardolino, & S. Calamai (a cura di), Gli archivi sonori al crocevia tra scienze fonetiche, informatica umanistica e patrimonio digitale / Audio archives at the crossroads of speech sciences, digital humanities and digital heritage (pp. 31-47). Officinaventuno sas.2020 - TkT: Automatic Inference of Timed and Extended Pushdown Automata: Pastore, F., Micucci, D., Guzman, M., & Mariani, L. (2020). TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-1.2020 - Transforming a furby toy into a multi-modal companion for children with type 1 diabetes: Randine, P., Muzny, M., Micucci, D., Hartvigsen, G., & Arsand, E. (2020). Transforming a furby toy into a multi-modal companion for children with type 1 diabetes. Intervento presentato a: The Official Journal of ATTD Advanced Technologies & Treatments for Diabetes Conference Madrid, Spain—February 19–22, 2020, Madrid, Spain.2020 - The house of carbs: Personalized carbohydrate dispenser for people with diabetes: Randine, P., Micucci, D., Hartvigsen, G., & Arsand, E. (2020). The house of carbs: Personalized carbohydrate dispenser for people with diabetes. In Studies in Health Technology and Informatics (pp.693-697). ;Nieuwe Hemweg 6B : IOS Press.2020 - Facilitating program performance profiling via evolutionary symbolic execution: Aquino, A., Braione, P., Denaro, G., & Salza, P. (2020). Facilitating program performance profiling via evolutionary symbolic execution. SOFTWARE TESTING VERIFICATION & RELIABILITY, 30(2), 1-25.2010 - Optimization and evaluation of an energy-efficient MAC protocol for WASNs: Corradini, F., Papalini, M., Polzonetti, A., & Riganelli, O. (2010). Optimization and evaluation of an energy-efficient MAC protocol for WASNs. In Proceedings of the 6th International Conference on Networking and Services, ICNS 2010, Includes LMPCNA 2010; INTENSIVE 2010 (pp.293-298).2020 - Predicting failures in multi-tier distributed systems: Mariani, L., Pezzè, M., Riganelli, O., & Xin, R. (2020). Predicting failures in multi-tier distributed systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, 161.2020 - Data loss detector: Automatically revealing data loss bugs in Android apps: Riganelli, O., Mottadelli, S., Rota, C., Micucci, D., & Mariani, L. (2020). Data loss detector: Automatically revealing data loss bugs in Android apps. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.141-152). Association for Computing Machinery, Inc.2020 - Online social space identification. A computational tool for optimizing social recommendations: Zoppis, I., Trentini, A., Manzoni, S., Micucci, D., Mauri, G., Pietrabissa, G., et al. (2020). Online social space identification. A computational tool for optimizing social recommendations. APPLIED SCIENCES, 10(9), 1-14.2019 - SUSHI and TARDIS at the SBST2019 Tool Competition: Braione, P., & Denaro, G. (2019). SUSHI and TARDIS at the SBST2019 Tool Competition. In Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019 (pp.25-28). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Institute of Electrical and Electronics Engineers Inc..2019 - Big-data applications as self-Adaptive systems of systems: Baresi, L., Denaro, G., & Quattrocchi, G. (2019). Big-data applications as self-Adaptive systems of systems. In Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 (pp.155-162). Institute of Electrical and Electronics Engineers Inc..

 

 

Leave a Reply