Oliviero Riganelli

According to our database, Oliviero Riganelli authored at least 51 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatic testing of runtime enforcers with Test4Enforcers.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

J. Syst. Softw., April, 2024

ReProbes: An Architecture for Reconfigurable and Adaptive Probes.

Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

CoRR, 2024

Assessing AI-Based Code Assistants in Method Generation Tasks.

Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

CoRR, 2024

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants.

Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

CoRR, 2024

Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot.

Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

CoRR, 2024

2023

Automated Probe Life-Cycle Management for Monitoring-As-a-Service.

Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

IEEE Trans. Serv. Comput., 2023

2022

Non-functional Testing of Runtime Enforcers in Android.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Proactive Libraries: Enforcing Correct Behaviors in Android Apps.

Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment.

Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani

CoRR, 2021

Exception-Driven Fault Localization for Automated Program Repair.

Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment.

Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020

Predicting failures in multi-tier distributed systems.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin

J. Syst. Softw., 2020

Test4Enforcers: Test Case Generation for Software Enforcers.

Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Runtime Verification - 20th International Conference, 2020

FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades.

Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Data loss detector: automatically revealing data loss bugs in Android apps.

Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Declarative Dashboard Generation.

Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

ACM Trans. Auton. Adapt. Syst., 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

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

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

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

GUI testing in production: challenges and opportunities.

Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

A benchmark of data loss bugs for Android apps.

Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade.

Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Anomaly Detection As-a-Service.

Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018

Model-Based Monitoring for IoTs Smart Cities Applications.

Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani

CoRR, 2018

Business Rules in e-Government Applications.

Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli

CoRR, 2018

Shared Services Center for E-Government Policy.

Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli, Andrea Sergiacomi

CoRR, 2018

Increasing the Reusability of Enforcers with Lifecycle Events.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 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, Leonardo Mariani, Oliviero Riganelli, Marco Mobilio, Aurora Ramos, Ignacio Labrador, Adam Broadbent, Paul Veitch, Maurice Zembra

Proceedings of the 25th International Conference on Telecommunications, 2018

Localizing Faults in Cloud Systems.

Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Cloudhealth: a model-driven approach to watch the health of cloud services.

Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

Proceedings of the 1st International Workshop on Software Health, 2018

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, Aurora Ramos, X. Du, Michail Flouris, Leonardo Mariani, Oliviero Riganelli, Marco Mobilio, Anas Shatnawi, Matteo Orrù, Maurice Zembra

Proceedings of the IEEE 5G World Forum, 2018

2017

Verifying Policy Enforcers.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone

Proceedings of the Runtime Verification - 17th International Conference, 2017

Policy Enforcement with Proactive Libraries.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016

Healing Data Loss Problems in Android Apps.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.

Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.

Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

2014

Automatic testing of GUI-based applications.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Softw. Test. Verification Reliab., 2014

Link: exploiting the web of data to generate test inputs.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2012

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

G-RankTest: Regression testing of controller applications.

Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Extracting Widget Descriptions from GUIs.

Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

AutoBlackTest: a tool for automatic black-box testing.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

SEIM: static extraction of interaction models.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

2009

A Model Predictive Approach to Fault-Tolerant WASNs.

Michele Papalini, Alberto Polzonetti, Oliviero Riganelli

Proceedings of the Fifth International Conference on Networking and Services, 2009

Holistic development of online public services.

Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli

Proceedings of the ICEGOV 2009, 2009

Online Public Service Delivery.

Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli

Proceedings of the 2009 International Conference on E-Learning, 2009

2008

Power Optimization in Fault-Tolerant MANETs.

Oliviero Riganelli, Radu Grosu, Scott A. Smolka

Proceedings of the 16th International Symposium on Modeling, 2008

On the fault tolerance of mobile ad hoc networks.

Flavio Corradini, Roberto Gagliardi, Michele Papalini, Alberto Polzonetti, Oliviero Riganelli

Proceedings of the ITI 2008 30th International Conference on Information Technology Interfaces, 2008

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks.

Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.

Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka

Proceedings of the Concurrency, 2008