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

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, 2016)

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

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, 2015)

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, 2015)

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

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 (14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2014, Chicago, IL, USA, May 26-29, 2014, 2014)

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, 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 (25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, 2014)

Code Analysis as an Enabler for SW Quality Improvement: The SELEX ES SW Engineering Experience - Salvatore Scervo; Stefano Rosati; Gabriella Carrozza (25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, 2014)

Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA 2014, San Jose, CA, USA, July 21, 2014 - Christof J. Budnik; Gabriella Carrozza; David Faragó; Baris Güldali; Barath Kumar; Vittorio Manetti; Roberto Pietrantuono; Stephan Weißleder (ACM, 2014)

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

Applying the SecRAM Methodology in a CLOUD-Based ATM Environment - Antonio Marotta; Gabriella Carrozza; Luigi Battaglia; Patrizia Montefusco; Vittorio Manetti (2013 International Conference on Availability, Reliability and Security, ARES 2013, Regensburg, Germany, September 2-6, 2013, 2013)

An OpenFlow-based architecture for IaaS security - Antonio Marotta; Gabriella Carrozza; Stefano Avallone; Vittorio Manetti (International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '13, Naples, Italy, May 28-30, 2013, 2013)

Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario - Gabriella Carrozza; Vittorio Manetti; Antonio Marotta; Roberto Canonico; Stefano Avallone (Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings, 2013)

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, 2013)

Practical experience and evaluation of continuous code static analysis with C++Test - Vincenzo Ciriello; Gabriella Carrozza; Stefano Rosati (Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013, 2013)

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013 - Gabriella Carrozza; Roberto Pietrantuono; Vittorio Manetti (ACM, 2013)

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, 2012)

Exploiting Cloud Computing for enabling distributed testing of complex systems: The SELEX-SI roadmap - Gabriella Carrozza; Massimo Loffreda; Vittorio Manetti (7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012, 2012)

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)

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 (IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, Melbourne, Australia, October 24-26, 2011, 2011)

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, 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 (IEEE International Workshop on Measurement and Networking, M&N 2011, Anacapri, Italy, October 10-11, 2011, 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 (Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami, Florida, USA, October 31 - November 4, 2011, 2011)

Automatic Robustness Assessment of DDS-Compliant Middleware - Aniello Napolitano; Gabriella Carrozza; Antonio Bovenzi; Christian Esposito (17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011, 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 (Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, SenSys 2011, Seattle, WA, USA, November 1-4, 2011, 2011)

Memory leak analysis of mission-critical middleware - Gabriella Carrozza; Domenico Cotroneo; Roberto Natella; Antonio Pecchia; Stefano Russo (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)

Data distribution technologies in wide area systems: lessons learned from the SWIM-SUIT project experience - Gabriella Carrozza; Dario Di Crescenzo; Antonio Strano (Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures, DD4LCCI '10, Valencia, Spain, April 27, 2010, 2010)

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

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, 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 (IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Workshops 2008, Seattle, WA, USA, November 11-14, 2008, 2008)

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, 2008)

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, 2008)

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, 2006)