gabriella carrozza
Title
Cited by
Cited by
Year
Industry practices and event logging: Assessment of a critical software development process
A Pecchia, M Cinque, G Carrozza, D Cotroneo
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
622015
Memory leak analysis of mission-critical middleware
G Carrozza, D Cotroneo, R Natella, A Pecchia, S Russo
Journal of Systems and Software 83 (9), 1556-1567, 2010
522010
Analysis and prediction of mandelbugs in an industrial software system
G Carrozza, D Cotroneo, R Natella, R Pietrantuono, S Russo
2013 IEEE Sixth international conference on software testing, verification …, 2013
332013
Defect analysis in mission‐critical software systems: a detailed investigation
G Carrozza, R Pietrantuono, S Russo
Journal of Software: Evolution and Process 27 (1), 22-49, 2015
272015
Emmon: A wsn system architecture for large scale and dense real-time embedded monitoring
S Tennina, M Bouroche, P Braga, R Gomes, M Alves, F Mirza, V Ciriello, ...
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011
262011
Dynamic test planning: a study in an industrial context
G Carrozza, R Pietrantuono, S Russo
International Journal on Software Tools for Technology Transfer 16 (5), 593-607, 2014
222014
Engineering air traffic control systems with a model-driven approach
G Carrozza, M Faella, F Fucci, R Pietrantuono, S Russo
IEEE software 30 (3), 42-48, 2013
182013
Software faults diagnosis in complex OTS based safety critical systems
G Carrozza, D Cotroneo, S Russo
2008 Seventh European Dependable Computing Conference, 25-34, 2008
182008
Operating system support to detect application hangs
G Carrozza, M Cinque, D Cotroneo, R Natella
Second International Workshop on Verification and Evaluation of Computer and …, 2008
142008
A software quality framework for large-scale mission-critical systems engineering
G Carrozza, R Pietrantuono, S Russo
Information and Software Technology 102, 100-116, 2018
122018
Exploiting SDN approach to tackle cloud computing security issues in the ATC scenario
G Carrozza, V Manetti, A Marotta, R Canonico, S Avallone
European Workshop on Dependable Computing, 54-60, 2013
102013
The dark side of demmon: what is behind the scene in engineering large-scale wireless sensor networks
S Tennina, R Gomes, M Alves, V Ciriello, G Carrozza
Proceedings of the 14th ACM international conference on Modeling, analysis …, 2011
102011
OS-level hang detection in complex software systems
A Bovenzi, M Cinque, D Cotroneo, R Natella, G Carrozza
International Journal of Critical Computer-Based Systems 2 (3-4), 352-377, 2011
102011
Evaluation report: evaluation of possible solutions, concepts for new communication methods
S Tennina, M Alves, PG Sousa, M Santos, P Braga, M Bouroche, ...
EMMON Project, Deliverable D 4, 2, 2010
92010
On the evaluation of vm provisioning time in cloud platforms for mission-critical infrastructures
G Carrozza, L Battaglia, V Manetti, A Marotta, R Canonico, S Avallone
2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid …, 2014
82014
Integrating mdt in an industrial process in the air traffic control domain
G Carrozza, M Faella, F Fucci, R Pietrantuono, S Russo
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
82012
Error detection framework for complex software systems
A Bovenzi, D Cotroneo, R Pietrantuono, G Carrozza
Proceedings of the 13th European Workshop on Dependable Computing, 61-66, 2011
82011
Practical experience and evaluation of continuous code static analysis with C++ test
V Ciriello, G Carrozza, S Rosati
Proceedings of the 2013 International Workshop on Joining AcadeMiA and …, 2013
72013
Study of collected, analysed and classified problems to address in this project
M Alves, PG Sousa, M Bouroche, P Braga, R Monica, G Carrozza, ...
EMMON Project, Deliverable D 4, 1, 2009
62009
Event logging in an industrial development process: Practices and reengineering challenges
F Baccanico, G Carrozza, M Cinque, D Cotroneo, A Pecchia, A Savignano
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20