Следене
Henry Muccini
Henry Muccini
Full Professor in Computer Science, University of L'Aquila
Потвърден имейл адрес: univaq.it - Начална страница
Заглавие
Позовавания
Позовавания
Година
What industry needs from architectural languages: A survey
I Malavolta, P Lago, H Muccini, P Pelliccione, A Tang
IEEE Transactions on Software Engineering 39 (6), 869-891, 2012
3822012
Software testing of mobile applications: Challenges and future research directions
H Muccini, A Di Francesco, P Esposito
2012 7th International Workshop on Automation of Software Test (AST), 29-35, 2012
3202012
Using software architecture for code testing
H Muccini, P Inverardi, A Bertolino
IEEE Transactions on Software Engineering 30 (3), 160-171, 2004
1662004
Self-adaptation for cyber-physical systems: a systematic literature review
H Muccini, M Sharaf, D Weyns
Proceedings of the 11th international symposium on software engineering for …, 2016
1472016
Providing architectural languages and tools interoperability through model transformation technologies
I Malavolta, H Muccini, P Pelliccione, D Tamburri
IEEE Transactions on Software Engineering 36 (1), 119-140, 2009
1382009
Towards testing product line architectures
H Muccini, A Van Der Hoek
Electronic Notes in Theoretical Computer Science 82 (6), 99-109, 2003
1122003
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
1102000
A scoped approach to traceability management
P Lago, H Muccini, H Van Vliet
Journal of Systems and Software 82 (1), 168-182, 2009
982009
Collaborative model-driven software engineering: a classification framework and a research map
M Franzago, D Di Ruscio, I Malavolta, H Muccini
IEEE Transactions on Software Engineering 44 (12), 1146-1175, 2017
962017
Introducing a reasonably complete and coherent approach for model-based testing
A Bertolino, E Marchetti, H Muccini
Electronic Notes in Theoretical Computer Science 116, 85-97, 2005
942005
Charmy: A framework for designing and verifying architectural specifications
P Pelliccione, P Inverardi, H Muccini
IEEE Transactions on Software Engineering 35 (3), 325-346, 2008
862008
A classification and comparison of model checking software architecture techniques
P Zhang, H Muccini, B Li
Journal of Systems and Software 83 (5), 723-744, 2010
852010
IoT architectural styles: A systematic mapping study
H Muccini, MT Moghaddam
Software Architecture: 12th European Conference on Software Architecture …, 2018
782018
A model-driven engineering framework for architecting and analysing wireless sensor networks
K Doddapaneni, E Ever, O Gemikonakli, I Malavolta, L Mostarda, ...
2012 Third International Workshop on Software Engineering for Sensor Network …, 2012
712012
Software architecture-based regression testing
H Muccini, M Dias, DJ Richardson
Journal of Systems and Software 79 (10), 1379-1396, 2006
662006
The road ahead for architectural languages
P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang
IEEE Software 32 (1), 98-105, 2014
642014
Towards software architecture-based regression testing
H Muccini, MS Dias, DJ Richardson
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
642005
Detecting implied scenarios analyzing non-local branching choices
H Muccini
Fundamental Approaches to Software Engineering: 6th International Conference …, 2003
642003
Automated check of architectural models consistency using SPIN
P Inverardi, H Muccini, P Pelliccione
Proceedings 16th Annual International Conference on Automated Software …, 2001
642001
Patterns for self-adaptation in cyber-physical systems
A Musil, J Musil, D Weyns, T Bures, H Muccini, M Sharaf
Multi-Disciplinary Engineering for Cyber-Physical Production Systems: Data …, 2017
632017
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20