2025

Enhancing robustness of AI offensive code generators via data augmentation

Cristina Improta , Pietro Liguori , Roberto Natella , Bojan Cukic , Domenico Cotroneo
Empir. Softw. Eng., vol: 30, pages: 7, 2025
DOI: 10.1007/S10664-024-10569-Y
Journal Papers

2024

DeVAIC: A tool for security assessment of AI-generated code

Domenico Cotroneo , Roberta De Luca , Pietro Liguori
Information and Software Technology, pages: 107572, 2024
DOI: https://doi.org/10.1016/j.infsof.2024.107572
Journal Papers

Automating the correctness assessment of AI-generated code for security contexts

Domenico Cotroneo , Alessio Foggia , Cristina Improta , Pietro Liguori , Roberto Natella
Journal of Systems and Software, vol: 216, pages: 112113, 2024
DOI: https://doi.org/10.1016/j.jss.2024.112113
Journal Papers

Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor

Marcello Cinque , Luigi De Simone , Daniele Ottaviano
Elsevier Journal of Systems and Software (JSS), pages: 112147, 2024
DOI: 10.1016/j.jss.2024.112147
Journal Papers

Criticality-aware monitoring and orchestration for containerized industry 4.0 environments

Barletta Marco, Cinque Marcello, De Simone Luigi, Della Corte Raffaele
ACM Transactions on Embedded Computing Systems (TECS), vol: 23, pages: 1–28, 2024
DOI: 10.1145/3604567
ACM
Journal Papers

Performance and Availability Challenges in Designing Resilient 5G Architectures

De Simone Luigi, Di Mauro Mario, Natella Roberto, Postiglione Fabio
IEEE Transactions on Network and Service Management, pages: 1-1, 2024
DOI: 10.1109/TNSM.2024.3404560
Journal Papers

AI Code Generators for Security: Friend or Foe?

Natella Roberto, Liguori Pietro, Improta Cristina, Cukic Bojan, Cotroneo Domenico
IEEE Security & Privacy, pages: 2-10, 2024
DOI: 10.1109/MSEC.2024.3355713
Journal Papers

Automated functional and robustness testing of microservice architectures

Luca Giamattei , Antonio Guerriero , Roberto Pietrantuono , Stefano Russo
Journal of Systems and Software, vol: 207, pages: 111857, 2024
DOI: https://doi.org/10.1016/j.jss.2023.111857
Journal Papers

2023

Monitoring tools for DevOps and microservices: A systematic grey literature review

Giamattei L, Guerriero A, Pietrantuono R, Russo S, Malavolta I, Islam T, Dînga M, Koziolek A, Singh S, Armbruster M, others
Journal of Systems and Software (JSS), pages: 111906, 2023
DOI: https://doi.org/10.1016/j.jss.2023.111906
Elsevier
Journal Papers

Causality-Driven Testing of Autonomous Driving Systems

Giamattei Luca, Guerriero Antonio, Pietrantuono Roberto, Russo Stefano
ACM Trans. Softw. Eng. Methodol., 2023
DOI: 10.1145/3635709
Association for Computing Machinery
Journal Papers

Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems

Cinque Marcello, De Simone Luigi, Mazzocca Nicola, Ottaviano Daniele, Vitale Francesco
Real-Time Systems, pages: 1–34, 2023
DOI: 10.1007/s11241-023-09410-4
Springer
Journal Papers

Multi-Provider IMS Infrastructure with Controlled Redundancy: A Performability Evaluation

De Simone Luigi, Di Mauro Mario, Longo Maurizio, Natella Roberto, Postiglione Fabio
IEEE Transactions on Network and Service Management (TNSM), Early Access, 2023
DOI: 10.1109/TNSM.2023.3282745
IEEE
Journal Papers

Who evaluates the evaluators? On automatic metrics for assessing AI-based offensive code generators

Pietro Liguori , Cristina Improta , Roberto Natella , Bojan Cukic , Domenico Cotroneo
Expert Systems with Applications (ESWA), vol: 225, pages: 120073, 2023
DOI: 10.1016/j.eswa.2023.120073
Elsevier
Journal Papers

LSTM-based failure prediction for railway rolling stock equipment

Luigi De Simone , Enzo Caputo , Marcello Cinque , Antonio Galli , Vincenzo Moscato , Stefano Russo , Guido Cesaro , Vincenzo Criscuolo , Giuseppe Giannini
Expert Systems with Applications (ESWA), vol: 222, pages: 119767, 2023
DOI: 10.1016/j.eswa.2023.119767
Elsevier
Journal Papers

Assessing operational accuracy of CNN-based image classifiers using an oracle surrogate

Antonio Guerriero , Michael R. Lyu , Roberto Pietrantuono , Stefano Russo
Intelligent Systems with Applications (ISWA), vol: 17, pages: 200172, 2023
DOI: 10.1016/j.iswa.2022.200172
Elsevier
Journal Papers

Enabling memory access isolation in real-time cloud systems using Intel's detection/regulation capabilities

Giorgio Farina , Gautam Gala , Marcello Cinque , Gerhard Fohler
Journal of Systems Architecture (JSA), vol: 137, pages: 102848, 2023
DOI: 10.1016/j.sysarc.2023.102848
Elsevier
Journal Papers

Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella
Journal of Systems and Software (JSS), vol: 198, pages: 111611, 2023
DOI: 10.1016/j.jss.2023.111611
Elsevier
Journal Papers

DevOpRET: Continuous reliability testing in DevOps

Antonia Bertolino , Guglielmo De Angelis , Antonio Guerriero , Breno Miranda , Roberto Pietrantuono , Stefano Russo
J. Softw. Evol. Process., vol: 35, 2023
DOI: 10.1002/smr.2298
Wiley Online Library
Journal Papers

A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge

Ermeson C. Andrade , Roberto Pietrantuono , Fumio Machida , Domenico Cotroneo
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 20, pages: 563–573, 2023
DOI: 10.1109/TDSC.2021.3139201
IEEE
Journal Papers

Survivability Analysis of IoT Systems Under Resource Exhausting Attacks

Roberto Pietrantuono , Massimo Ficco , Francesco Palmieri
IEEE Trans. Inf. Forensics Secur., vol: 18, pages: 3277–3288, 2023
DOI: 10.1109/TIFS.2023.3278449
IEEE
Journal Papers

A Latency-Driven Availability Assessment for Multi-Tenant Service Chains

Luigi De Simone , Mario Di Mauro , Roberto Natella , Fabio Postiglione
IEEE Trans. Serv. Comput., vol: 16, pages: 815–829, 2023
DOI: 10.1109/TSC.2022.3183938
IEEE
Journal Papers

2022

Can we generate shellcodes via natural language? An empirical study

Pietro Liguori , Erfan Al-Hossami , Domenico Cotroneo , Roberto Natella , Bojan Cukic , Samira Shaikh
Autom. Softw. Eng., vol: 29, pages: 30, 2022
DOI: 10.1007/s10515-022-00331-3
Springer
Journal Papers

Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things

Alessandro Cilardo , Marcello Cinque , Luigi De Simone , Nicola Mazzocca
Computer, vol: 55, pages: 35–47, 2022
DOI: 10.1109/MC.2022.3140896
IEEE
Journal Papers

A Survey of Field-based Testing Techniques

Antonia Bertolino , Pietro Braione , Guglielmo De Angelis , Luca Gazzola , Fitsum Meshesha Kifetew , Leonardo Mariani , Matteo Orrù , Mauro Pezzè , Roberto Pietrantuono , Stefano Russo , Paolo Tonella
ACM Comput. Surv., vol: 54, pages: 92:1–92:39, 2022
DOI: 10.1145/3447240
dl.acm.org
Journal Papers

StateAFL: Greybox fuzzing for stateful network servers

Roberto Natella
Empir. Softw. Eng., vol: 27, pages: 191, 2022
DOI: 10.1007/s10664-022-10233-3
Springer
Journal Papers

Virtualizing mixed-criticality systems: A survey on industrial trends and issues

Marcello Cinque , Domenico Cotroneo , Luigi De Simone , Stefano Rosiello
Future Generation Computer Systems (FGCS), vol: 129, pages: 315–330, 2022
DOI: 10.1016/j.future.2021.12.002
Elsevier
Journal Papers

SLA-Driven Software Orchestration in Industry 4.0

Marco Barletta , Marcello Cinque , Catello Di Martino
IEEE Internet Things Mag., vol: 5, pages: 136–141, 2022
DOI: 10.1109/IOTM.001.2200216
IEEE
Journal Papers

Micro2vec: Anomaly detection in microservices systems by mining numeric representations of computer logs

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
J. Netw. Comput. Appl., vol: 208, pages: 103515, 2022
DOI: 10.1016/j.jnca.2022.103515
Elsevier
Journal Papers

ThorFI: a Novel Approach for Network Fault Injection as a Service

Domenico Cotroneo , Luigi De Simone , Roberto Natella
J. Netw. Comput. Appl., vol: 201, pages: 103334, 2022
DOI: 10.1016/j.jnca.2022.103334
Elsevier
Journal Papers

Software micro-rejuvenation for Android mobile systems

Domenico Cotroneo , Luigi De Simone , Roberto Natella , Roberto Pietrantuono , Stefano Russo
Journal of Systems and Software (JSS), vol: 186, pages: 111181, 2022
DOI: 10.1016/j.jss.2021.111181
Elsevier
Journal Papers

Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 19, pages: 1476–1491, 2022
DOI: 10.1109/TDSC.2020.3025289
IEEE
Journal Papers

FUSION - Fog Computing and Blockchain for Trusted Industrial Internet of Things

Andrea Ceccarelli , Marcello Cinque , Christian Esposito , Luca Foschini , Carlo Giannelli , Paolo Lollini
IEEE Transactions on Engineering Management (IEEE-TEM), vol: 69, pages: 2944–2958, 2022
DOI: 10.1109/TEM.2020.3024105
IEEE
Journal Papers

Microservices Monitoring with Event Logs and Black Box Execution Tracing

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
IEEE Trans. Serv. Comput., vol: 15, pages: 294–307, 2022
DOI: 10.1109/TSC.2019.2940009
IEEE
Journal Papers

2021

Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification

Domenico Cotroneo , Luigi De Simone , Roberto Natella
Computers & Security (COSE), vol: 106, pages: 102307, 2021
DOI: 10.1016/j.cose.2021.102307
Elsevier
Journal Papers

A graph-based approach to detect unexplained sequences in a log

Marcello Cinque , Raffaele Della Corte , Vincenzo Moscato
Expert Systems with Applications (ESWA), vol: 171, pages: 114556, 2021
DOI: 10.1016/j.eswa.2020.114556
Elsevier
Journal Papers

Enhancing the analysis of software failures in cloud computing systems with deep learning

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella
Journal of Systems and Software (JSS), vol: 181, pages: 111043, 2021
DOI: 10.1016/j.jss.2021.111043
Elsevier
Journal Papers

Dependability Assessment of the Android OS Through Fault Injection

Domenico Cotroneo , Antonio Ken Iannillo , Roberto Natella , Stefano Rosiello
IEEE Transactions on Reliability (TR), vol: 70, pages: 346–361, 2021
DOI: 10.1109/TR.2019.2954384
IEEE
Journal Papers

Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile

Antonia Bertolino , Breno Miranda , Roberto Pietrantuono , Stefano Russo
IEEE Transactions on Software Engineering (TSE), vol: 47, pages: 881–898, 2021
DOI: 10.1109/TSE.2019.2906187
IEEE
Journal Papers

2020

Blockchain-empowered decentralised trust management for the Internet of Vehicles security

Marcello Cinque , Christian Esposito , Stefano Russo , Oscar Tamburis
Comput. Electr. Eng., vol: 86, pages: 106722, 2020
DOI: 10.1016/j.compeleceng.2020.106722
Elsevier
Journal Papers

An empirical analysis of error propagation in critical software systems

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
Empir. Softw. Eng., vol: 25, pages: 2450–2484, 2020
DOI: 10.1007/s10664-020-09801-2
Springer
Journal Papers

A comprehensive study on software aging across android versions and vendors

Domenico Cotroneo , Antonio Ken Iannillo , Roberto Natella , Roberto Pietrantuono
Empir. Softw. Eng., vol: 25, pages: 3357–3395, 2020
DOI: 10.1007/s10664-020-09838-3
Springer
Journal Papers

Contextual filtering and prioritization of computer application logs for security situational awareness

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
Future Generation Computer Systems (FGCS), vol: 111, pages: 668–680, 2020
DOI: 10.1016/j.future.2019.09.005
Elsevier
Journal Papers

On the testing resource allocation problem: Research trends and perspectives

Roberto Pietrantuono
Journal of Systems and Software (JSS), vol: 161, 2020
DOI: 10.1016/j.jss.2019.110462
Elsevier
Journal Papers

Discovering process models for the analysis of application failures under uncertainty of event logs

Antonio Pecchia , Ingo Weber , Marcello Cinque , Yu Ma
Knowl. Based Syst., vol: 189, 2020
DOI: 10.1016/j.knosys.2019.105054
Elsevier
Journal Papers

Reliability assessment of service-based software under operational profile uncertainty

Roberto Pietrantuono , Peter Popov , Stefano Russo
Reliab. Eng. Syst. Saf., vol: 204, pages: 107193, 2020
DOI: 10.1016/j.ress.2020.107193
Elsevier
Journal Papers

A survey on software aging and rejuvenation in the cloud

Roberto Pietrantuono , Stefano Russo
Softw. Qual. J., vol: 28, pages: 7–38, 2020
DOI: 10.1007/s11219-019-09448-3
Springer
Journal Papers

Testing microservice architectures for operational reliability

Roberto Pietrantuono , Stefano Russo , Antonio Guerriero
Softw. Test. Verification Reliab., vol: 30, 2020
DOI: 10.1002/stvr.1725
Wiley Online Library
Journal Papers

Security Log Analysis in Critical Industrial Systems Exploiting Game Theoretic Feature Selection and Evidence Combination

Marcello Cinque , Christian Esposito , Antonio Pecchia
IEEE Trans. Ind. Informatics, vol: 16, pages: 3871–3880, 2020
DOI: 10.1109/TII.2019.2944477
IEEE
Journal Papers

Assessing Invariant Mining Techniques for Cloud-Based Utility Computing Systems

Antonio Pecchia , Stefano Russo , Santonu Sarkar
IEEE Trans. Serv. Comput., vol: 13, pages: 44–58, 2020
DOI: 10.1109/TSC.2017.2679715
IEEE
Journal Papers

Analyzing the Effects of Bugs on Software Interfaces

Roberto Natella , Stefan Winter , Domenico Cotroneo , Neeraj Suri
IEEE Transactions on Software Engineering (TSE), vol: 46, pages: 280–301, 2020
DOI: 10.1109/TSE.2018.2850755
IEEE
Journal Papers

2019

Evolutionary Fuzzing of Android OS Vendor System Services

Domenico Cotroneo , Antonio Ken Iannillo , Roberto Natella
Empir. Softw. Eng., vol: 24, pages: 3630–3658, 2019
DOI: 10.1007/s10664-019-09725-6
Springer
Journal Papers

A framework for on-line timing error detection in software systems

Marcello Cinque , Domenico Cotroneo , Raffaele Della Corte , Antonio Pecchia
Future Generation Computer Systems (FGCS), vol: 90, pages: 521–538, 2019
DOI: 10.1016/j.future.2018.08.025
Elsevier
Journal Papers

Overload control for virtual network functions under CPU contention

Domenico Cotroneo , Roberto Natella , Stefano Rosiello
Future Generation Computer Systems (FGCS), vol: 99, pages: 164–176, 2019
DOI: 10.1016/j.future.2019.04.007
Elsevier
Journal Papers

On Data Sovereignty in Cloud-Based Computation Offloading for Smart Cities Applications

Christian Esposito , Aniello Castiglione , Flavio Frattini , Marcello Cinque , Yanjiang Yang
IEEE Internet Things J., vol: 6, pages: 4521–4535, 2019
DOI: 10.1109/JIOT.2018.2886410
IEEE
Journal Papers

Linux page fault analysis in android systems

A. Orlando , Paolo Amato , D. Caraccio , Marcello Cinque , R. Izzi , G. Mirichigni , L. Porzio
Microprocess. Microsystems, vol: 66, pages: 10–18, 2019
DOI: 10.1016/j.micpro.2019.01.006
Elsevier
Journal Papers

Empirical Analysis and Validation of Security Alerts Filtering Techniques

Domenico Cotroneo , Andrea Paudice , Antonio Pecchia
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 16, pages: 856–870, 2019
DOI: 10.1109/TDSC.2017.2714164
IEEE
Journal Papers

2018

Hybrid Simulation and Test of Vessel Traffic Systems on the Cloud

Massimo Ficco , Roberto Pietrantuono , Stefano Russo
IEEE Access, vol: 6, pages: 47273–47287, 2018
DOI: 10.1109/ACCESS.2018.2865683
IEEE
Journal Papers

Cloud Reliability: Possible Sources of Security and Legal Issues?

Marcello Cinque , Stefano Russo , Christian Esposito , Kim-Kwang Raymond Choo and Frederica Free-Nelson , Charles A. Kamhoua
IEEE Cloud Comput., vol: 5, pages: 31–38, 2018
DOI: 10.1109/MCC.2018.032591614
IEEE
Journal Papers

Aging-related performance anomalies in the apache storm stream processing system

Massimo Ficco , Roberto Pietrantuono , Stefano Russo
Future Generation Computer Systems (FGCS), vol: 86, pages: 975–994, 2018
DOI: 10.1016/j.future.2017.08.051
Elsevier
Journal Papers

A software quality framework for large-scale mission-critical systems engineering

Gabriella Carrozza , Roberto Pietrantuono , Stefano Russo
Inf. Softw. Technol., vol: 102, pages: 100–116, 2018
DOI: 10.1016/j.infsof.2018.05.009
Elsevier
Journal Papers

Faultprog: Testing the Accuracy of Binary-Level Software Fault Injection

Domenico Cotroneo , Anna Lanzaro , Roberto Natella
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 15, pages: 40–53, 2018
DOI: 10.1109/TDSC.2016.2522968
IEEE
Journal Papers

Learning from the Ones that Got Away: Detecting New Forms of Phishing Attacks

Christopher N. Gutierrez , Taegyu Kim , Raffaele Della Corte , Jeffrey Avery , Dan Goldwasser , Marcello Cinque , Saurabh Bagchi
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 15, pages: 988–1001, 2018
DOI: 10.1109/TDSC.2018.2864993
IEEE
Journal Papers

Multiobjective Testing Resource Allocation Under Uncertainty

Roberto Pietrantuono , Pasqualina Potena , Antonio Pecchia , Daniel Rodríguez , Stefano Russo
IEEE Trans. Evol. Comput., vol: 22, pages: 347–362, 2018
DOI: 10.1109/TEVC.2017.2691060
IEEE
Journal Papers

Run-Time Detection of Protocol Bugs in Storage I/O Device Drivers

Domenico Cotroneo , Luigi De Simone , Roberto Natella
IEEE Transactions on Reliability (TR), vol: 67, pages: 847–869, 2018
DOI: 10.1109/TR.2018.2841203
IEEE
Journal Papers

2017

GAMESH: A grid architecture for scalable monitoring and enhanced dependable job scheduling

Paolo Bellavista , Marcello Cinque , Antonio Corradi , Luca Foschini , Flavio Frattini
Future Generation Computer Systems (FGCS), vol: 71, pages: 192–201, 2017
DOI: 10.1016/j.future.2016.10.023
Elsevier
Journal Papers

Optimized task allocation on private cloud for hybrid simulation of large-scale critical systems

Massimo Ficco , Beniamino Di Martino , Roberto Pietrantuono , Stefano Russo
Future Generation Computer Systems (FGCS), vol: 74, pages: 104–118, 2017
DOI: 10.1016/j.future.2016.01.022
Elsevier
Journal Papers

On the injection of hardware faults in virtualized multicore systems

Marcello Cinque , Antonio Pecchia
J. Parallel Distributed Comput., vol: 106, pages: 50–61, 2017
DOI: 10.1016/j.jpdc.2017.03.004
Elsevier
Journal Papers

A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks

Alessandro Testa , Marcello Cinque , Antonio Coronato , Juan Carlos Augusto
Sensors, vol: 17, pages: 19, 2017
DOI: 10.3390/s17010019
mdpi.com
Journal Papers

Debugging-workflow-aware software reliability growth analysis

Cinque Marcello, Cotroneo Domenico, Pecchia Antonio, Pietrantuono Roberto, Russo Stefano
Software Testing, Verification and Reliability, vol: 27, pages: e1638, 2017
Wiley Online Library
Journal Papers

NFV-Throttle: An Overload Control Framework for Network Function Virtualization

Domenico Cotroneo , Roberto Natella , Stefano Rosiello
IEEE Transactions on Network and Service Management (TNSM), vol: 14, pages: 949–963, 2017
DOI: 10.1109/TNSM.2017.2752173
IEEE
Journal Papers

NFV-Bench: A Dependability Benchmark for Network Function Virtualization Systems

Domenico Cotroneo , Luigi De Simone , Roberto Natella
IEEE Transactions on Network and Service Management (TNSM), vol: 14, pages: 934–948, 2017
DOI: 10.1109/TNSM.2017.2733042
IEEE
Journal Papers

2016

Assessing Dependability with Software Fault Injection: A Survey

Roberto Natella , Domenico Cotroneo , Henrique Madeira
ACM Computing Surveys, vol: 48, pages: 44:1–44:55, 2016
DOI: 10.1145/2841425
dl.acm.org
Journal Papers

Automated root cause identification of security alerts: Evaluation in a SaaS Cloud

Domenico Cotroneo , Andrea Paudice , Antonio Pecchia
Future Generation Computer Systems (FGCS), vol: 56, pages: 375–387, 2016
DOI: 10.1016/j.future.2015.09.009
Elsevier
Journal Papers

How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation

Domenico Cotroneo , Roberto Pietrantuono , Stefano Russo , Kishor S. Trivedi
Journal of Systems and Software (JSS), vol: 113, pages: 27–43, 2016
DOI: 10.1016/j.jss.2015.11.021
Elsevier
Journal Papers

Using multi-objective metaheuristics for the optimal selection of positioning systems

Massimo Ficco , Roberto Pietrantuono , Stefano Russo
Soft Computing, vol: 20, pages: 2641–2664, 2016
DOI: 10.1007/s00500-015-1665-x
Springer
Journal Papers

To Cloudify or Not to Cloudify: The Question for a Scientific Data Center

Marcello Cinque , Domenico Cotroneo , Flavio Frattini , Stefano Russo
IEEE Transactions on Cloud Computing (TCC), vol: 4, pages: 90–103, 2016
DOI: 10.1109/TCC.2015.2396061
IEEE
Journal Papers

Characterizing Direct Monitoring Techniques in Software Systems

Marcello Cinque , Domenico Cotroneo , Raffaele Della Corte , Antonio Pecchia
IEEE Transactions on Reliability (TR), vol: 65, pages: 1665–1681, 2016
DOI: 10.1109/TR.2016.2570564
IEEE
Journal Papers

Recovery From Software Failures Caused by Mandelbugs

Michael Grottke , Dong Seong Kim , Rajesh K. Mansharamani , Manoj Nambiar , Roberto Natella , Kishor S. Trivedi
IEEE Transactions on Reliability (TR), vol: 65, pages: 70–87, 2016
DOI: 10.1109/TR.2015.2452933
IEEE
Journal Papers

RELAI Testing: A Technique to Assess and Improve Software Reliability

Domenico Cotroneo , Roberto Pietrantuono , Stefano Russo
IEEE Transactions on Software Engineering (TSE), vol: 42, pages: 452–475, 2016
DOI: 10.1109/TSE.2015.2491931
IEEE
Journal Papers

2015

Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach

Alessandro Testa , Marcello Cinque , Antonio Coronato , Giuseppe De Pietro , Juan Carlos Augusto
J. Heuristics, vol: 21, pages: 145–175, 2015
DOI: 10.1007/s10732-014-9258-x
Springer
Journal Papers

Defect analysis in mission-critical software systems: a detailed investigation

Gabriella Carrozza , Roberto Pietrantuono , Stefano Russo
J. Softw. Evol. Process., vol: 27, pages: 22–49, 2015
DOI: 10.1002/smr.1699
John Wiley & Sons
Journal Papers

2014

An OS-level framework for anomaly detection in complex software systems

Bovenzi Antonio, Brancati Francesco, Russo Stefano, Bondavalli Andrea
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 12, pages: 366–372, 2014
DOI: 10.1109/TDSC.2014.2334305
IEEE
Journal Papers

Dynamic test planning: a study in an industrial context

Carrozza Gabriella, Pietrantuono Roberto, Russo Stefano
International Journal on Software Tools for Technology Transfer, vol: 16, pages: 593–607, 2014
DOI: 10.1007/s10009-014-0319-0
Springer
Journal Papers

Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach

Testa Alessandro, Cinque Marcello, Coronato Antonio, De Pietro Giuseppe, Augusto JuanCarlos
Journal of Heuristics, pages: 1-31, 2014
DOI: 10.1007/s10732-014-9258-x
Springer US
Journal Papers

A survey of software aging and rejuvenation studies

Domenico Cotroneo , Roberto Natella , Roberto Pietrantuono , Stefano Russo
ACM J. Emerg. Technol. Comput. Syst., vol: 10, pages: 8:1–8:34, 2014
DOI: 10.1145/2539117
Journal Papers

2013

A Failure Modes and Effects Analysis of Mobile Health Monitoring Systems

Cinque Marcello, Coronato Antonio, Testa Alessandro
, pages: 569–582, 2013
DOI: 10.1007/978-1-4614-3535-8_48
Springer New York
Journal Papers

Engineering air traffic control systems with a model-driven approach

Carrozza Gabriella, Faella Mauro, Fucci Francesco, Pietrantuono Roberto, Russo Stefano
Software, IEEE, vol: 30, pages: 42–48, 2013
DOI: 10.1109/MS.2013.20
IEEE
Journal Papers

Event logs for the analysis of software failures: A rule-based approach

Cinque Marcello, Cotroneo Domenico, Pecchia Antonio
Software Engineering, IEEE Transactions on, vol: 39, pages: 806–821, 2013
DOI: 10.1109/TSE.2012.67
IEEE
Journal Papers

Context data distribution with quality guarantees for Android-based mobile systems

Corradi Antonio, Fanelli Mario, Foschini Luca, Cinque Marcello
Security and Communication Networks, vol: 6, pages: 450–460, 2013
DOI: 10.1002/sec.633
Wiley Online Library
Journal Papers

Combining operational and debug testing for improving reliability

Cotroneo Domenico, Pietrantuono Roberto, Russo Stefano
Reliability, IEEE Transactions on, vol: 62, pages: 408–423, 2013
DOI: 10.1109/TR.2013.2257051
IEEE
Journal Papers

Fault injection for software certification

Cotroneo Domenico, Natella Roberto
Security & Privacy, IEEE, vol: 11, pages: 38–45, 2013
DOI: 10.1109/MSP.2013.54
IEEE
Journal Papers

A measurement-based ageing analysis of the JVM

Cotroneo Domenico, Orlando Salvatore, Pietrantuono Roberto, Russo Stefano
Software Testing, Verification and Reliability, vol: 23, pages: 199–239, 2013
DOI: 10.1002/stvr.467
Wiley Online Library
Journal Papers

2012

A recovery-oriented approach for software fault diagnosis in complex critical systems

Carrozza Gabriella, Natella Roberto
Innovations and Approaches for Resilient and Adaptive Systems, pages: 29, 2012
DOI: 10.4018/jaras.2011010105
IGI Global
Journal Papers

Adaptive Modeling of Routing Algorithms for Wireless Sensor Networks

Cinque Marcello, Di Martino Catello
Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts: Advancing Models and Concepts, pages: 73, 2012
DOI: 10.4018/jaras.2010071702
IGI Global
Journal Papers

Dependable services for mobile health monitoring systems

Cinque Marcello, Coronato Antonio, Testa Alessandro
International Journal of Ambient Computing and Intelligence (IJACI), vol: 4, pages: 1–15, 2012
DOI: 10.5018/jaci.2012010101
IGI Global
Journal Papers

Automated generation of performance and dependability models for the assessment of wireless sensor networks

Di Martino Catello, Cinque Marcello, Cotroneo Domenico
Computers, IEEE Transactions on, vol: 61, pages: 870–884, 2012
DOI: 10.1109/TC.2011.96
IEEE
Journal Papers

2011

Bug localization in test-driven development

Ficco Massimo, Pietrantuono Roberto, Russo Stefano
Advances in Software Engineering, vol: 2011, pages: 2, 2011
DOI: 10.1155/2011/492757
Hindawi Publishing Corp.
Journal Papers

2010

Enabling effective dependability evaluation of complex systems via a rule-based logging framework

Cinque Marcello, Cotroneo Domenico, Pecchia Antonio
International Journal on Advances in Software, vol: 2, pages: 323–336, 2010
IARA
Journal Papers

A Method to Support Fault Tolerance Design in Service Oriented Computing Systems

Cotroneo Domenico, Pecchia Antonio, Pietrantuono Roberto, Russo Stefano
International Journal of Systems and Service-Oriented Engineering (IJSSOE), vol: 1, pages: 75–89, 2010
DOI: 10.4018/jssoe.2010070105
IGI Global
Journal Papers

Architectural Evolution of Monitor and Control Systems-Issues and Challenges.

Esposito Christian, Cotroneo Domenico, Gokhale Aniruddha S, Schmidt Douglas C
Network Protocols and Algorithms, vol: 2, pages: 1–17, 2010
DOI: 10.5296/npa.v2i3.483
Macrothink Institute
Journal Papers

Data distribution for mission critical software systems

Esposito C, Cotroneo D, Russo S
Radio-electronic and computer systems technical and scientific magazine, vol: 44, pages: 44–49, 2010
National Aerospace University KhAI
Journal Papers

2009

A hybrid positioning system for technology-independent location-aware computing

Ficco Massimo, Russo Stefano
Software: Practice and Experience, vol: 39, pages: 1095–1125, 2009
DOI: 10.1002/spe.919
Wiley Online Library
Journal Papers

2007

Design and implementation of a high performance architecture for providing digital time stamping services to mobile devices

Cilardo Alessandro, Cotroneo Domenico, di Flora Cristiano, Mazzeo Antonino, Romano Luigi, Russo Stefano
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol: 22, pages: 103, 2007
Citeseer
Journal Papers

2005

Achieving all the time, everywhere access in next-generation mobile networks

Cinque Marcello, Cotroneo Domenico, Russo Stefano
ACM SIGMOBILE Mobile Computing and Communications Review, vol: 9, pages: 29–39, 2005
DOI: 10.1145/1072989.1072994
ACM
Journal Papers

2004

Effective fault treatment for improving the dependability of COTS and legacy-based applications

Bondavalli Andrea, Chiaradonna Silvano, Cotroneo Domenico, Romano Luigi
Dependable and Secure Computing, IEEE Transactions on, vol: 1, pages: 223–237, 2004
DOI: 10.1109/TDSC.2004.40
IEEE
Journal Papers

2003

An architecture for security-oriented perfective maintenance of legacy software

Cotroneo Domenico, Mazzeo Antonino, Romano Luigi, Russo Stefano
Information and Software Technology, vol: 45, pages: 619–631, 2003
DOI: 10.1016/S0950-5849(03)00049-1
Elsevier
Journal Papers

A real time-based architecture for qos multimedia provisioning

Cotroneo Domenico, Iannello Giulio, Russo Stefano, Ventre Giorgio
Microprocessors and Microsystems, vol: 27, pages: 55–63, 2003
DOI: 10.1016/S0141-9331(02)00097-2
Elsevier
Journal Papers

2002

Building a dependable system from a legacy application with CORBA

Cotroneo Domenico, Mazzocca Nicola, Romano Luigi, Russo Stefano
Journal of Systems Architecture, vol: 48, pages: 81–98, 2002
DOI: 10.1016/S1383-7621(02)00093-0
Elsevier
Journal Papers

An enhanced service oriented architecture for developing web-based applications

Cotroneo Domenico, Di Flora Cristiano, Russo Stefano
Journal of Web Engineering, vol: 1, pages: 128–146, 2002
Rinton Press, Incorporated
Journal Papers

A fault tolerant access to legacy database systems using CORBA technology

Cotroneo Domenico, Mazzocca Nicola, Romano Luigi, Russo Stefano
Comput. Syst. Sci. Eng., vol: 17, pages: 335–342, 2002
Citeseer
Journal Papers

2001

Effective metadata models for web-based educational systems

Graziano Almerindo, Russo Stefano
European journal of engineering education, vol: 26, pages: 127–137, 2001
DOI: 10.1080/03043790110034393
Taylor & Francis
Journal Papers

1998

Formal specification of concurrent systems: a structured approach

Mazzeo Antonino, Mazzocca Nicola, Russo Stefano, Savy Carlo, Vittorini Valeria
The Computer Journal, vol: 41, pages: 145–162, 1998
DOI: 10.1093/comjnl/41.3.145
Br Computer Soc
Journal Papers

1997

Formal methods integration for the specification of dependable distributed systems

Mazzocca Nicola, Russo Stefano, Vittorini Valeria
Journal of systems architecture, vol: 43, pages: 671–685, 1997
DOI: 10.1016/S1383-7621(97)00028-3
Elsevier
Journal Papers

2024

Vulnerabilities in ai code generators: Exploring targeted data poisoning attacks

Cotroneo Domenico, Improta Cristina, Liguori Pietro, Natella Roberto
Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension
DOI: 10.1145/3643916.3644416
Conference Papers

DDoShield-IoT: A Testbed for Simulating and Lightweight Detection of IoT Botnet DDoS Attacks

De Vivo Simona, Obaidat Islam, Dai Dong, Liguori Pietro
2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
DOI: 10.1109/DSN-W60302.2024.00014
Conference Papers

The Omnivisor: A Real-Time Static Partitioning Hypervisor Extension for Heterogeneous Core Virtualization over MPSoCs

Ottaviano Daniele, Ciraolo Francesco, Mancuso Renato, Cinque Marcello
36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
DOI: 10.4230/LIPIcs.ECRTS.2024.7
Conference Papers

Lightweight and Predictable Memory Virtualization on Medium-Size Microcontrollers

Mercogliano Stefano, Ottaviano Daniele, Cilardo Alessandro, Cinque Marcello
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
DOI: 10.23919/DATE58400.2024.10546637
Conference Papers

Failover Timing Analysis in Orchestrating Container-based Critical Applications

Barletta Marco, De Simone Luigi, Della Corte Raffaele, Di Martino Catello
2024 19th European Dependable Computing Conference (EDCC)
DOI: 10.1109/EDCC61798.2024.00026
Conference Papers

2023

Simulation Environment for the Evaluation of Lightweight Intrusion Detection Systems

De Vivo Simona, Liguori Pietro
2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)
DOI: 10.1109/ISSREW60843.2023.00061
Conference Papers

Poisoning Programs by Un-Repairing Code: Security Concerns of AI-generated Code

Improta Cristina
2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)
DOI: 10.1109/ISSREW60843.2023.00060
Conference Papers

An Empirical Evaluation of the Energy and Performance Overhead of Monitoring Tools on Docker-Based Systems

Dinga Madalina , Malavolta Ivano , Giamattei Lucaa , Guerriero Antonio , Pietrantuono Roberto
21st International Conference on Service-Oriented Computing
Conference Papers

EMER-GO: real-time grip enhanced speed advisory for emergency intelligent transportation systems

Vincenzo Maria Arricale , Michele Caggiano , Marcello Cinque , Angelo Coppola , Flavio Farroni , Mario Fiorentino , Andrea Garofalo , Andrea Marchetta , Antimo Perfetto , Aleksandr Sakhnevych
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
DOI: 10.1109/DSN-W58399.2023.00028
Conference Papers

Partitioned Containers: Towards Safe Clouds for Industrial Applications

Marco Barletta , Marcello Cinque , Luigi De Simone , Raffaele Della Corte , Giorgio Farina , Daniele Ottaviano
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
DOI: 10.1109/DSN-S58398.2023.00029
Conference Papers

IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing

Carmine Cesarano , Marcello Cinque , Domenico Cotroneo , Luigi De Simone , Giorgio Farina
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023
DOI: 10.1109/DSN58367.2023.00045
Conference Papers

An Evolutionary Strategy for Automatic Hypotheses Generation inspired by Abductive Reasoning

Roberto Pietrantuono
Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023
DOI: 10.1145/3583133.3590568
Conference Papers

Reasoning-Based Software Testing

Luca Giamattei , Roberto Pietrantuono , Stefano Russo
45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE, Melbourne, Australia, May 14-20, 2023
DOI: 10.1109/ICSE-NIER58687.2023.00018
Conference Papers

Iterative Assessment and Improvement of DNN Operational Accuracy

Antonio Guerriero , Roberto Pietrantuono , Stefano Russo
45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE, Melbourne, Australia, May 14-20, 2023
DOI: 10.1109/ICSE-NIER58687.2023.00014
Conference Papers

Software Aging in a Real-Time Object Detection System on an Edge Server

Kengo Watanabe , Fumio Machida , Ermeson Carneiro de Andrade , Roberto Pietrantuono , Domenico Cotroneo
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023
DOI: 10.1145/3555776.3577717
Conference Papers

2022

Microservices Integrated Performance and Reliability Testing

Matteo Camilli , Antonio Guerriero , Andrea Janes , Barbara Russo , Stefano Russo
IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022
DOI: 10.1145/3524481.3527233
Conference Papers

Concepts and challenges in the design of a tokamak plasma control system. ITER PCS for First Plasma and beyond

Luca Zabeo , Peter C. De Vries , J. A. Snipes , T. Ravensbergen , Y. Gribov , G. Raupp , W. Treutterer , Alfredo Pironti , Gianmaria De Tommasi , Marcello Cinque , M. Mattei , David A. Humphreys , M. Walker , Fernanda Rimini , Philippe Moreau
IEEE Conference on Control Technology and Applications, CCTA 2022, Trieste, Italy, August 23-25, 2022
DOI: 10.1109/CCTA49430.2022.9966007
Conference Papers

Performability Assessment of Containerized Multi-Tenant IMS through Multidimensional UGF

Luigi De Simone , Mario Di Mauro , Maurizio Longo , Roberto Natella , Fabio Postiglione
18th International Conference on Network and Service Management, CNSM 2022, Thessaloniki, Greece, October 31 - Nov. 4, 2022
DOI: 10.23919/CNSM55787.2022.9964678
Conference Papers

Introducing k4.0s: a Model for Mixed-Criticality Container Orchestration in Industry 4.0

Marco Barletta , Marcello Cinque , Luigi De Simone , Raffaele Della Corte
IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
DOI: 10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927896
Conference Papers

On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems

Domenico Cotroneo , Luigi De Simone , Roberto Natella
IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
DOI: 10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927796
Conference Papers

Federated and Generative Data Sharing for Data-Driven Security: Challenges and Approach

Roberto Natella , Andrea Ceccarelli , Massimo Ficco
IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
DOI: 10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927754
Conference Papers

Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain

Marcello Cinque , Luigi De Simone , Andrea Marchetta
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN Workshops 2022, Baltimore, MD, USA, June 27-30, 2022
DOI: 10.1109/DSN-W54100.2022.00012
Conference Papers

Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers

Marco Barletta , Marcello Cinque , Luigi De Simone , Raffaele Della Corte
34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy
DOI: 10.4230/LIPIcs.ECRTS.2022.15
Conference Papers

RPUGuard: Real-Time Processing Unit Virtualization for Mixed-Criticality Applications

Marcello Cinque , Gianmaria De Tommasi , Sara Dubbioso , Daniele Ottaviano
18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, 2022
DOI: 10.1109/EDCC57035.2022.00025
Conference Papers

Assessing Intel's Memory Bandwidth Allocation for resource limitation in real-time systems

Giorgio Farina , Gautam Gala , Marcello Cinque , Gerhard Fohler
25th IEEE International Symposium On Real-Time Distributed Computing, ISORC 2022, Västerås, Sweden, May 17-18, 2022
DOI: 10.1109/ISORC52572.2022.9812757
Conference Papers

RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0

Marco Barletta , Marcello Cinque , Luigi De Simone , Raffaele Della Corte , Giorgio Farina , Daniele Ottaviano
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSREW55968.2022.00058
Conference Papers

Towards Assessing Isolation Properties in Partitioning Hypervisors

Carmine Cesarano , Domenico Cotroneo , Luigi De Simone
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSREW55968.2022.00067
Conference Papers

SlowCoach: Mutating Code to Simulate Performance Bugs

Yiqun Chen , Oliver Schwahn , Roberto Natella , Matthew Bradbury , Neeraj Suri
IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSRE55969.2022.00035
Conference Papers

An unsupervised approach to discover filtering rules from diagnostic logs

Marcello Cinque , Raffaele Della Corte , Giorgio Farina , Stefano Rosiello
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSREW55968.2022.00030
Conference Papers

Message from the RSDA 2022 Workshop Chairs

Raffaele Della Corte , Marta Catillo , João F. Ferreira , Guanpeng Li
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSREW55968.2022.00018
Conference Papers

Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study: (Practical Experience Report)

Vittorio Orbinato , Mariarosaria Barbaraci , Roberto Natella , Domenico Cotroneo
IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSRE55969.2022.00027
Conference Papers

Message from the WoSoCer 2022 Chairs

Luigi De Simone , Nuno Laranjeiro
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
DOI: 10.1109/ISSREW55968.2022.00015
Conference Papers

Can NMT Understand Me? Towards Perturbation-based Evaluation of NMT Models for Code Generation

Pietro Liguori , Cristina Improta , Simona De Vivo , Roberto Natella , Bojan Cukic , Domenico Cotroneo
2022 IEEE/ACM 1st International Workshop on Natural Language-Based Software Engineering (NLBSE 2022), Co-located with ICSE 2022, Pittsburgh, PA, USA, May 8, 2022
DOI: 10.1145/3528588.3528653
Conference Papers

Automated Grey-Box Testing of Microservice Architectures

Luca Giamattei , Antonio Guerriero , Roberto Pietrantuono , Stefano Russo
22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
DOI: 10.1109/QRS57517.2022.00070
Conference Papers

An Empirical Study on Software Aging of Long-Running Object Detection Algorithms

Roberto Pietrantuono , Domenico Cotroneo , Ermeson C. Andrade , Fumio Machida
22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
DOI: 10.1109/QRS57517.2022.00112
Conference Papers

Assessing Black-box Test Case Generation Techniques for Microservices

Luca Giamattei , Antonio Guerriero , Roberto Pietrantuono , Stefano Russo
Quality of Information and Communications Technology - 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings
DOI: 10.1007/978-3-031-14179-9_4
Conference Papers

2021

Shellcode_IA32: A Dataset for Automatic Shellcode Generation

Liguori Pietro, Al-Hossami Erfan, Cotroneo Domenico, Natella Roberto, Cukic Bojan, Shaikh Samira
Proceedings of the 1st Workshop on Natural Language Processing for Programming (NLP4Prog 2021)
DOI: 10.18653/v1/2021.nlp4prog-1.7
Conference Papers

Automated Hypotheses Generation via Combinatorial Causal Optimization

Roberto Pietrantuono
IEEE Congress on Evolutionary Computation, CEC 2021, Kraków, Poland, June 28 - July 1, 2021
DOI: 10.1109/CEC45853.2021.9504816
Conference Papers

Preventing timing failures in mixed-criticality clouds with dynamic real-time containers

Marcello Cinque , Raffaele Della Corte , Roberto Ruggiero
17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
DOI: 10.1109/EDCC53658.2021.00010
Conference Papers

Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions

Antonio Guerriero , Roberto Pietrantuono , Stefano Russo
43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021
DOI: 10.1109/ICSE43902.2021.00042
Conference Papers

Memory Degradation Analysis in Private and Public Cloud Environments

Ermeson Carneiro de Andrade , Fumio Machida , Roberto Pietrantuono , Domenico Cotroneo
IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021
DOI: 10.1109/ISSREW53611.2021.00041
Conference Papers

Hierarchical Scheduling for Real-Time Containers in Mixed-Criticality Systems

Marco Barletta , Marcello Cinque , Raffaele Della Corte
IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021
DOI: 10.1109/ISSREW53611.2021.00082
Conference Papers

EVIL: Exploiting Software via Natural Language

Pietro Liguori , Erfan Al-Hossami , Vittorio Orbinato , Roberto Natella , Samira Shaikh , Domenico Cotroneo , Bojan Cukic
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021
DOI: 10.1109/ISSRE52982.2021.00042
Conference Papers

ProFuzzBench: a benchmark for stateful protocol fuzzing

Roberto Natella
ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021
DOI: 10.1145/3460319.3469077
Conference Papers

Virtualizing Real-Time Processing Units in Multi-Processor Systems-on-Chip

Marcello Cinque , Gianmaria De Tommasi , Sara Dubbioso , Daniele Ottaviano
6th IEEE International Forum on Research and Technology for Society and Industry, RTSI 2021, Naples, Italy, September 6-9, 2021
DOI: 10.1109/RTSI50628.2021.9597281
Conference Papers

Microservices Monitoring with Event Logs and Black Box Execution Tracing

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
IEEE World Congress on Services, SERVICES 2021, Chicago, IL, USA, September 5-10, 2021
DOI: 10.1109/SERVICES51467.2021.00023
Conference Papers

2020

Reliability Evaluation of ML systems, the oracle problem

Antonio Guerriero
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
DOI: 10.1109/ISSREW51248.2020.00050
Conference Papers

ProFIPy: Programmable Software Fault Injection as-a-Service

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella
50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020
DOI: 10.1109/DSN48063.2020.00052
Conference Papers

Learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration

Antonia Bertolino , Antonio Guerriero , Breno Miranda , Roberto Pietrantuono , Stefano Russo
ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
DOI: 10.1145/3377811.3380369
Conference Papers

Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella , Angela Scibelli
Service-Oriented Computing - ICSOC 2020 Workshops - AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings
DOI: 10.1007/978-3-030-76352-7_19
Conference Papers

SAR Handbook Chapter: Measurements-based aging analysis

Javier Alonso , Kalyan Vaidyanathan , Roberto Pietrantuono
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
DOI: 10.1109/ISSREW51248.2020.00093
Conference Papers

Software Aging in Image Classification Systems on Cloud and Edge

Ermeson C. Andrade , Fumio Machida , Roberto Pietrantuono , Domenico Cotroneo
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
DOI: 10.1109/ISSREW51248.2020.00099
Conference Papers

Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract

Alberto Avritzer , Domenico Cotroneo , Yennun Huang , Kishor S. Trivedi
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
DOI: 10.1109/ISSREW51248.2020.00091
Conference Papers

Dependability Evaluation of Middleware Technology for Large-scale Distributed Caching

Domenico Cotroneo , Roberto Natella , Stefano Rosiello
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
DOI: 10.1109/ISSRE5003.2020.00029
Conference Papers

SAR Handbook Chapter: Experimental Tools for Software Aging Analysis

Roberto Natella , Artur Andrzejak
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
DOI: 10.1109/ISSREW51248.2020.00096
Conference Papers

2019

Towards Cognitive Security Defense from Data

Marcello Cinque , Domenico Cotroneo , Antonio Pecchia
49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24-27, 2019, Supplemental Volume
DOI: 10.1109/DSN-S.2019.00011
Conference Papers

RT-CASEs: Container-Based Virtualization for Temporally Separated Mixed-Criticality Task Sets

Marcello Cinque , Raffaele Della Corte , Antonio Eliso , Antonio Pecchia
31st Euromicro Conference on Real-Time Systems, ECRTS 2019, July 9-12, 2019, Stuttgart, Germany
DOI: 10.4230/LIPIcs.ECRTS.2019.5
Conference Papers

Discovering Hidden Errors from Application Log Traces with Process Mining

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
DOI: 10.1109/EDCC.2019.00034
Conference Papers

FailViz: A Tool for Visualizing Fault Injection Experiments in Distributed Systems

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella , Nematollah Bidokhti
15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
DOI: 10.1109/EDCC.2019.00036
Conference Papers

Towards continuous software reliability testing in DevOps

Roberto Pietrantuono , Antonia Bertolino , Guglielmo De Angelis , Breno Miranda , Stefano Russo
Proceedings of the 14th International Workshop on Automation of Software Test, AST@ICSE 2019, May 27, 2019, Montreal, QC, Canada
DOI: 10.1109/AST.2019.00009
Conference Papers

Accurate and Lightweight Range-Free Localization for Wireless Sensor Networks

Flavio Frattini , Marcello Cinque , Christian Esposito
Pervasive Systems, Algorithms and Networks - 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings
DOI: 10.1007/978-3-030-30143-9_20
Conference Papers

Advancing Monitoring in Microservices Systems

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
DOI: 10.1109/ISSREW.2019.00060
Conference Papers

Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform

Domenico Cotroneo , Luigi De Simone , Antonio Ken Iannillo , Roberto Natella , Stefano Rosiello , Nematollah Bidokhti
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
DOI: 10.1109/ISSRE.2019.00041
Conference Papers

Enhancing Failure Propagation Analysis in Cloud Computing Systems

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella , Nematollah Bidokhti
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
DOI: 10.1109/ISSRE.2019.00023
Conference Papers

A Configurable Software Aging Detection and Rejuvenation Agent for Android

Domenico Cotroneo , Luigi De Simone , Roberto Natella , Roberto Pietrantuono , Stefano Russo
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
DOI: 10.1109/ISSREW.2019.00078
Conference Papers

A Hybrid Framework for Web Services Reliability and Performance Assessment

Antonio Guerriero , Raffaela Mirandola , Roberto Pietrantuono , Stefano Russo
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
DOI: 10.1109/ISSREW.2019.00070
Conference Papers

Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization

Luigi De Simone , Giovanni Mazzeo
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
DOI: 10.1109/ISSREW.2019.00089
Conference Papers

How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform

Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella , Nematollah Bidokhti
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019
DOI: 10.1145/3338906.3338916
Conference Papers

Privacy Preserving Intrusion Detection Via Homomorphic Encryption

Luigi Sgaglione , Luigi Coppolino , Salvatore D'Antonio , Giovanni Mazzeo , Luigi Romano , Domenico Cotroneo , Andrea Scognamiglio
28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019
DOI: 10.1109/WETICE.2019.00073
Conference Papers

2018

Towards Lightweight Temporal and Fault Isolation in Mixed-Criticality Systems with Real-Time Containers

Marcello Cinque , Domenico Cotroneo
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2018, Luxembourg, June 25-28, 2018
DOI: 10.1109/DSN-W.2018.00029
Conference Papers

In Production Performance Testing of SDN Control Plane for Telecom Operators

Catello Di Martino , Ugo Giordano , Nishok Mohanasamy , Stefano Russo , Marina Thottan
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018
DOI: 10.1109/DSN.2018.00071
Conference Papers

An Exploratory Study on Zeroconf Monitoring of Microservices Systems

Marcello Cinque , Raffaele Della Corte , Raffaele Iorio , Antonio Pecchia
14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
DOI: 10.1109/EDCC.2018.00028
Conference Papers

How to Assess the Dependability of Applications on Top of the Blockchain: Novel Research Challenges

Marcello Cinque , Christian Esposito
14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
DOI: 10.1109/EDCC.2018.00037
Conference Papers

Contextual Anomaly Detection for a Critical Industrial System Based on Logs and Metrics

Mostafa Farshchi , Ingo Weber , Raffaele Della Corte , Antonio Pecchia , Marcello Cinque , Jean-Guy Schneider , John C. Grundy
14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
DOI: 10.1109/EDCC.2018.00033
Conference Papers

Search-based optimization for the testing resource allocation problem: research trends and opportunities

Roberto Pietrantuono , Stefano Russo
Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018
DOI: 10.1145/3194718.3194721
Conference Papers

Challenges and Directions in Security Information and Event Management (SIEM)

Marcello Cinque , Domenico Cotroneo , Antonio Pecchia
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
DOI: 10.1109/ISSREW.2018.00-24
Conference Papers

Enhancing the Analysis of Error Propagation and Failure Modes in Cloud Systems

Domenico Cotroneo , Luigi De Simone , Alfonso Di Martino , Pietro Liguori , Roberto Natella
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
DOI: 10.1109/ISSREW.2018.00-13
Conference Papers

Dependability Certification Guidelines for NFVIs through Fault Injection

Domenico Cotroneo , Luigi De Simone , Roberto Natella
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
DOI: 10.1109/ISSREW.2018.00025
Conference Papers

Software Aging and Rejuvenation in the Cloud: A Literature Review

Roberto Pietrantuono , Stefano Russo
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
DOI: 10.1109/ISSREW.2018.00016
Conference Papers

Robotics Software Engineering and Certification: Issues and Challenges

Roberto Pietrantuono , Stefano Russo
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
DOI: 10.1109/ISSREW.2018.00023
Conference Papers

Run-Time Reliability Estimation of Microservice Architectures

Roberto Pietrantuono , Stefano Russo , Antonio Guerriero
29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Memphis, TN, USA, October 15-18, 2018
DOI: 10.1109/ISSRE.2018.00014
Conference Papers

Trust Management in Fog/Edge Computing by Means of Blockchain Technologies

Marcello Cinque , Christian Esposito , Stefano Russo
IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July 30 - August 3, 2018
DOI: 10.1109/Cybermatics_2018.2018.00244
Conference Papers

Probabilistic Sampling-Based Testing for Accelerated Reliability Assessment

Roberto Pietrantuono , Stefano Russo
2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018
DOI: 10.1109/QRS.2018.00017
Conference Papers

Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other

Antonia Bertolino , Breno Miranda , Roberto Pietrantuono , Stefano Russo
Web Information Systems and Technologies - 14th International Conference, WEBIST 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers
DOI: 10.1007/978-3-030-35330-8_2
Conference Papers

2017

Entropy-Based Security Analytics: Measurements from a Critical Information System

Marcello Cinque , Raffaele Della Corte , Antonio Pecchia
47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017
DOI: 10.1109/DSN.2017.39
Conference Papers

Advancing Fault Injection and Dependability Evaluation in the Software-Driven Telecom Industry

Roberto Natella
13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017
DOI: 10.1109/EDCC.2017.18
Conference Papers

Adaptive coverage and operational profile-based testing for reliability improvement

Antonia Bertolino , Breno Miranda , Roberto Pietrantuono , Stefano Russo
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017
DOI: 10.1109/ICSE.2017.56
Conference Papers

A Fault Correlation Approach to Detect Performance Anomalies in Virtual Network Function Chains

Domenico Cotroneo , Roberto Natella , Stefano Rosiello
28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
DOI: 10.1109/ISSRE.2017.12
Conference Papers

Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations

Antonio Ken Iannillo , Roberto Natella , Domenico Cotroneo
28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
DOI: 10.1109/ISSRE.2017.16
Conference Papers

Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems

Marcello Cinque , Gianmaria De Tommasi
2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017
DOI: 10.1109/RTSS.2017.00046
Conference Papers

Secure crisis information sharing through an interoperability framework among first responders: The SECTOR practical experience

Marcello Cinque , Domenico Cotroneo , Christian Esposito , Mario Fiorentino
13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2017, Rome, Italy, October 9-11, 2017
DOI: 10.1109/WiMOB.2017.8115835
Conference Papers

2016

Error Monitoring for Legacy Mission-Critical Systems

Marcello Cinque , Raffaele Della Corte , Stefano Russo
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2016, Toulouse, France, June 28 - July 1, 2016
DOI: 10.1109/DSN-W.2016.41
Conference Papers

Measuring Resiliency through Field Data: Techniques, Tools and Challenges

Antonio Pecchia , Marcello Cinque , Veena B. Mendiratta
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2016, Toulouse, France, June 28 - July 1, 2016
DOI: 10.1109/DSN-W.2016.52
Conference Papers

Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System

Domenico Cotroneo , Domenico Di Leo , Roberto Natella , Roberto Pietrantuono
12th European Dependable Computing Conference, EDCC 2016, Gothenburg, Sweden, September 5-9, 2016
DOI: 10.1109/EDCC.2016.22
Conference Papers

An Effort Allocation Method to Optimal Code Sanitization for Quality-Aware Energy Efficiency Improvement

Roberto Pietrantuono , Gabriella Carrozza , Stefano Russo , Marco Bessi
Proceedings of the 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, MeGSuS 2016, co-located with 10th International Symposium on Empirical Software Engineering and Measurement (ESEM 2016), Ciudad Real, Spain, September 7, 2016
Conference Papers

Finding a way in the Model Driven jungle: Invited Keynote Talk

Stefano Russo
Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016
DOI: 10.1145/2856636.2876472
Conference Papers

Software Aging Analysis of the Android Mobile OS

Domenico Cotroneo , Francesco Fucci , Antonio Ken Iannillo , Roberto Natella , Roberto Pietrantuono
27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
DOI: 10.1109/ISSRE.2016.25
Conference Papers

On Adaptive Sampling-Based Testing for Software Reliability Assessment

Roberto Pietrantuono , Stefano Russo
27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
DOI: 10.1109/ISSRE.2016.50
Conference Papers

Model-Based Software Engineering and Certification: Some Open Issues

Stefano Russo , Fabio Scippacercola
2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016
DOI: 10.1109/ISSREW.2016.24
Conference Papers

Scalable monitoring and dependable job scheduling support for multi-domain grid infrastructures

Marcello Cinque , Antonio Corradi , Luca Foschini , Flavio Frattini
Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016
DOI: 10.1145/2851613.2851762
Conference Papers

Automatic Invariant Selection for Online Anomaly Detection

Leonardo Aniello , Claudio Ciccotelli , Marcello Cinque , Flavio Frattini , Leonardo Querzoni , Stefano Russo
Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
DOI: 10.1007/978-3-319-45477-1_14
Conference Papers

No PAIN, no gain? the utility of parallel fault injections

Stefan Winter , Oliver Schwahn , Roberto Natella , Neeraj Suri , Domenico Cotroneo
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich
Conference Papers

2015

Sampling UAV Most Informative Diagnostic Signals

Roberto Pietrantuono , Massimo Ficco , Stefano Russo , Gabriella Gigante
10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015, Krakow, Poland, November 4-6, 2015
DOI: 10.1109/3PGCIC.2015.61
Conference Papers

A Reliable Crisis Information System to Share Data after the Event of a Large-Scale Disaster

Marcello Cinque , Domenico Cotroneo , Christian Esposito , Mario Fiorentino , Stefano Russo
15th IEEE International Conference on Computer and Information Technology, CIT 2015; 14th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2015; 13th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2015; 13th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2015, Liverpool, United Kingdom, October 26-28, 2015
DOI: 10.1109/CIT/IUCC/DASC/PICOM.2015.141
Conference Papers

SECTOR: Secure Common Information Space for the Interoperability of First Responders

Marcello Cinque , Christian Esposito , Mario Fiorentino , Jana Mauthner , Lukasz Szklarski , Frank Wilson , Yann Semet
Conference on ENTERprise Information Systems/International Conference on Project MANagement/Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2015, Vilamoura, Portugal, October 7-9, 2015
DOI: 10.1016/j.procs.2015.08.622
Conference Papers

Impact of Malfunction on the Energy Efficiency of Batch Processing Systems

Marcello Cinque , Domenico Cotroneo , Flavio Frattini , Stefano Russo
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015
DOI: 10.1109/DSN.2015.42
Conference Papers

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues

Nuno Silva , Marco Vieira , Dario Ricci , Domenico Cotroneo
IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
DOI: 10.1109/DSN-W.2015.19
Conference Papers

State-based robustness testing of IaaS cloud platforms

Domenico Cotroneo , Flavio Frattini , Roberto Pietrantuono , Stefano Russo
Proceedings of the 5th International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2015, Bordeaux, France, April 21-24, 2015
DOI: 10.1145/2744210.2744213
Conference Papers

Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization

Gabriella Carrozza , Marcello Cinque , Ugo Giordano , Roberto Pietrantuono , Stefano Russo
2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015
DOI: 10.1109/SERIP.2015.13
Conference Papers

Performance of Defect Prediction in Rapidly Evolving Software

Davide Giacomo Cavezza , Roberto Pietrantuono , Stefano Russo
3rd IEEE/ACM International Workshop on Release Engineering, RELENG 2015, Florence, Italy, May 19, 2015
DOI: 10.1109/RELENG.2015.12
Conference Papers

Industry Practices and Event Logging: Assessment of a Critical Software Development Process

Antonio Pecchia , Marcello Cinque , Gabriella Carrozza , Domenico Cotroneo
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2
DOI: 10.1109/ICSE.2015.145
Conference Papers

Emulating Environment-Dependent Software Faults

Roberto Pietrantuono , Stefano Russo , Kishor S. Trivedi
1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015, Florence, Italy, May 23, 2015
DOI: 10.1109/COUFLESS.2015.13
Conference Papers

GRINDER: On Reusability of Fault Injection Tools

Stefan Winter , Thorsten Piper , Oliver Schwahn , Roberto Natella , Neeraj Suri , Domenico Cotroneo
10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015
DOI: 10.1109/AST.2015.22
Conference Papers

No PAIN, No Gain? The Utility of PArallel Fault INjections

Stefan Winter , Oliver Schwahn , Roberto Natella , Neeraj Suri , Domenico Cotroneo
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1
DOI: 10.1109/ICSE.2015.67
Conference Papers

A collaboration platform for data sharing among heterogeneous relief organizations for disaster management

Marcello Cinque , Christian Esposito , Mario Fiorentino , Francisco Jose Perez Carrasco
12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Krystiansand, Norway, May 24-27, 2015
Conference Papers

The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/

Domenico Cotroneo , Antonio Ken Iannillo , Roberto Natella , Roberto Pietrantuono , Stefano Russo
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
DOI: 10.1109/ISSREW.2015.7392054
Conference Papers

MoIO: Run-time monitoring for I/O protocol violations in storage device drivers

Domenico Cotroneo , Luigi De Simone , Francesco Fucci , Roberto Natella
26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015
DOI: 10.1109/ISSRE.2015.7381840
Conference Papers

Preventing recurrence of industrial control system accident using assurance case

Mirko Napolano , Fumio Machida , Roberto Pietrantuono , Domenico Cotroneo
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
DOI: 10.1109/ISSREW.2015.7392065
Conference Papers

SysML-based and Prolog-supported FMEA

Fabio Scippacercola , Roberto Pietrantuono , Stefano Russo , Nuno Pedro Silva
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
DOI: 10.1109/ISSREW.2015.7392064
Conference Papers

Model-Driven Engineering of a Railway Interlocking System

Fabio Scippacercola , Roberto Pietrantuono , Stefano Russo
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015
DOI: 10.5220/0005244805090519
Conference Papers

Model-in-the-Loop Testing of a Railway Interlocking System

Fabio Scippacercola , Roberto Pietrantuono , Stefano Russo
Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
DOI: 10.1007/978-3-319-27869-8_22
Conference Papers

Dependability evaluation and benchmarking of Network Function Virtualization Infrastructures

Domenico Cotroneo , Luigi De Simone , Antonio Ken Iannillo , Anna Lanzaro , Roberto Natella
Proceedings of the 1st IEEE Conference on Network Softwarization, NetSoft 2015, London, United Kingdom, April 13-17, 2015
DOI: 10.1109/NETSOFT.2015.7116123
Conference Papers

Error models for the representative injection of software defects

Anna Lanzaro , Roberto Natella , Stefan Winter , Domenico Cotroneo , Neeraj Suri
Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany
Conference Papers

2014

What Logs Should You Look at When an Application Fails? Insights from an Industrial Case Study

Marcello Cinque , Domenico Cotroneo , Raffaele Della Corte , Antonio Pecchia
44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014
DOI: 10.1109/DSN.2014.69
Conference Papers

Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities

Leonardo Aniello , Andrea Bondavalli , Andrea Ceccarelli , Claudio Ciccotelli , Marcello Cinque , Flavio Frattini , Antonella Guzzo , Antonio Pecchia , Andrea Pugliese , Leonardo Querzoni , Stefano Russo
Proc. of 1st International Workshop on Real-time Big Data Analytics for Critical Infrastructure Protection (BIG4CIP 2014)
DOI: 10.48550/arXiv.1405.0325
Conference Papers

Mining Invariants from SaaS Application Logs (Practical Experience Report)

Santonu Sarkar , Rajeshwari Ganesan , Marcello Cinque , Flavio Frattini , Stefano Russo , Agostino Savignano
2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014
DOI: 10.1109/EDCC.2014.18
Conference Papers

On the Impact of Debugging on Software Reliability Growth Analysis: A Case Study

Marcello Cinque , Claudio Gaiani , Daniele De Stradis , Antonio Pecchia , Roberto Pietrantuono , Stefano Russo
Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part V
DOI: 10.1007/978-3-319-09156-3_33
Conference Papers

NAPOLI FUTURA: Novel Approaches for Protecting Critical Infrastructures from Cyber Attacks

Stefano Avallone , Gabriella Carrozza , Marcello Cinque , Raffaele Della Corte , Antonio Marotta , Antonio Pecchia , Agostino Savignano
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.53
Conference Papers

Event Logging in an Industrial Development Process: Practices and Reengineering Challenges

Fabio Baccanico , Gabriella Carrozza , Marcello Cinque , Domenico Cotroneo , Antonio Pecchia , Agostino Savignano
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.69
Conference Papers

Reproducibility of Environment-Dependent Software Failures: An Experience Report

Davide G. Cavezza , Roberto Pietrantuono , Javier Alonso , Stefano Russo , Kishor S. Trivedi
25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSRE.2014.19
Conference Papers

Assessing Direct Monitoring Techniques to Analyze Failures of Critical Industrial Systems

Marcello Cinque , Domenico Cotroneo , Raffaele Della Corte , Antonio Pecchia
25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSRE.2014.30
Conference Papers

Towards Patching Memory Leak Bugs in Off-The-Shelf Software

Domenico Cotroneo , Roberto Natella
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.44
Conference Papers

Improving Usability of Fault Injection

Domenico Cotroneo , Luigi De Simone , Antonio Ken Iannillo , Anna Lanzaro , Roberto Natella
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.37
Conference Papers

Network Function Virtualization: Challenges and Directions for Reliability Assurance

Domenico Cotroneo , Luigi De Simone , Antonio Ken Iannillo , Anna Lanzaro , Roberto Natella , Jiang Fan , Wang Ping
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.48
Conference Papers

Using Invariants for Anomaly Detection: The Case Study of a SaaS Application

Flavio Frattini , Santonu Sarkar , Jyotiska Nath Khasnabish , Stefano Russo
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.57
Conference Papers

An Experiment with Conceptual Clustering for the Analysis of Security Alerts

Andrea Paudice , Santonu Sarkar , Domenico Cotroneo
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.82
Conference Papers

The Dual Nature of Software Aging: Twenty Years of Software Aging Research

Stefano Russo
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.138
Conference Papers

Towards Fault Propagation Analysis in Cloud Computing Ecosystems

Luigi De Simone
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
DOI: 10.1109/ISSREW.2014.47
Conference Papers

An empirical study of injected versus actual interface errors

Anna Lanzaro , Roberto Natella , Stefan Winter , Domenico Cotroneo , Neeraj Suri
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014
DOI: 10.1145/2610384.2610418
Conference Papers

Filtering Security Alerts for the Analysis of a Production SaaS Cloud

Antonio Pecchia , Domenico Cotroneo , Rajeshwari Ganesan , Santonu Sarkar
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014
DOI: 10.1109/UCC.2014.32
Conference Papers

2013

Automatic collection of failure data from the iOS platform

Marcello Cinque , Domenico Cotroneo , Carlos Rodríguez-Domínguez and José Luis Garrido
43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
DOI: 10.1109/DSNW.2013.6615508
Conference Papers

Towards secure monitoring and control systems: Diversify!

Domenico Cotroneo , Antonio Pecchia , Stefano Russo
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
DOI: 10.1109/DSN.2013.6575341
Conference Papers

Analysis of bugs in Apache Virtual Computing Lab

Flavio Frattini , Rahul Ghosh , Marcello Cinque , Andy J. Rindos , Kishor S. Trivedi
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
DOI: 10.1109/DSN.2013.6575324
Conference Papers

Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems

Roberto Natella , Fabio Scippacercola
Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
DOI: 10.1007/978-3-642-38789-0_9
Conference Papers

A learning-based method for combining testing techniques

Domenico Cotroneo , Roberto Pietrantuono , Stefano Russo
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013
DOI: 10.1109/ICSE.2013.6606560
Conference Papers

Analysis and Prediction of Mandelbugs in an Industrial Software System

Gabriella Carrozza , Domenico Cotroneo , Roberto Natella , Roberto Pietrantuono , Stefano Russo
Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013
DOI: 10.1109/ICST.2013.21
Conference Papers

Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques

Antonio Bovenzi , Javier Alonso , Hiroshi Yamada , Stefano Russo , Kishor S. Trivedi
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013
DOI: 10.1109/ISSRE.2013.6698905
Conference Papers

Requirements engineering in rail transit production: An experience report

Fernanda Buonanno , Domenico Di Leo , Paolo di Paolo , Roberto Pietrantuono , Stefano Russo
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings
DOI: 10.1109/ISSREW.2013.6688919
Conference Papers

Performance degradation analysis of a supercomputer

Domenico Cotroneo , Flavio Frattini , Roberto Natella , Roberto Pietrantuono
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings
DOI: 10.1109/ISSREW.2013.6688904
Conference Papers

Fault triggers in open-source software: An experience report

Domenico Cotroneo , Michael Grottke , Roberto Natella , Roberto Pietrantuono , Kishor S. Trivedi
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013
DOI: 10.1109/ISSRE.2013.6698917
Conference Papers

SABRINE: State-based robustness testing of operating systems

Domenico Cotroneo , Domenico Di Leo , Francesco Fucci , Roberto Natella
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013
DOI: 10.1109/ASE.2013.6693073
Conference Papers

A survey on resiliency assessment techniques for wireless sensor networks

Marcello Cinque , Antonio Coronato , Alessandro Testa , Catello Di Martino
MobiWac'13, Proceedings of the 11th ACM International Symposium on Mobility Management and Wireless Access, Barcelona, Spain, November 3-8, 2013
DOI: 10.1145/2508222.2508235
Conference Papers

State-Driven Testing of Distributed Systems

Domenico Cotroneo , Roberto Natella , Stefano Russo , Fabio Scippacercola
Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
DOI: 10.1007/978-3-319-03850-6_9
Conference Papers

Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs

Marcello Cinque , Domenico Cotroneo , Flavio Frattini , Stefano Russo
IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013, Dresden, Germany, December 9-12, 2013
DOI: 10.1109/UCC.2013.53
Conference Papers

2012

MobiFuzzy: A Fuzzy Library to Build Mobile DSSs for Remote Patient Monitoring

Frattini Flavio, Esposito Massimo, De Pietro Giuseppe
Autonomous and Intelligent Systems
DOI: 10.1007/978-3-642-31368-4_10
Conference Papers

Injecting Machine Check Errors to Explore Dependability Issues of Multicore Systems

Lanzaro A., Pecchia A., Cinque M., Cotroneo D., Barbosa R., Silva N.
2012 IEEE/IFIP 42st International Conference on Dependable Systems and Networks (DSN '12)
Conference Papers

Multicore Systems: Challenges for creating a representative fault model for fault injection

Lanzaro A, Cotroneo D, Duraes J, Silva N, Barbosa R
Proceedings of the International Conference on Data Systems In Aerospace
Conference Papers

Assessing AUTOSAR Systems Using Fault Injection

As'ad Salkham , Antonio Pecchia , Nuno Silva
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
DOI: 10.1109/ISSREW.2012.19
Conference Papers

Towards a state driven workload generation framework for dependability assessment

Cotroneo Domenico, Fucci Francesco, Natella Roberto
DEPEND 2012, The Fifth International Conference on Dependability
Conference Papers

Dependability Analysis of a Vital Sign Monitoring Application

Cinque Marcello, Coronato Antonio, Testa Alessandro
Proceedings of the International MultiConference of Engineers
Conference Papers

A logging framework for the on-line failure analysis of Android smart phones

Marcello Cinque , Domenico Cotroneo , Alessandro Testa
Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012
DOI: 10.1145/2222436.2222438
Conference Papers

Assessing time coalescence techniques for the analysis of supercomputer logs

Catello Di Martino , Marcello Cinque , Domenico Cotroneo
IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012
DOI: 10.1109/DSN.2012.6263946
Conference Papers

Experimental Analysis of Binary-Level Software Fault Injection in Complex Software

Domenico Cotroneo , Anna Lanzaro , Roberto Natella , Ricardo Barbosa
2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012
DOI: 10.1109/EDCC.2012.12
Conference Papers

Context data distribution in mobile systems: A case study on Android-based phones

Antonio Corradi , Mario Fanelli , Luca Foschini , Marcello Cinque
Proceedings of IEEE International Conference on Communications, ICC 2012, Ottawa, ON, Canada, June 10-15, 2012
DOI: 10.1109/ICC.2012.6364290
Conference Papers

Achieving Reliable and Timely Event Dissemination over WAN

Christian Esposito , Stefano Russo , Roberto Beraldi , Marco Platania , Roberto Baldoni
Distributed Computing and Networking - 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings
DOI: 10.1007/978-3-642-25959-3_20
Conference Papers

Software Rejuvenation: Do IT & Telco Industries Use It?

Javier Alonso , Antonio Bovenzi , Jinghui Li , Yakun Wang , Stefano Russo , Kishor S. Trivedi
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
DOI: 10.1109/ISSREW.2012.96
Conference Papers

On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL

Antonio Bovenzi , Domenico Cotroneo , Roberto Pietrantuono , Stefano Russo
23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
DOI: 10.1109/ISSRE.2012.50
Conference Papers

Integrating MDT in an Industrial Process in the Air Traffic Control Domain

Gabriella Carrozza , Mauro Faella , Francesco Fucci , Roberto Pietrantuono , Stefano Russo
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
DOI: 10.1109/ISSREW.2012.87
Conference Papers

Monitoring of Aging Software Systems Affected by Integer Overflows

Domenico Cotroneo , Roberto Natella
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
DOI: 10.1109/ISSREW.2012.91
Conference Papers

Detection of Software Failures through Event Logs: An Experimental Study

Antonio Pecchia , Stefano Russo
23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
DOI: 10.1109/ISSRE.2012.24
Conference Papers

Analyzing and modeling the failure behavior of Wireless Sensor Networks software under errors

Marcello Cinque , Catello Di Martino , Alessandro Testa
8th International Wireless Communications and Mobile Computing Conference, IWCMC 2012, Limassol, Cyprus, August 27-31, 2012
DOI: 10.1109/IWCMC.2012.6314366
Conference Papers

A Preliminary Fault Injection Framework for Evaluating Multicore Systems

Anna Lanzaro , Antonio Pecchia , Marcello Cinque , Domenico Cotroneo , Ricardo Barbosa , Nuno Silva
Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
DOI: 10.1007/978-3-642-33675-1_9
Conference Papers

Static Verification of Wireless Sensor Networks with Formal Methods

Alessandro Testa , Antonio Coronato , Marcello Cinque , Juan Carlos Augusto
Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012
DOI: 10.1109/SITIS.2012.90
Conference Papers

Leveraging Power of Transmission for Range-Free Localization of Tiny Sensors

Marcello Cinque , Christian Esposito , Flavio Frattini
Web and Wireless Geographical Information Systems - 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings
DOI: 10.1007/978-3-642-29247-7_17
Conference Papers

2011

Qualification and Selection of Off-the-Shelf Components for Safety Critical Systems: A Systematic Approach

Esposito Christian, Cotroneo Domenico, Barbosa Ricardo, Silva Nuno
2011 Fifth Latin-American Symposium on Dependable Computing Workshops
DOI: 10.1109/LADCW.2011.13
Conference Papers

Enabling on-line dependability assessment of Android smart phones

Marcello Cinque
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011
DOI: 10.1109/DSNW.2011.5958783
Conference Papers

5th international workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011

Domenico Cotroneo , Vincenzo De Florio
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011
DOI: 10.1109/DSN.2011.5958231
Conference Papers

5th International workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011

Domenico Cotroneo , Vincenzo De Florio
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011
DOI: 10.1109/DSNW.2011.5958781
Conference Papers

Improving Log-based Field Failure Data Analysis of multi-node computing systems

Antonio Pecchia , Domenico Cotroneo , Zbigniew Kalbarczyk , Ravishankar K. Iyer
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011
DOI: 10.1109/DSN.2011.5958210
Conference Papers

Error detection framework for complex software systems

Antonio Bovenzi , Domenico Cotroneo , Roberto Pietrantuono , Gabriella Carrozza
Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
DOI: 10.1145/1978582.1978596
Conference Papers

Workload Characterization for Software Aging Analysis

Antonio Bovenzi , Domenico Cotroneo , Roberto Pietrantuono , Stefano Russo
IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011
DOI: 10.1109/ISSRE.2011.18
Conference Papers

The PreCertification Kit for Operating Systems in Safety Domains

Domenico Cotroneo , Domenico Di Leo , Nuno Silva , Ricardo Barbosa
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011
DOI: 10.1109/WoSoCER.2011.13
Conference Papers

Software Aging and Rejuvenation: Where We Are and Where We Are Going

Domenico Cotroneo , Roberto Natella , Roberto Pietrantuono , Stefano Russo
IEEE Third International Workshop on Software Aging and Rejuvenation, WoSAR 2011, Hiroshima, Japan, November 29 - December 2, 2011
DOI: 10.1109/WoSAR.2011.15
Conference Papers

Investigation on Safety-Related Standards for Critical Systems

Christian Esposito , Domenico Cotroneo , Nuno Silva
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011
DOI: 10.1109/WoSoCER.2011.9
Conference Papers

Towards identifying OS-level anomalies to detect application software failures

Antonio Bovenzi , Stefano Russo , Francesco Brancati , Andrea Bondavalli
IEEE International Workshop on Measurement and Networking, M&N 2011, Anacapri, Italy, October 10-11, 2011
DOI: 10.1109/IWMN.2011.6088494
Conference Papers

Architecture-Based Criticality Assessment of Software Systems

Domenico Cotroneo , Antonio Pecchia , Roberto Pietrantuono , Stefano Russo
5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011
DOI: 10.1109/LADC.2011.22
Conference Papers

A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems

Antonio Bovenzi , Francesco Brancati , Stefano Russo , Andrea Bondavalli
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
DOI: 10.1007/978-3-642-24270-0_10
Conference Papers

A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

Domenico Cotroneo , Domenico Di Leo , Roberto Natella , Roberto Pietrantuono
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
DOI: 10.1007/978-3-642-24270-0_16
Conference Papers

Criticality-Driven Component Integration in Complex Software Systems

Antonio Pecchia , Roberto Pietrantuono , Stefano Russo
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
DOI: 10.1007/978-3-642-24270-0_33
Conference Papers

On the Benefit of Network Coding for Timely and Reliable Event Dissemination in WAN

Christian Esposito , Stefano Russo , Roberto Beraldi , Marco Platania
30th IEEE Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2011, Madrid, Spain, October 4-7, 2011
DOI: 10.1109/SRDSW.2011.18
Conference Papers

Identifying Compromised Users in Shared Computing Infrastructures: A Data-Driven Bayesian Network Approach

Antonio Pecchia , Aashish Sharma , Zbigniew Kalbarczyk , Domenico Cotroneo , Ravishankar K. Iyer
30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, October 4-7, 2011
DOI: 10.1109/SRDS.2011.24
Conference Papers

2010

Effective Data Dissemination for Large-Scale Complex Critical Infrastructures

Esposito Christian, Martino Catello Di, Cinque Marcello, Cotroneo Domenico
2010 Third International Conference on Dependability
DOI: 10.1109/DEPEND.2010.18
Conference Papers

Efficient Range-free RSSI Localization Technique for Wireless Sensor Networks

Frattini Flavio, Esposito Christian, Russo Stefano
Proc. of the 4th International workshop on Adaptive and DependAble Mobile Ubiquitous Systems (ADAMUS 2010), held in the context of the 7th ACM International Conference on Pervasive Services (ICPS 2010)
Conference Papers

Assessing and improving the effectiveness of logs for the analysis of software faults

Marcello Cinque , Domenico Cotroneo , Roberto Natella , Antonio Pecchia
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010
DOI: 10.1109/DSN.2010.5544279
Conference Papers

Adaptive monitoring in microkernel OSs

Domenico Cotroneo , Domenico Di Leo , Roberto Natella
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28 - July 1, 2010
DOI: 10.1109/DSNW.2010.5542619
Conference Papers

Representativeness analysis of injected software faults in complex software

Roberto Natella , Domenico Cotroneo , João Durães , Henrique Madeira
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010
DOI: 10.1109/DSN.2010.5544282
Conference Papers

Emulation of Transient Software Faults for Dependability Assessment: A Case Study

Roberto Natella , Domenico Cotroneo
Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
DOI: 10.1109/EDCC.2010.13
Conference Papers

Online Monitoring of Software System Reliability

Roberto Pietrantuono , Stefano Russo , Kishor S. Trivedi
Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
DOI: 10.1109/EDCC.2010.33
Conference Papers

Field Data Based Modeling of Sender Based Message Logging Protocols for Supercomputers Checkpointing

Domenico Cotroneo , Catello Di Martino
30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy
DOI: 10.1109/ICDCSW.2010.79
Conference Papers

An effective approach for injecting faults in wireless sensor network operating systems

Marcello Cinque , Domenico Cotroneo , Catello Di Martino , Alessandro Testa
Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, June 22-25, 2010
DOI: 10.1109/ISCC.2010.5546777
Conference Papers

Reliable Event Dissemination over Wide-Area Networks without Severe Performance Fluctuations

Christian Esposito , Domenico Cotroneo , Stefano Russo
13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010
DOI: 10.1109/ISORC.2010.14
Conference Papers

Is software aging related to software metrics?

Domenico Cotroneo , Roberto Natella , Roberto Pietrantuono
Second IEEE International Workshop on Software Aging and Rejuvenation, WoSAR@ISSRE 2010, San Jose, CA, USA, November 2, 2010
DOI: 10.1109/WOSAR.2010.5722096
Conference Papers

Software Aging Analysis of the Linux Operating System

Domenico Cotroneo , Roberto Natella , Roberto Pietrantuono , Stefano Russo
IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010
DOI: 10.1109/ISSRE.2010.24
Conference Papers

An Investigation on Flexible Communications in Publish/Subscribe Services

Christian Esposito , Domenico Cotroneo , Stefano Russo
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
DOI: 10.1007/978-3-642-16256-5_20
Conference Papers

2009

A Failure Analysis of Data Distribution Middleware in a Mission-Critical System for Air Traffic Control

Cotroneo Domenico, Pecchia Antonio, Pietrantuono Roberto, Russo Stefano
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
DOI: 10.1145/1657755.1657760
Conference Papers

Logging for Dependability Evaluation

Pecchia Antonio
Supplemental Volume of the Proc. of the 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN09)
Conference Papers

Online Reliability Monitoring: a Hybrid Approach

Pietrantuono R, Russo S, Trivedi KS
Proactive Failure Avoidance, Recovery and Maintenance (PFARM) Summary of DSN Workshop at Estoril, Lisbon, Portugal
Conference Papers

An approach for assessing logs by software fault injection

Cotroneo D, Natella R, Pecchia A, Russo S
Proactive Failure Avoidance, Recovery and Maintenance (PFARM) Summary of DSN Workshop at Estoril, Lisbon, Portugal
Conference Papers

A logging approach for effective dependability evaluation of complex systems

Cinque M, Cotroneo D, Pecchia A
Dependability, 2009. DEPEND'09. Second International Conference on
DOI: 10.1109/DEPEND.2009.22
Conference Papers

Reliable publish/subscribe middleware for time-sensitive internet-scale applications

Christian Esposito , Domenico Cotroneo , Aniruddha S. Gokhale
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009
DOI: 10.1145/1619258.1619280
Conference Papers

iCAAS: interoperable and configurable architecture for accessing sensor networks

Marcello Cinque , Catello Di Martino , Alessandro Testa
Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems, ADAMUS@ICPS 2009, London, United Kingdom, July 13-17, 2009
DOI: 10.1145/1568173.1568179
Conference Papers

AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes

Marcello Cinque , Domenico Cotroneo , Catello Di Martino , Stefano Russo , Alessandro Testa
23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009
DOI: 10.1109/IPDPS.2009.5160907
Conference Papers

Improving FFDA of Web Servers through a Rule-Based logging approach

Cinque M, Natella R, Pecchia A, Russo S
First International Workshop on Field Failure Data Analysis (FD2A)
Conference Papers

Assessment and Improvement of Hang Detection in the Linux Operating System

Domenico Cotroneo , Roberto Natella , Stefano Russo
28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009
DOI: 10.1109/SRDS.2009.26
Conference Papers

Calibrating RSS-Based Indoor Positioning Systems

Christian Esposito , Domenico Cotroneo , Massimo Ficco
5th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2009, Marrakech, Morocco, 12-14 October 2009, Proceedings
DOI: 10.1109/WiMob.2009.11
Conference Papers

2008

Towards a framework for field data production and management

Cinque M, Cotroneo D, Pecchia A, others
Proceedings of the International Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems co-located with IEEE SRDS 2008
Conference Papers

A framework for assessing the dependability of supercomputers via automated log analysis

Di Martino Catello, Cotroneo Domenico, Kalbarczyk Zbigniew, Iyer Ravishankar K.
Supplemental volume of the Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '08)
Conference Papers

Operating system support to detect application hangs

Carrozza G, Cinque M, Cotroneo D, Natella R
Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
DOI: 10.14236/ewic/VECOS2008.11
Conference Papers

Software Faults Diagnosis in Complex OTS Based Safety Critical Systems

Gabriella Carrozza , Domenico Cotroneo , Stefano Russo
Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008
DOI: 10.1109/EDCC-7.2008.26
Conference Papers

Performance assessment of OMG compliant data distribution middleware

Christian Esposito , Stefano Russo , Dario Di Crescenzo
22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008
DOI: 10.1109/IPDPS.2008.4536566
Conference Papers

An experiment in memory leak analysis with a mission-critical middleware for air traffic control

Gabriella Carrozza , Domenico Cotroneo , Roberto Natella , Antonio Pecchia , Stefano Russo
IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Workshops 2008, Seattle, WA, USA, November 11-14, 2008
DOI: 10.1109/ISSREW.2008.5355513
Conference Papers

Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel

Gabriella Carrozza , Marcello Cinque , Domenico Cotroneo , Stefano Russo
16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France
DOI: 10.1109/PDP.2008.43
Conference Papers

The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies

Gabriella Carrozza , Marcello Cinque
Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings
DOI: 10.1007/978-3-540-87785-1_30
Conference Papers

2007

How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones

Marcello Cinque , Domenico Cotroneo , Zbigniew Kalbarczyk , Ravishankar K. Iyer
The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings
DOI: 10.1109/DSN.2007.54
Conference Papers

Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff

Marcello Cinque , Stefano Russo
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
DOI: 10.1007/978-3-540-75664-4_43
Conference Papers

Component airbag: a novel approach to develop dependable component-based applications

Roberto Pietrantuono
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007
DOI: 10.1145/1287624.1287720
Conference Papers

Investigation of failure causes in workload-driven reliability testing

Domenico Cotroneo , Roberto Pietrantuono , Leonardo Mariani , Fabrizio Pastore
Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007
DOI: 10.1145/1295074.1295089
Conference Papers

Modeling and Assessing the Dependability ofWireless Sensor Networks

Marcello Cinque , Domenico Cotroneo , Catello Di Martino , Stefano Russo
26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007
DOI: 10.1109/SRDS.2007.28
Conference Papers

Characterizing Aging Phenomena of the Java Virtual Machine

Domenico Cotroneo , Salvatore Orlando , Stefano Russo
26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007
DOI: 10.1109/SRDS.2007.22
Conference Papers

2006

Reliability requirements of wireless sensor networks for dynamic structural monitoring

Cinque Marcello, Cotroneo Domenico, De Caro Gianpaolo, Pelella Massimiliano
International Workshop on Applied Software Reliability (WASR 2006)
Conference Papers

Collecting and Analyzing Failure Data of Bluetooth Personal Area Networks

Marcello Cinque , Domenico Cotroneo , Stefano Russo
2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings
DOI: 10.1109/DSN.2006.20
Conference Papers

The Hide and Seek Field Data Game

Domenico Cotroneo
Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006
DOI: 10.1109/EDCC.2006.28
Conference Papers

Failure classification and analysis of the Java Virtual Machine

Domenico Cotroneo , Salvatore Orlando , Stefano Russo
26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal
DOI: 10.1109/ICDCS.2006.37
Conference Papers

An OptimizedWorkload for Failure Data Analysis of Mobile P2P over Bluetooth Ad-Hoc Networks

Gabriella Carrozza , Marcello Cinque , Fabio Cornevilli , Stefano Russo
26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal
DOI: 10.1109/ICDCSW.2006.18
Conference Papers

Automated Logging of Mobile Phones Failures Data

Paolo Ascione , Marcello Cinque , Domenico Cotroneo
Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
DOI: 10.1109/ISORC.2006.20
Conference Papers

Java Virtual Machine Monitoring for Dependability Benchmarking

Salvatore Orlando , Stefano Russo
Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
DOI: 10.1109/ISORC.2006.45
Conference Papers

Unearthing Design Patterns to Support Context-Awareness

Oriana Riva , Cristiano di Flora , Stefano Russo , Kimmo E. E. Raatikainen
4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 13-17 March 2006, Pisa, Italy
DOI: 10.1109/PERCOMW.2006.138
Conference Papers

An architecture for providing Java applications with indoor and outdoor hybrid location sensing

Cristiano di Flora , Massimo Ficco , Stefano Russo
The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, Integration, and Assurance, SEUS 2006 / WCCIA 2006, Gyeongju, South Korea, April 27-28, 2006
DOI: 10.1109/SEUS-WCCIA.2006.11
Conference Papers

2005

A Distributed Object Platform to Achieve Interactions in Nomadic Computing Environments

Cotroneo Domenico, Migliaccio Armando, Russo Stefano
Conference Papers

ESPERANTO: a middleware platform to achieve interoperability in nomadic computing domains

Marcello Cinque , Domenico Cotroneo , Cristiano di Flora , Armando Migliaccio , Stefano Russo
2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt
DOI: 10.1109/AICCSA.2005.1387095
Conference Papers

Reliable monitoring of network-related performance parameters in wireless environments

Cotroneo Domenico, Migliaccio Armando, Russo Stefano
Object-Oriented Real-Time Dependable Systems, 2005. WORDS 2005. 10th IEEE International Workshop on
DOI: 10.1109/WORDS.2005.49
Conference Papers

A Communication Broker for Nomadic Computing Systems

Domenico Cotroneo , Armando Migliaccio , Stefano Russo
High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings
DOI: 10.1007/11557654_112
Conference Papers

CSAR-2: A Case Study of Parallel File System Dependability Analysis

Domenico Cotroneo , Generoso Paolillo , Stefano Russo , Mario Lauria
High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings
DOI: 10.1007/11557654_23
Conference Papers

A User-Driven Adaptation Strategy for Mobile Video Streaming Applications

Domenico Cotroneo , Generoso Paolillo , C. Pirro , Stefano Russo
25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA
DOI: 10.1109/ICDCSW.2005.28
Conference Papers

Indoor and Outdoor Location Based Services for Portable Wireless Devices

Cristiano di Flora , Massimo Ficco , Stefano Russo , Vincenzo Vecchio
25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA
DOI: 10.1109/ICDCSW.2005.77
Conference Papers

An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data

Marcello Cinque , Fabio Cornevilli , Domenico Cotroneo , Stefano Russo
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA
DOI: 10.1109/ISORC.2005.11
Conference Papers

Integrated support for handoff management and context awareness in heterogeneous wireless networks

Paolo Bellavista , Marcello Cinque , Domenico Cotroneo , Luca Foschini
Proceedings of the 3rd International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2005), held at the ACM/IFIP/USENIX 6th International Middleware Conference, November 28 - December 2, 2005, Grenoble, France
DOI: 10.1145/1101480.1101495
Conference Papers

Mobility Management and Communication Support for Nomadic Applications

Marcello Cinque , Domenico Cotroneo , Stefano Russo
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I
DOI: 10.1007/11575771_55
Conference Papers

A Pattern-Oriented Approach to Enhance Context Infrastructures

Cristiano di Flora , Oriana Riva , Stefano Russo , Kimmo E. E. Raatikainen
2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January - 4 February 2005, Trento, Italy
DOI: 10.1109/SAINTW.2005.1620005
Conference Papers

A Strategy for Application-Transparent Integration of Nomadic Computing Domains

Domenico Cotroneo , Cristiano di Flora , Massimo Ficco , Stefano Russo
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2005, Seattle, WA, USA, May 16-17, 2005
DOI: 10.1109/SEUS.2005.3
Conference Papers

Reliable Monitoring of Network-related Performance Parameters inWireless Environments

Domenico Cotroneo , Armando Migliaccio , Stefano Russo
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA
DOI: 10.1109/WORDS.2005.49
Conference Papers

2004

Security requirements in service oriented architectures for ubiquitous computing

Domenico Cotroneo , Almerindo Graziano , Stefano Russo
Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, Toronto, Ontario, Canada, October 18-22, 2004
DOI: 10.1145/1028509.1028522
Conference Papers

Supporting mobile context-aware applications through a modular service infrastructure

di Flora Cristiano, Riva Oriana, Raatikainen Kimmo, Russo Stefano
Poster Proceedings of 6th International UbiComp 2004 Conference
Conference Papers

A Fault Tolerance Strategy For Real-Time Distributed Multimedia Applications

Cotroneo Domenico, di Flora Cristiano, Paolillo Generoso, Russo Stefano
Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks (DSN04)
Conference Papers

A Distributed Object Platform to Achieve Nomadic Interactions

Domenico Cotroneo , Armando Migliaccio , Stefano Russo
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings
DOI: 10.1007/978-3-540-30470-8_20
Conference Papers

Indoor Positioning for Location-Aware Applications on Java-Based Mobile Devices

Cristiano di Flora , Massimo Ficco , Stefano Russo
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings
DOI: 10.1007/978-3-540-30470-8_53
Conference Papers

Supporting Location-Aware Distributed Applications on Mobile Devices

Cristiano di Flora , Massimo Ficco , Stefano Russo
Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers
DOI: 10.1007/11558958_55
Conference Papers

Implementing Positioning Services over an Ubiquitous Infrastructure

Domenico Cotroneo , Stefano Russo , Fabio Cornevilli , Massimo Ficco , Vincenzo Vecchio
2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, WSTFEUS 2004, Vienna, Austria, May 11-12, 2004
DOI: 10.1109/WSTFES.2004.1300407
Conference Papers

2003

A QoS-aware network supporting an E-learning framework

Antonio Pescapè , Stefano Russo , Vincenzo Vecchio , Giorgio Ventre
Quality Education @ a Distance, IFIP TC3/WG3.6 Working Conference on Quality Education @ a Distance, February 3-6, Geelong, Australia
DOI: 10.1007/978-0-387-35700-3_9
Conference Papers

A Metadata-based Distributed Architecture for Personalized Information Access

Graziano Almerindo, Russo Stefano, Vecchio Vincenzo
European Distance Education Network Conference (EDEN 2003)
Conference Papers

A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation

Andrea Bondavalli , Silvano Chiaradonna , Domenico Cotroneo , Luigi Romano
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
DOI: 10.1007/978-3-540-45214-0_22
Conference Papers

Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications

Domenico Cotroneo , Cristiano di Flora , Generoso Paolillo , Stefano Russo
22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy
DOI: 10.1109/RELDIS.2003.1238091
Conference Papers

Providing Digital Time Stamping Services to Mobile Devices

Domenico Cotroneo , Cristiano di Flora , Antonino Mazzeo , Luigi Romano , Stefano Russo , Giacinto Paolo Saggese
9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy
DOI: 10.1109/WORDS.2003.1267495
Conference Papers

Improving Dependability of Service Oriented Architectures for Pervasive Computing

Domenico Cotroneo , Cristiano di Flora , Stefano Russo
8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico
DOI: 10.1109/WORDS.2003.1218068
Conference Papers

2002

Implementing a CORBA-Based Architecture for Leveraging the Security Level of Existing Applications

Domenico Cotroneo , Antonino Mazzeo , Luigi Romano , Stefano Russo
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings
DOI: 10.1007/3-540-36124-3_49
Conference Papers

Experiences with learning objects reuse support tools within the EASEL project

Graziano A., Russo S., Scarpa I., Vecchio V., Castaldo F., Borrelli G.
European Distance Education Network Conference (EDEN 2002)
Conference Papers

Using CORBA Interceptors to Implement a Security Wrapper

Cotroneo D., Mazzeo A., Romano L., Russo S.
SSGRR (Scuola Superiore G. Reiss Romoli) Annual Conference (SSGRR 2002)
Conference Papers

Improving the availability of Web services

Cotroneo D, Gargiulo M, Russo S, Ventre G
Proceedings of the ICSE 2002 Workshop on Architecting dependable Systems. Orlando
Conference Papers

An active security protocol against DoS attacks

Domenico Cotroneo , L. Peluso , Simon Pietro Romano , Giorgio Ventre
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy
DOI: 10.1109/ISCC.2002.1021721
Conference Papers

A Jini Framework for Distributed Service Flexibility

Domenico Cotroneo , Cristiano di Flora , Stefano Russo
10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain
DOI: 10.1109/EMPDP.2002.994244
Conference Papers

Integration of Legacy Client-Server Applications in a Secure Multi-Tier Architecture

Domenico Cotroneo , Antonino Mazzeo , Luigi Romano , Stefano Russo
10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain
DOI: 10.1109/EMPDP.2002.994289
Conference Papers

Metadata models for QoS-aware information management systems

Almerindo Graziano , Stefano Russo , Vincenzo Vecchio , Paul Foster
Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002
DOI: 10.1145/568760.568780
Conference Papers

Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications

Luigi Romano , Andrea Bondavalli , Silvano Chiaradonna , Domenico Cotroneo
21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan
DOI: 10.1109/RELDIS.2002.1180200
Conference Papers

Service Differentiation of Communication-bound Processes in a Real-Time Operating System

Domenico Cotroneo , Massimo Ficco , Mauro Gargiulo , Stefano Russo , Giorgio Ventre
7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA
DOI: 10.1109/WORDS.2002.1000054
Conference Papers

2001

A Service Differentiation Scheme for the End-System

Domenico Cotroneo , Massimo Ficco , Giorgio Ventre
Interactive Distributed Multimedia Systems, 8th International Workshop,IDMS 2001, Lancaster, UK, September 4-7, 2001, Proceedings
DOI: 10.1007/3-540-44763-6_11
Conference Papers

Integrating Mobile Agent Infrastructures with CORBA-based Distributed Multimedia Applications

Paolo Bellavista , Antonio Corradi , Domenico Cotroneo , Stefano Russo
Ninth Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 7-9 February 2001, Mantova, Italy
DOI: 10.1109/EMPDP.2001.905034
Conference Papers

2000

An integrated approach to design complex CORBA systems

Cotroneo D., Russo S., Savy C.
Software Methods and Tools, 2000. SMT 2000. Proceedings. International Conference on
DOI: 10.1109/SWMT.2000.890432
Conference Papers

An Architecture for Streaming Control in Distributed Multimedia Systems

Canonico Roberto, Cotroneo Domenico, Russo Stefano, Ventre Giorgio
Proc. of the Int. Conference on Protocols for Multimedia Systems (PROMS2000)
Conference Papers

Object-oriented Design of an Intelligent Building Management System

Cotroneo Domenico, Nixon Patrick, Russo Stefano, Vele Domenico
Proc. of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2000), Orlando, Florida
Conference Papers

Experience with the GESTALT On-Line Learning Support System

Almerindo Graziano , Paolo Maresca , Stefano Russo
26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands
DOI: 10.1109/EURMIC.2000.874404
Conference Papers

Bringing service differentiation to the end system

Domenico Cotroneo , Massimo Ficco , Simon Pietro Romano , Giorgio Ventre
Proceedings of the IEEE International Conference on Networks 2000: Networking Trends and Challenges in the New Millennium, ICON 2000, Singapore, September 5-8, 2000
DOI: 10.1109/ICON.2000.875827
Conference Papers

A CORBA-Based Architecture for Adding Dependability to Legacy Servers

Domenico Cotroneo , Luigi Romano , Stefano Russo , Nicola Mazzocca
International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000
DOI: 10.1109/PDSE.2000.847852
Conference Papers

1999

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications

Angelo Morzenti , Matteo Pradella , Matteo Rossi , Stefano Russo , Antonio Sergio
International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999
DOI: 10.1109/PDSE.1999.779755
Conference Papers

1997

Integrating Trace Logic and Petri Nets Specifications

Nicola Mazzocca , Stefano Russo , Valeria Vittorini
30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA
DOI: 10.1109/HICSS.1997.667298
Conference Papers

Distributed Coordination in Optimization Algorithms

Beniamino Di Martino , Antonino Mazzeo , Nicola Mazzocca , Stefano Russo
High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1997, Vienna, Austria, April 28-30, 1997, Proceedings
DOI: 10.1007/BFb0031692
Conference Papers

Workshop on Software Engineering for Parallel and Distributed Systems

Gul Agha , Stefano Russo
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997
DOI: 10.1145/253228.253833
Conference Papers

Detecting deadlock with client-server analysis

Innes Jelly , M. Mastroianni , Stefano Russo , Carlo Savy , Peter R. Croll
Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK
Conference Papers

1996

Petri Net Modelling of PARSE Designs

Stefano Russo , Carlo Savy , Innes Jelly , Peter Collingwood
Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I
DOI: 10.1007/3-540-61626-8_98
Conference Papers

EPOCA: status and prospects

Susanna Donatelli , Nicola Mazzocca , Stefano Russo
Software Engineering for Parallel and Distributed Systems, Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996
Conference Papers

1995

Paradigms for the Parallelization of Branch and Bound Algorithms

Beniamino Di Martino , Nicola Mazzocca , Stefano Russo
Applied Parallel Computing, Computations in Physics, Chemistry and Engineering Science, Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings
DOI: 10.1007/3-540-60902-4_17
Conference Papers

1994

Software Architecture of the EPOCA Integrated Environment

Susanna Donatelli , Giuliana Franceschinis , Nicola Mazzocca , Stefano Russo
Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings
DOI: 10.1007/3-540-58021-2_19
Conference Papers

A Mapping Method for Distributed Hetergoneous Systems

Antonino Mazzeo , Nicola Mazzocca , Stefano Russo , Valeria Vittorini
Massively Parallel Processing Applications and Develompent, Proceedings of the 1994 EUROSIM Conference on Massively Parallel Processing Applications and Develompent, 21-23 June 1994, Delft, The Netherlands
Conference Papers

2023

Real-Time FaaS: serverless computing for Industry 4.0

Marcello Cinque
Editorials

Guest editorial: special issue on emerging challenges in software certification and verification

De Simone Luigi, Laranjeiro Nuno, Cotroneo Domenico
Editorials

2020

Special issue: ISSRE 2018, the 29th IEEE International Symposium on Software Reliability Engineering

Roberto Natella , Sudipto Ghosh
Editorials

2018

Guest Editors' Introduction: Special Issue on Data-Driven Dependability and Security

Domenico Cotroneo , Karthik Pattabiraman , Antonio Pecchia
Editorials

2017

Special section on: Reliability and Safety Certification of Software-Intensive Systems

Barbara Gallina , Roberto Natella
Editorials

Special Section on the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)

Roberto Pietrantuono , Katerina Goseva-Popstojanova , Carol S. Smidts
Editorials

Editorial: Security and Dependability of Cloud Systems and Services - Part II

Stefano Russo , Marco Vieira
Editorials

Editorial: Security and Dependability of Cloud Systems and Services

Stefano Russo , Marco Vieira
Editorials

2020

SAR Handbook Chapter: Measurements-based aging analysis

Javier Alonso , Kalyan Vaidyanathan , Roberto Pietrantuono
IEEE, 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Books & Book Chapters

SAR Handbook Chapter: Experimental Tools for Software Aging Analysis

Roberto Natella , Artur Andrzejak
IEEE, 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Books & Book Chapters

Software Aging and Rejuvenation: A Genesis

Alberto Avritzer , Domenico Cotroneo , Yennun Huang , Kishor S. Trivedi
WorldScientific, Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Books & Book Chapters

Future Directions for Software Aging and Rejuvenation Research

Alberto Avritzer , Roberto Pietrantuono , Kishor S. Trivedi
WorldScientific, Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Books & Book Chapters

Fundamentals of Software Aging

Domenico Cotroneo , Rivalino Matias , Roberto Natella
WorldScientific, Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Books & Book Chapters

Experimental Tools for Software Aging Analysis

Roberto Natella , Artur Andrzejak
WorldScientific, Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Books & Book Chapters

Measurements for Software Aging

Roberto Pietrantuono , Javier Alonso , Kalyan Vaidyanathan
WorldScientific, Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Books & Book Chapters

Aging in Virtualized Environments

Roberto Pietrantuono , Domenico Cotroneo , Stefano Russo
WorldScientific, Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Books & Book Chapters

2014

Teaching Software Architecture in Industrial and Academic Contexts: Similarities and Differences

Ciancarini Paolo, Russo Stefano
, Overcoming Challenges in Software Engineering Education: Delivering Non-Technical Knowledge and Skills, Advances in Higher Education and Professional Development
Books & Book Chapters

2013

Tools for Injecting Software Faults at the Binary and Source-Code Level

Lanzaro Anna, Natella Roberto, Barbosa Ricardo
Springer Milan, Innovative Technologies for Dependable OTS-Based Critical Systems: Challenges and Achievements of the CRITICAL STEP Project
Books & Book Chapters

Monitoring Infrastructure for Diagnosing Complex Software

Bovenzi Antonio, Carrozza Gabriella
Springer, Innovative Technologies for Dependable OTS-Based Critical Systems
Books & Book Chapters

Innovative technologies for dependable ots-based critical systems

Cotroneo Domenico
Springer
Books & Book Chapters

Introduction to Software Fault Injection

Cotroneo Domenico, Madeira Henrique
Springer, Innovative Technologies for Dependable OTS-Based Critical Systems
Books & Book Chapters

JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware

Bovenzi Antonio, Napolitano Aniello, Esposito Christian, Carrozza Gabriella
Springer Milan, Innovative Technologies for Dependable OTS-Based Critical Systems
Books & Book Chapters

Leveraging Fault Injection Techniques in Critical Industrial Applications

Pecchia Antonio, Lanzaro Anna, Cinque Marcello, Silva Nuno, others
Springer, Innovative Technologies for Dependable OTS-Based Critical Systems
Books & Book Chapters

Log-Based Failure Analysis of Complex Systems: Methodology and Relevant Applications

Pecchia Antonio, Cinque Marcello
Springer, Innovative Technologies for Dependable OTS-Based Critical Systems
Books & Book Chapters

Introduction to Safety Critical Systems

Pietrantuono Roberto, Russo Stefano
Springer, Innovative Technologies for Dependable OTS-Based Critical Systems
Books & Book Chapters

2011

Fault Injection e Robustness Testing

Cotroneo Domenico, Natella Roberto
Esculapio, L'analisi Quantitativa dei Sistemi Critici
Books & Book Chapters

2010

An investigation on flexible communications in publish/subscribe services

Esposito Christian, Cotroneo Domenico, Russo Stefano
Springer, Software Technologies for Embedded and Ubiquitous Systems
Books & Book Chapters

2004

Indoor positioning for location-aware applications on Java-based mobile devices

di Flora Cristiano, Ficco Massimo, Russo Stefano
, On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops
Books & Book Chapters

2002

Introduzione a Corba

Russo S.
McGraw-Hill Companies
Books & Book Chapters