An OptimizedWorkload for Failure Data Analysis of Mobile P2P over Bluetooth Ad-Hoc Networks. - Gabriella Carrozza; Marcello Cinque; Fabio Cornevilli; Stefano Russo 001 (ICDCS Workshops, 2006)

Software Faults Diagnosis in Complex OTS Based Safety Critical Systems. - Gabriella Carrozza; Domenico Cotroneo; Stefano Russo 001 (EDCC, 2008)

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 001 (ISSRE Workshops, 2008)

Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel. - Gabriella Carrozza; Marcello Cinque; Domenico Cotroneo; Stefano Russo 001 (PDP, 2008)

The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies. - Gabriella Carrozza; Marcello Cinque (SEUS, 2008)

Modeling and Analyzing the Dependability of Short Range Wireless Technologies via Field Failure Data Analysis. - Gabriella Carrozza; Marcello Cinque (J. Softw., 2009)

Data distribution technologies in wide area systems: lessons learned from the SWIM-SUIT project experience. - Gabriella Carrozza; Dario Di Crescenzo; Antonio Strano (DD4LCCI@EDCC, 2010)

Memory leak analysis of mission-critical middleware. - Gabriella Carrozza; Domenico Cotroneo; Roberto Natella; Antonio Pecchia; Stefano Russo 001 (J. Syst. Softw., 2010)

Data distribution technologies in wide area systems: lessons learned from the SWIM-SUIT project experience. - Aniello Napolitano; Gabriella Carrozza; Antonio Strano; Dario Di Crescenzo (Netw. Protoc. Algorithms, 2010)

EMMON: A WSN System Architecture for Large Scale and Dense Real-Time Embedded Monitoring. - Stefano Tennina; Mélanie Bouroche; Pedro Braga; Ricardo Gomes; Mário Alves; Farrukh Mirza; Vincenzo Ciriello; Gabriella Carrozza; Pedro Oliveira; Vinny Cahill (EUC, 2011)

Error detection framework for complex software systems. - Antonio Bovenzi; Domenico Cotroneo; Roberto Pietrantuono; Gabriella Carrozza (EWDC, 2011)

A topology control strategy addressing for high scalability and low energy demands in large scale wireless sensor networks. - Gabriella Carrozza; Vincenzo Ciriello; Stefano Tennina (M&N, 2011)

The dark side of DEMMON: what is behind the scene in engineering large-scale wireless sensor networks. - Stefano Tennina; Ricardo Gomes; Mário Alves; Vincenzo Ciriello; Gabriella Carrozza (MSWiM, 2011)

Automatic Robustness Assessment of DDS-Compliant Middleware. - Aniello Napolitano; Gabriella Carrozza; Antonio Bovenzi; Christian Esposito 001 (PRDC, 2011)

EMMON: a WSN system architecture and toolset for large-scale and dense real-time embedded monitoring. - Stefano Tennina; Mélanie Bouroche; Ricardo Gomes; Farrukh Mirza; Mário Alves; Gabriella Carrozza (SenSys, 2011)

A Recovery-Oriented Approach for Software Fault Diagnosis in Complex Critical Systems. - Gabriella Carrozza; Roberto Natella (Int. J. Adapt. Resilient Auton. Syst., 2011)

OS-level hang detection in complex software systems. - Antonio Bovenzi; Marcello Cinque; Domenico Cotroneo; Roberto Natella; Gabriella Carrozza (Int. J. Crit. Comput. Based Syst., 2011)

Integrating MDT in an Industrial Process in the Air Traffic Control Domain. - Gabriella Carrozza; Mauro Faella; Francesco Fucci; Roberto Pietrantuono; Stefano Russo 001 (ISSRE Workshops, 2012)

Exploiting Cloud Computing for enabling distributed testing of complex systems: The SELEX-SI roadmap. - Gabriella Carrozza; Massimo Loffreda; Vittorio Manetti (SoSE, 2012)

Applying the SecRAM Methodology in a CLOUD-Based ATM Environment. - Antonio Marotta; Gabriella Carrozza; Luigi Battaglia; Patrizia Montefusco; Vittorio Manetti (ARES, 2013)

An OpenFlow-based architecture for IaaS security. - Antonio Marotta; Gabriella Carrozza; Stefano Avallone; Vittorio Manetti (ATACCS, 2013)

Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario. - Gabriella Carrozza; Vittorio Manetti; Antonio Marotta; Roberto Canonico; Stefano Avallone (EWDC, 2013)

Analysis and Prediction of Mandelbugs in an Industrial Software System. - Gabriella Carrozza; Domenico Cotroneo; Roberto Natella; Roberto Pietrantuono; Stefano Russo 001 (ICST, 2013)

Practical experience and evaluation of continuous code static analysis with C++Test. - Vincenzo Ciriello; Gabriella Carrozza; Stefano Rosati (JAMAICA@ISSTA, 2013)

Engineering Air Traffic Control Systems with a Model-Driven Approach. - Gabriella Carrozza; Mauro Faella; Francesco Fucci; Roberto Pietrantuono; Stefano Russo 001 (IEEE Softw., 2013)

On the Evaluation of VM Provisioning Time in Cloud Platforms for Mission-Critical Infrastructures. - Gabriella Carrozza; Luigi Battaglia; Vittorio Manetti; Antonio Marotta; Roberto Canonico; Stefano Avallone (CCGRID, 2014)

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 (ISSRE Workshops, 2014)

Event Logging in an Industrial Development Process: Practices and Reengineering Challenges. - Fabio Baccanico; Gabriella Carrozza; Marcello Cinque; Domenico Cotroneo; Antonio Pecchia; Agostino Savignano (ISSRE Workshops, 2014)

Code Analysis as an Enabler for SW Quality Improvement: The SELEX ES SW Engineering Experience. - Salvatore Scervo; Stefano Rosati; Gabriella Carrozza (ISSRE Workshops, 2014)

Dynamic test planning: a study in an industrial context. - Gabriella Carrozza; Roberto Pietrantuono; Stefano Russo 001 (Int. J. Softw. Tools Technol. Transf., 2014)

Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization. - Gabriella Carrozza; Marcello Cinque; Ugo Giordano; Roberto Pietrantuono; Stefano Russo 001 (SER&IP@ICSE, 2015)

Industry Practices and Event Logging: Assessment of a Critical Software Development Process. - Antonio Pecchia; Marcello Cinque; Gabriella Carrozza; Domenico Cotroneo (ICSE (2), 2015)

Defect analysis in mission-critical software systems: a detailed investigation. - Gabriella Carrozza; Roberto Pietrantuono; Stefano Russo 001 (J. Softw. Evol. Process., 2015)

An Effort Allocation Method to Optimal Code Sanitization for Quality-Aware Energy Efficiency Improvement. - Roberto Pietrantuono; Gabriella Carrozza; Stefano Russo 001; Marco Bessi (MeGSuS@ESEM, 2016)

A software quality framework for large-scale mission-critical systems engineering. - Gabriella Carrozza; Roberto Pietrantuono; Stefano Russo 001 (Inf. Softw. Technol., 2018)