gabriella carrozza
Titolo
Citata da
Citata da
Anno
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
432010
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
422015
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
262013
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
252011
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
242015
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
192014
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
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
172013
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
102018
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
92013
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
92011
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
92011
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
Evaluation report: evaluation of possible solutions, concepts for new communication methods
S Tennina, M Alves, PG Sousa, M Santos, P Braga, M Bouroche, ...
Deliverable D4 2, 2010
82010
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
72011
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
62014
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
62013
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
52009
Dependability evaluation and modeling of the bluetooth data communication channel
G Carrozza, M Cinque, D Cotroneo, S Russo
16th Euromicro Conference on Parallel, Distributed and Network-Based …, 2008
52008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20