default search action
Oliviero Riganelli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: Automated FIx-LOcus Identification for Android Framework Compatibility Issues. Inf. 15(8): 423 (2024) - [j7]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Automatic testing of runtime enforcers with Test4Enforcers. J. Syst. Softw. 210: 111949 (2024) - [c39]Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
ReProbe: An Architecture for Reconfigurable and Adaptive Probes. ICSA-C 2024: 175-178 - [c38]Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Assessing AI-Based Code Assistants in Method Generation Tasks. ICSE Companion 2024: 380-381 - [c37]Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. ICPC 2024: 13-23 - [c36]Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. ICPC 2024: 24-34 - [c35]Qurban Ali, Oliviero Riganelli, Leonardo Mariani:
Testing in the Evolving World of DL Systems: Insights from Python GitHub Projects. QRS 2024: 25-35 - [i28]Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. CoRR abs/2402.08430 (2024) - [i27]Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. CoRR abs/2402.08431 (2024) - [i26]Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Assessing AI-Based Code Assistants in Method Generation Tasks. CoRR abs/2402.09022 (2024) - [i25]Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
ReProbes: An Architecture for Reconfigurable and Adaptive Probes. CoRR abs/2403.12703 (2024) - [i24]Qurban Ali, Oliviero Riganelli, Leonardo Mariani:
Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects. CoRR abs/2405.19976 (2024) - 2023
- [j6]Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Automated Probe Life-Cycle Management for Monitoring-As-a-Service. IEEE Trans. Serv. Comput. 16(2): 969-982 (2023) - [i23]Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Automated Probe Life-Cycle Management for Monitoring-as-a-Service. CoRR abs/2309.11870 (2023) - 2022
- [c34]Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani:
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. ICSE-Companion 2022: 159-163 - [c33]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Non-functional Testing of Runtime Enforcers in Android. ISoLA (1) 2022: 320-334 - [i22]Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Exception-Driven Fault Localization for Automated Program Repair. CoRR abs/2201.00736 (2022) - [i21]Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani:
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. CoRR abs/2202.11999 (2022) - [i20]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Non-Functional Testing of Runtime Enforcers in Android. CoRR abs/2210.12155 (2022) - 2021
- [c32]Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani:
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment. ICMLA 2021: 785-790 - [c31]Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Exception-Driven Fault Localization for Automated Program Repair. QRS 2021: 598-607 - [i19]Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Declarative Dashboard Generation. CoRR abs/2101.00274 (2021) - [i18]Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani:
Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment. CoRR abs/2110.03431 (2021) - 2020
- [j5]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020) - [c30]Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Declarative Dashboard Generation. ISSRE Workshops 2020: 215-218 - [c29]Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani:
Data loss detector: automatically revealing data loss bugs in Android apps. ISSTA 2020: 141-152 - [c28]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. ASE 2020: 1292-1296 - [c27]Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Test4Enforcers: Test Case Generation for Software Enforcers. RV 2020: 279-297 - [i17]Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Test4Enforcers: Test Case Generation for Software Enforcers. CoRR abs/2010.04258 (2020) - [i16]Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani:
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps. CoRR abs/2010.05584 (2020) - [i15]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. CoRR abs/2012.15627 (2020)
2010 – 2019
- 2019
- [j4]Angelos Mimidis Kentis, José Soler, Paul Veitch, Adam Broadbent, Marco Mobilio, Oliviero Riganelli, Steven van Rossem, Wouter Tavernier, Bessem Sayadi:
The Next Generation Platform as A Service: Composition and Deployment of Platforms and Services. Future Internet 11(5): 119 (2019) - [j3]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps. Softw. Pract. Exp. 49(3): 540-548 (2019) - [j2]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 14(2): 8:1-8:29 (2019) - [c26]Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Anomaly Detection As-a-Service. ISSRE Workshops 2019: 193-199 - [c25]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. ISSRE 2019: 358-368 - [c24]Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani:
A benchmark of data loss bugs for Android apps. MSR 2019: 582-586 - [c23]Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli:
GUI testing in production: challenges and opportunities. Programming 2019: 18:1-18:3 - [c22]Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani:
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. ESEC/SIGSOFT FSE 2019: 1085-1089 - [i14]Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani:
A Benchmark of Data Loss Bugs for Android Apps. CoRR abs/1905.11040 (2019) - [i13]Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Anomaly Detection As-a-Service. CoRR abs/1909.08378 (2019) - [i12]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. CoRR abs/1911.09357 (2019) - [i11]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. CoRR abs/1911.09388 (2019) - [i10]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting Failures in Multi-Tier Distributed Systems. CoRR abs/1911.09561 (2019) - 2018
- [c21]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:
Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS). 5G World Forum 2018: 1-5 - [c20]Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Cloudhealth: a model-driven approach to watch the health of cloud services. SoHeal@ICSE 2018: 40-47 - [c19]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. ICST 2018: 262-273 - [c18]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:
The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure. ICT 2018: 399-404 - [c17]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. ISoLA (4) 2018: 51-57 - [i9]Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli, Andrea Sergiacomi:
Shared Services Center for E-Government Policy. CoRR abs/1802.07982 (2018) - [i8]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Business Rules in e-Government Applications. CoRR abs/1802.08484 (2018) - [i7]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. CoRR abs/1803.00356 (2018) - [i6]Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services. CoRR abs/1803.05233 (2018) - [i5]Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Model-Based Monitoring for IoTs Smart Cities Applications. CoRR abs/1807.07460 (2018) - [i4]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. CoRR abs/1810.04893 (2018) - 2017
- [c16]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Policy Enforcement with Proactive Libraries. SEAMS@ICSE 2017: 182-192 - [c15]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. RV 2017: 241-258 - [i3]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. CoRR abs/1701.05467 (2017) - [i2]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Policy Enforcement with Proactive Libraries. CoRR abs/1703.08005 (2017) - [i1]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. CoRR abs/1707.07473 (2017) - 2016
- [c14]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. ISSRE Workshops 2016: 146-152 - 2015
- [p2]Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad:
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. Validation of Evolving Software 2015: 107-121 - [p1]Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad:
Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. Validation of Evolving Software 2015: 147-184 - 2014
- [j1]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Automatic testing of GUI-based applications. Softw. Test. Verification Reliab. 24(5): 341-366 (2014) - [c13]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Link: exploiting the web of data to generate test inputs. ISSTA 2014: 373-384 - 2012
- [c12]Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro:
Extracting Widget Descriptions from GUIs. FASE 2012: 347-361 - [c11]Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali:
G-RankTest: Regression testing of controller applications. AST 2012: 131-137 - [c10]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST 2012: 81-90 - 2011
- [c9]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015 - 2010
- [c8]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
SEIM: static extraction of interaction models. PESOS 2010: 22-28
2000 – 2009
- 2009
- [c7]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Online Public Service Delivery. CSREA EE 2009: 319-318 - [c6]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Holistic development of online public services. ICEGOV 2009: 227-234 - [c5]Michele Papalini, Alberto Polzonetti, Oliviero Riganelli:
A Model Predictive Approach to Fault-Tolerant WASNs. ICNS 2009: 348-353 - 2008
- [c4]Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka:
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502 - [c3]Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka:
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE 2008: 362-370 - [c2]Flavio Corradini, Roberto Gagliardi, Michele Papalini, Alberto Polzonetti, Oliviero Riganelli:
On the fault tolerance of mobile ad hoc networks. ITI 2008: 827-832 - [c1]Oliviero Riganelli, Radu Grosu, Scott A. Smolka:
Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint