Gabriella Carrozza

37 papers A 2B 2C 3Misc 2Journal 9Unranked 17
YearRankTypeTitle / Venue / Authors
2018 J jnl
A software quality framework for large-scale mission-critical systems engineering.
Inf. Softw. Technol.
Gabriella Carrozza, Roberto Pietrantuono, Stefano Russo
2016 — conf
An Effort Allocation Method to Optimal Code Sanitization for Quality-Aware Energy Efficiency Improvement.
MeGSuS@ESEM
Roberto Pietrantuono, Gabriella Carrozza, Stefano Russo, Marco Bessi
2015 J jnl
Defect analysis in mission-critical software systems: a detailed investigation.
J. Softw. Evol. Process.
Gabriella Carrozza, Roberto Pietrantuono, Stefano Russo
2015 — conf
Industry Practices and Event Logging: Assessment of a Critical Software Development Process.
ICSE (2)
Antonio Pecchia, Marcello Cinque, Gabriella Carrozza, Domenico Cotroneo
2015 — conf
Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization.
SER&IP@ICSE
Gabriella Carrozza, Marcello Cinque, Ugo Giordano, Roberto Pietrantuono, Stefano Russo
2014 — conf
Code Analysis as an Enabler for SW Quality Improvement: The SELEX ES SW Engineering Experience.
ISSRE Workshops
Salvatore Scervo, Stefano Rosati, Gabriella Carrozza
2014 J jnl
Dynamic test planning: a study in an industrial context.
Int. J. Softw. Tools Technol. Transf.
Gabriella Carrozza, Roberto Pietrantuono, Stefano Russo
2014 — conf
Event Logging in an Industrial Development Process: Practices and Reengineering Challenges.
ISSRE Workshops
Fabio Baccanico, Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Antonio Pecchia, Agostino Savignano
2014 — conf
NAPOLI FUTURA: Novel Approaches for Protecting Critical Infrastructures from Cyber Attacks.
ISSRE Workshops
Stefano Avallone, Gabriella Carrozza, Marcello Cinque, Raffaele Della Corte, Antonio Marotta, Antonio Pecchia, Agostino Savignano
2014 B conf
On the Evaluation of VM Provisioning Time in Cloud Platforms for Mission-Critical Infrastructures.
CCGRID
Gabriella Carrozza, Luigi Battaglia, Vittorio Manetti, Antonio Marotta, Roberto Canonico, Stefano Avallone
2014 — ed.
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
JAMAICA@ISSTA
Christof J. Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder
2013 — conf
An OpenFlow-based architecture for IaaS security.
ATACCS
Antonio Marotta, Gabriella Carrozza, Stefano Avallone, Vittorio Manetti
2013 A conf
Analysis and Prediction of Mandelbugs in an Industrial Software System.
ICST
Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo
2013 B conf
Applying the SecRAM Methodology in a CLOUD-Based ATM Environment.
ARES
Antonio Marotta, Gabriella Carrozza, Luigi Battaglia, Patrizia Montefusco, Vittorio Manetti
2013 J jnl
Engineering Air Traffic Control Systems with a Model-Driven Approach.
IEEE Softw.
Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo
2013 — conf
Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario.
EWDC
Gabriella Carrozza, Vittorio Manetti, Antonio Marotta, Roberto Canonico, Stefano Avallone
2013 — conf
Practical experience and evaluation of continuous code static analysis with C++Test.
JAMAICA@ISSTA
Vincenzo Ciriello, Gabriella Carrozza, Stefano Rosati
2013 — ed.
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013
JAMAICA@ISSTA
Gabriella Carrozza, Roberto Pietrantuono, Vittorio Manetti
2012 — conf
Exploiting Cloud Computing for enabling distributed testing of complex systems: The SELEX-SI roadmap.
SoSE
Gabriella Carrozza, Massimo Loffreda, Vittorio Manetti
2012 — conf
Integrating MDT in an Industrial Process in the Air Traffic Control Domain.
ISSRE Workshops
Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo
2011 J jnl
A Recovery-Oriented Approach for Software Fault Diagnosis in Complex Critical Systems.
Int. J. Adapt. Resilient Auton. Syst.
Gabriella Carrozza, Roberto Natella
2011 — conf
A topology control strategy addressing for high scalability and low energy demands in large scale wireless sensor networks.
M&N
Gabriella Carrozza, Vincenzo Ciriello, Stefano Tennina
2011 C conf
Automatic Robustness Assessment of DDS-Compliant Middleware.
PRDC
Aniello Napolitano, Gabriella Carrozza, Antonio Bovenzi, Christian Esposito
2011 C conf
EMMON: A WSN System Architecture for Large Scale and Dense Real-Time Embedded Monitoring.
EUC
Stefano Tennina, Mélanie Bouroche, Pedro Braga, Ricardo Gomes, Mário Alves, Farrukh Mirza, Vincenzo Ciriello, Gabriella Carrozza, Pedro Oliveira, Vinny Cahill
2011 Misc conf
EMMON: a WSN system architecture and toolset for large-scale and dense real-time embedded monitoring.
SenSys
Stefano Tennina, Mélanie Bouroche, Ricardo Gomes, Farrukh Mirza, Mário Alves, Gabriella Carrozza
2011 — conf
Error detection framework for complex software systems.
EWDC
Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Gabriella Carrozza
2011 J jnl
OS-level hang detection in complex software systems.
Int. J. Crit. Comput. Based Syst.
Antonio Bovenzi, Marcello Cinque, Domenico Cotroneo, Roberto Natella, Gabriella Carrozza
2011 A conf
The dark side of DEMMON: what is behind the scene in engineering large-scale wireless sensor networks.
MSWiM
Stefano Tennina, Ricardo Gomes, Mário Alves, Vincenzo Ciriello, Gabriella Carrozza
2010 — conf
Data distribution technologies in wide area systems: lessons learned from the SWIM-SUIT project experience.
DD4LCCI@EDCC
Gabriella Carrozza, Dario Di Crescenzo, Antonio Strano
2010 J jnl
Data distribution technologies in wide area systems: lessons learned from the SWIM-SUIT project experience.
Netw. Protoc. Algorithms
Aniello Napolitano, Gabriella Carrozza, Antonio Strano, Dario Di Crescenzo
2010 J jnl
Memory leak analysis of mission-critical middleware.
J. Syst. Softw.
Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Antonio Pecchia, Stefano Russo
2009 J jnl
Modeling and Analyzing the Dependability of Short Range Wireless Technologies via Field Failure Data Analysis.
J. Softw.
Gabriella Carrozza, Marcello Cinque
2008 — conf
An experiment in memory leak analysis with a mission-critical middleware for air traffic control.
ISSRE Workshops
Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Antonio Pecchia, Stefano Russo
2008 C conf
Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel.
PDP
Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Stefano Russo
2008 Misc conf
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.
EDCC
Gabriella Carrozza, Domenico Cotroneo, Stefano Russo
2008 — conf
The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies.
SEUS
Gabriella Carrozza, Marcello Cinque
2006 — conf
An OptimizedWorkload for Failure Data Analysis of Mobile P2P over Bluetooth Ad-Hoc Networks.
ICDCS Workshops
Gabriella Carrozza, Marcello Cinque, Fabio Cornevilli, Stefano Russo