StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. - Ezio Bartocci; Flavio Corradini; Radu Grosu; Emanuela Merelli; Oliviero Riganelli; Scott A. Smolka (Concurrency, Graphs and Models, 2008)

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. - Oliviero Riganelli; Radu Grosu; Samir R. Das; C. R. Ramakrishnan 001; Scott A. Smolka (HASE, 2008)

On the fault tolerance of mobile ad hoc networks. - Flavio Corradini; Roberto Gagliardi; Michele Papalini; Alberto Polzonetti; Oliviero Riganelli (ITI, 2008)

Power Optimization in Fault-Tolerant MANETs. - Oliviero Riganelli; Radu Grosu; Scott A. Smolka (MASCOTS, 2008)

Online Public Service Delivery. - Flavio Corradini; Alberto Polzonetti; Oliviero Riganelli (CSREA EE, 2009)

Holistic development of online public services. - Flavio Corradini; Alberto Polzonetti; Oliviero Riganelli (ICEGOV, 2009)

A Model Predictive Approach to Fault-Tolerant WASNs. - Michele Papalini; Alberto Polzonetti; Oliviero Riganelli (ICNS, 2009)

SEIM: static extraction of interaction models. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (PESOS, 2010)

AutoBlackTest: a tool for automatic black-box testing. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ICSE, 2011)

Extracting Widget Descriptions from GUIs. - Giovanni Becce; Leonardo Mariani; Oliviero Riganelli; Mauro Santoro (FASE, 2012)

G-RankTest: Regression testing of controller applications. - Leonardo Mariani; Oliviero Riganelli; Mauro Santoro; Muhammad Ali (AST, 2012)

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ICST, 2012)

Link: exploiting the web of data to generate test inputs. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ISSTA, 2014)

Automatic testing of GUI-based applications. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (Softw. Test. Verification Reliab., 2014)

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. - Pietro Braione; Giovanni Denaro; Oliviero Riganelli; Mauro Baluda; Ali Muhammad (Validation of Evolving Software, 2015)

G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. - Leonardo Mariani; Oliviero Riganelli; Mauro Santoro; Ali Muhammad (Validation of Evolving Software, 2015)

Healing Data Loss Problems in Android Apps. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (ISSRE Workshops, 2016)

Policy Enforcement with Proactive Libraries. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (SEAMS@ICSE, 2017)

Verifying Policy Enforcers. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani; Yliès Falcone (RV, 2017)

Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS). - Paul Veitch; Adam Broadbent; Steven van Rossem; Bessem Sayadi; Lionel Natarianni; Bilal Al Jammal; Laurent Roullet; Angelos Mimidis; Eder Ollora; José Soler; Sebastien Pinneterre; Michele Paolino; et al. (5G World Forum, 2018)

Cloudhealth: a model-driven approach to watch the health of cloud services. - Anas Shatnawi; Matteo Orrù; Marco Mobilio; Oliviero Riganelli; Leonardo Mariani (SoHeal@ICSE, 2018)

Localizing Faults in Cloud Systems. - Leonardo Mariani; Cristina Monni; Mauro Pezzè; Oliviero Riganelli; Rui Xin (ICST, 2018)

The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure. - Angelos Mimidis; Eder Ollora; José Soler; Bessem Sayadi; Laurent Roullet; Steven van Rossem; Sebastien Pinneterre; Michele Paolino; Daniel Raho; Xuan Du; Julian Chesterfield; Michail Flouris; et al. (ICT, 2018)

Increasing the Reusability of Enforcers with Lifecycle Events. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (ISoLA (4), 2018)

Shared Services Center for E-Government Policy. - Flavio Corradini; Lucio Forastieri; Alberto Polzonetti; Oliviero Riganelli; Andrea Sergiacomi (CoRR, 2018)

Business Rules in e-Government Applications. - Flavio Corradini; Alberto Polzonetti; Oliviero Riganelli (CoRR, 2018)

Model-Based Monitoring for IoTs Smart Cities Applications. - Matteo Orrù; Marco Mobilio; Anas Shatnawi; Oliviero Riganelli; Alessandro Tundo; Leonardo Mariani (CoRR, 2018)

Anomaly Detection As-a-Service. - Marco Mobilio; Matteo Orrù; Oliviero Riganelli; Alessandro Tundo; Leonardo Mariani (ISSRE Workshops, 2019)

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. - Marco Mobilio; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (ISSRE, 2019)

A benchmark of data loss bugs for Android apps. - Oliviero Riganelli; Marco Mobilio; Daniela Micucci; Leonardo Mariani (MSR, 2019)

GUI testing in production: challenges and opportunities. - Giovanni Denaro; Luca Guglielmo; Leonardo Mariani; Oliviero Riganelli (Programming, 2019)

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. - Alessandro Tundo; Marco Mobilio; Matteo Orrù; Oliviero Riganelli; Michell Guzmán; Leonardo Mariani (ESEC/SIGSOFT FSE, 2019)

The Next Generation Platform as A Service: Composition and Deployment of Platforms and Services. - Angelos Mimidis Kentis; José Soler; Paul Veitch; Adam Broadbent; Marco Mobilio; Oliviero Riganelli; Steven van Rossem; Wouter Tavernier; Bessem Sayadi (Future Internet, 2019)

From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (Softw. Pract. Exp., 2019)

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (ACM Trans. Auton. Adapt. Syst., 2019)

Declarative Dashboard Generation. - Alessandro Tundo; Chiara Castelnovo; Marco Mobilio; Oliviero Riganelli; Leonardo Mariani (ISSRE Workshops, 2020)

Data loss detector: automatically revealing data loss bugs in Android apps. - Oliviero Riganelli; Simone Paolo Mottadelli; Claudio Rota; Daniela Micucci; Leonardo Mariani (ISSTA, 2020)

FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. - Marco Mobilio; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (ASE, 2020)

Test4Enforcers: Test Case Generation for Software Enforcers. - Michell Guzmán; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (RV, 2020)

Predicting failures in multi-tier distributed systems. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Rui Xin (J. Syst. Softw., 2020)

Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment. - Oliviero Riganelli; Paolo Saltarel; Alessandro Tundo; Marco Mobilio; Leonardo Mariani (ICMLA, 2021)

Exception-Driven Fault Localization for Automated Program Repair. - Davide Ginelli; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (QRS, 2021)

Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment. - Oliviero Riganelli; Paolo Saltarel; Alessandro Tundo; Marco Mobilio; Leonardo Mariani (CoRR, 2021)

Proactive Libraries: Enforcing Correct Behaviors in Android Apps. - Oliviero Riganelli; Ionut Daniel Fagadau; Daniela Micucci; Leonardo Mariani (ICSE-Companion, 2022)

Non-functional Testing of Runtime Enforcers in Android. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (ISoLA (1), 2022)

Automated Probe Life-Cycle Management for Monitoring-As-a-Service. - Alessandro Tundo; Marco Mobilio; Oliviero Riganelli; Leonardo Mariani (IEEE Trans. Serv. Comput., 2023)

ReProbe: An Architecture for Reconfigurable and Adaptive Probes. - Federico Alessi; Alessandro Tundo; Marco Mobilio; Oliviero Riganelli; Leonardo Mariani (ICSA-C, 2024)

Assessing AI-Based Code Assistants in Method Generation Tasks. - Vincenzo Corso; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli (ICSE Companion, 2024)

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. - Vincenzo Corso; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli (ICPC, 2024)

Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. - Ionut Daniel Fagadau; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli (ICPC, 2024)

Testing in the Evolving World of DL Systems: Insights from Python GitHub Projects. - Qurban Ali; Oliviero Riganelli; Leonardo Mariani (QRS, 2024)

ReProbes: An Architecture for Reconfigurable and Adaptive Probes. - Federico Alessi; Alessandro Tundo; Marco Mobilio; Oliviero Riganelli; Leonardo Mariani (CoRR, 2024)

Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects. - Qurban Ali; Oliviero Riganelli; Leonardo Mariani (CoRR, 2024)

Monitoring Probe Deployment Patterns for Cloud-Native Applications: Definition and Empirical Assessment. - Alessandro Tundo; Marco Mobilio; Oliviero Riganelli; Leonardo Mariani (IEEE Trans. Serv. Comput., 2024)

Automatic testing of runtime enforcers with Test4Enforcers. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (J. Syst. Softw., 2024)

FILO: Automated FIx-LOcus Identification for Android Framework Compatibility Issues. - Marco Mobilio; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (Inf., 2024)

OpenCat: Improving Interoperability of ADS Testing. - Qurban Ali; Andrea Stocco 001; Leonardo Mariani; Oliviero Riganelli (DeepTest, 2025)

On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT. - Gaia Colombo; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli (ICPC, 2025)

Studying How Configurations Impact Code Generation in LLMs: The Case of ChatGPT. - Benedetta Donato; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli (ICPC, 2025)

MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants. - Benedetta Donato; Leonardo Mariani; Daniela Micucci; Oliviero Riganelli; Marco Somaschini (SIGSOFT FSE Companion, 2025)

From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems. - Maria Teresa Rossi; Leonardo Mariani; Oliviero Riganelli (CoRR, 2025)