Prof. Dr. Raffaela Mirandola, Ph.D
- Full Professor
- Group: Self-adaptive Software-intensive Systems (SASIS), Institute of Information Security and Dependability (KASTEL)
- Room: 324
CS 50.34 - raffaela mirandola ∂does-not-exist.kit edu
KASTEL - Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
Reseach interests
My research interests include:
-
Software quality requirements modeling, analysis, and verification
-
Formal methods for (self-)adaptive dependable IT systems
-
Model-driven software engineering and the application of the theories, approaches, and techniques specific to the above research areas to service-oriented and component-based systems, adaptive systems, mobile systems, and cloud computing.
Availability of Publications
You can access the freely available versions of most of our publications by clicking on the publication title. This will direct you to our institutional repository, KITopen, where you can find or access the available version. If you cannot find a publication, please feel free to contact the authors via email.
Publications
2025
-
Conference PapersIntegrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications
Camilli, M.; Luccioletti, F.; Mirandola, R.; Scandurra, P.
2025. Service-Oriented Computing – 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II. Ed.: W. Gaaloul, 55–71, Springer Nature Singapore. doi:10.1007/978-981-96-0808-9_5
2024
-
Journal ArticlesAn Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Weyns, D.; Hezavehi, S. M.; Avgeriou, P.; Calinescu, R.; Mirandola, R.; Perez-Palacin, D.
2024. ACM Transactions on Autonomous and Adaptive Systems. doi:10.1145/3705612 -
Conference PapersExplainability Engineering Challenges: Connecting Explainability Levels to Run-time Explainability
Schwammberger, M.; Mirandola, R.; Wenninghoff, N.
2024. Proceedings of 2nd World Conference on Explainable Artificial Intelligence Conference (XAI2024), Springer. doi:10.1007/978-3-031-63803-9_11Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning
Negri, F. R.; Nicolosi, N.; Camilli, M.; Mirandola, R.
2024. IEEE/ACM proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2024). doi:10.1145/3643915.364408RAMSES: An Exemplar for Engineering Self-Adaptive Microservice Applications
Riccio, V.; Sorrentino, G.; Zamponi, E.; Camilli, M.; Mirandola, R.; Scandurra, P.
2024. IEEE/ACM proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2024), Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3643915.3644110 -
PostersMulti-requirement Parametric Falsification
Camilli, M.; Mirandola, R.
2024. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
2023
-
Book ChaptersEngineering of Trust Analysis-Driven Digital Twins for a Medical Device
Bersani, M. M.; Braghin, C.; Gargantini, A.; Mirandola, R.; Riccobene, E.; Scandurra, P.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 467–482, Springer International Publishing. doi:10.1007/978-3-031-36889-9_31Architecting Explainable Service Robots
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, P.
2023. Software Architecture – 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings. Ed.: B. Tekinerdogan, 153–169, Springer Nature Switzerland. doi:10.1007/978-3-031-42592-9_11 -
Journal ArticlesSpecial issue on Architecting Dependable Multi-paradigm Computing Systems
Scandurra, P.; Camilli, M.; Mirandola, R.; Kang, S.
2023. Computing, 105 (9), Article no: 1847. doi:10.1007/s00607-023-01202-9Architecting for a Sustainable Digital Society
Biffl, S.; Navarro, E.; Mirandola, R.; Weyns, D.
2023. Journal of Systems and Software, 200, Article no: 111668. doi:10.1016/j.jss.2023.111668Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime
Camilli, M.; Mirandola, R.; Scandurra, P.
2023. ACM Transactions on Autonomous and Adaptive Systems, 18 (3), 32 S. doi:10.1145/3584364Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems
Weyns, D.; Calinescu, R.; Mirandola, R.; Tei, K.; Acosta, M.; Bencomo, N.; Bennaceur, A.; Boltz, N.; Bures, T.; Camara, J.; Diaconescu, A.; Engels, G.; Gerasimou, S.; Gerostathopoulos, I.; Getir Yaman, S.; Grassi, V.; Hahner, S.; Letier, E.; Litoiu, M.; Marsso, L.; Musil, A.; Musil, J.; Nunes Rodrigues, G.; Perez-Palacin, D.; Quin, F.; Scandurra, P.; Vallecillo, A.; Zisman, A.
2023. ACM SIGSOFT Software Engineering Notes, 48 (4), 20–36. doi:10.1145/3617946.3617951 -
Conference PapersImpact of Key Scrum Role Locations in Student Distributed Software Development Projects
Čavrak, I.; Bucaioni, A.; Mirandola, R.
2023. 2023 IEEE 35th International Conference on Software Engineering Education and Training (CSEE&T), 69–78, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CSEET58097.2023.00018A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, P.
2023. 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), Hannover, 4th-5th September 2023, 309–315, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/REW57809.2023.00059Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.
2023. 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 18–28, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/FormaliSE58978.2023.00010Towards Better Trust in Human-Machine Teaming through Explainable Dependability
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, P.
2023. 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), March 13 2023 to March 17 2023, L’Aquila, Italy, 86–90, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C57050.2023.00029
2022
-
Journal ArticlesEvent‐sourced, observable software architectures: An experience report
Alongi, F.; Bersani, M. M.; Ghielmetti, N.; Mirandola, R.; Tamburri, D. A.
2022. Software: Practice and Experience, 52 (10), 2127–2151. doi:10.1002/spe.3116Quantitative verification with adaptive uncertainty reduction
Alasmari, N.; Calinescu, R.; Paterson, C.; Mirandola, R.
2022. Journal of Systems and Software, 188, Article no: 111275. doi:10.1016/j.jss.2022.111275 -
Conference PapersRuntime Equilibrium Verification for Resilient Cyber-Physical Systems
Camilli, M.; Mirandola, R.; Scandurra, P.
2022. 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Washington, D.C., 27th September-1st October 2022, 71–80, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ACSOS52086.2021.00025Towards Trust-preserving Continuous Co-evolution of Digital Twins
Bersani, M. M.; Braghin, C.; Cortellessa, V.; Gargantini, A.; Grassi, V.; Presti, F. L.; Mirandola, R.; Pierantonio, A.; Riccobene, E.; Scandurra, P.
2022. 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), Honolulu. 12th-15th March 2022, 96–99, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C54293.2022.00024XSA: eXplainable Self-Adaptation
Camilli, M.; Mirandola, R.; Scandurra, P.
2022. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, Art.-Nr.: 189, Association for Computing Machinery (ACM). doi:10.1145/3551349.3559552Taming model uncertainty in self-adaptive systems using bayesian model averaging
Camilli, M.; Mirandola, R.; Scandurra, P.
2022. SEAMS ’22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems Pittsburgh, 18th-23rd May 2022, 25–35, Association for Computing Machinery (ACM). doi:10.1145/3524844.3528056 -
Reports/PreprintsSpecification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Weyns, D.; Avegriou, P.; Calinescu, R.; Hezavehi, S. M.; Mirandola, R.; Perez-Palacin, D.
2022. arxiv. doi:10.48550/arXiv.2211.17218
2021
-
Book ChaptersLiving with Uncertainty in Model-Based Development
Bernardi, S.; Famelis, M.; Jézéquel, J.-M.; Mirandola, R.; Palacin, D. P.; Polack, F. A. C.; Trubiani, C.
2021. Composing Model-Based Analysis Tools. Ed.: R. Heinrich, 159–185, Springer International Publishing. doi:10.1007/978-3-030-81915-6_8 -
Conference PapersThe Tao way to anti-fragile software architectures: the case of mobile applications
Grassi, V.; Mirandola, R.
2021. 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), 86–89, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C52384.2021.00021Performance Modelling of Intelligent Transportation Systems: Experience Report
Pagliari, L.; D’Angelo, M.; Caporuscio, M.; Mirandola, R.; Trubiani, C.
2021. Companion of the ACM/SPEC International Conference on Performance Engineering, 19. - 23.4.2021, 155–160, Association for Computing Machinery (ACM). doi:10.1145/3447545.3451205
2020
-
Journal ArticlesUncertainty in Self-adaptive Systems: A Research Community Perspective
Hezavehi, S. M.; Weyns, D.; Avgeriou, P.; Calinescu, R.; Mirandola, R.; Perez-Palacin, D.
2020. ACM Transactions on Autonomous and Adaptive Systems, 15 (4), 36 S. doi:10.1145/3487921
Courses before joining KIT
Teaching at Politecnico:
-
Distributed Software Development, (2013-2022) - Master of Science, Computer Engineering, Politecnico di Milano, Course offered in English and together with the University of Zagreb and Malarladen University, Vasteras, Sweden, Course material online at: http://www.fer.unizg.hr/rasip/dsd.
-
Fundamental of Computer Science, (2017-2022) - Undergraduate Programme, ICT Engineering.
-
Impianti e Servizi Informatici, (2016-2020) - Undergraduate Programme,Computer Engineering, Laurea On Line.
-
Computer Infrastructures, (2015-2017) - Master of Science, Computer Engineering.
-
Software Engineering II, (2010-2016) - Master of Science, Computer Engineering.
-
Impianti Informatici, (2008-2015) - Undergraduate Programme, Computer Engineering, Politecnico di Milano, Cremona Campus.
-
Fundamental of Computer Science, (2005-2010) - Undergraduate Programme, Management and Production Engineering.
Teaching at the University of Roma Tor Vergata:
-
Fundamentals of Computer Science II (Fondamenti di Informatica II), (2003-2005) - Undergraduate Programme, Computer Engineering.
-
Early validation of non-functional requirements in software systems, (2003-2004) - PhD Course.
-
Fundamentals of Computer Science I (Fondamenti di Informatica I), (1997-2004) - Undergraduate Programme, Computer Engineering.
-
Impianti Informatici, (1997-2003) - Undergraduate Programme, Computer Engineering.
-
Simulazione, (1990-1996)(teaching assistant) - Undergraduate Programme, Computer Engineering.
Suggested textbooks for the Performance Modeling course
-
Lazowska E.D., J. Zahorjan, G.S. Graham, K.C. Sevcick "Quantitative System Performance; Computer System Analysis Using Queueing Network Models" Prentice-Hall, 1984. Available online at: http://www.cs.washington.edu/homes/lazowska/qsp/
-
Dispensa: S. Balsamo, R. Mirandola, Modelli e metodi per la valutazione delle prestazioni di sistemi, Universita' degli Studi di Pisa, Facolta' di Scienze M.F.N., Servizio Editoriale Universitario, 1996
Professional Activities
I am a member of:
-
the Editorial Board of the Journal of System and Software, Elsevier
-
the Editorial Board of the IEEE Transactions on Software Engineering
-
the Steering Committee of the ICSA conference series
-
the Steering Committee of the ICPE Conference series
-
the Steering Committee of the ECSA Conference series
-
the Steering Committee of the ACM-SATTA Conference series
Past activities
2022
Poster co-chair at International Conference on Software Architecture- ICSA 2022
Workshop co-chair at International Conference on Service Oriented Computing- ICSOC 2022
PC member of:
-
ICSE 2020: NIER Track, 42nd International Conference on Software Engineering
-
SEAMS 2020: International Symposium on Software Engineering for Adaptive and Self-Managing Systems
-
ICPE 2020: ACM International Conference on Performance Engineering
-
ICSA 2020: IEEE International Conference on Software Architecture
-
ECSA 2020: European Conference on Software Architectures
-
SEAA 2020: 46th Euromicro Conference on Software Engineering and Advanced Applications
-
ICSOC: 20th International Conference on Service-Oriented Computing
2021
Program co-chair : SEAMS 2021: International Symposium on Software Engineering for Adaptive and Self-Managing Systems
General co-chair: ECSA 2021: European Conference on Software Architectures
PC member of:
-
ICSE 2021: NIER Track, 43th International Conference on Software Engineering
-
ICPE 2021: ACM International Conference on Performance Engineering
-
ICSA 2021: IEEE International Conference on Software Architecture
-
SEAA 2021: 47th Euromicro Conference on Software Engineering and Advanced Applications
-
ICSOC: 19th International Conference on Service-Oriented Computing
2020
PC member of:
-
ICSE 2020: NIER Track, 42nd International Conference on Software Engineering
-
SEAMS 2020: International Symposium on Software Engineering for Adaptive and Self-Managing Systems
-
ICPE 2020: ACM International Conference on Performance Engineering
-
ICSA 2020: IEEE International Conference on Software Architecture
-
ECSA 2020: European Conference on Software Architectures
-
SEAA 2020: 46th Euromicro Conference on Software Engineering and Advanced Applications
-
ICSOC: 18th International Conference on Service-Oriented Computing
2019
Doctoral Symposium chair at European Conference on Software Architecture- ECSA 2019
PC member of:
PC member of:
-
ICSE 2019: 41st International Conference on Software Engineering
-
SEAMS 2019: International Symposium on Software Engineering for Adaptive and Self-Managing Systems
-
ICPE 2019: ACM International Conference on Performance Engineering
-
ICSA 2019: IEEE International Conference on Software Architecture
-
ECSA 2019: European Conference on Software Architectures
-
QUATIC 2019: track on Quality aspects in DevOPS development
-
SEAA 2019: 45th Euromicro Conference on Software Engineering and Advanced Applications
-
IoT-ASAP 2019: International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms
-
FAACS 2019: 3rd Workshop on Formal Approaches for Advanced Computing Systems
2018
Poster Co-chair, at ICSE 2018, IEEE International Conference on Software Architecture, Seattle, US, April 30-May 4, 2018
Doctoral Project track chair at the International Symposium on Software Engineering for Adaptive and Self-Managing Systems- SEAMS 2018
Co-organizer of the first workshop on Gender Equality in Software Engineering, ICSE 2018
Workshop co-chair at the European Conference on Software Engineering - European Conference on Software Architecture- ECSA 2018
PC member of:
Co-organizer of the first workshop on Gender Equality in Software Engineering, ICSE 2018
Workshop co-chair at the European Conference on Software Engineering - European Conference on Software Architecture- ECSA 2018
PC member of:
-
ICSE 2018: 40th International Conference on Software Engineering
-
NIER@ICSE 2018: New Ideas and Emerging Results (NIER) Track at the 40th International Conference on Software Engineering, 2018
-
ICPE 2018: ACM International Conference on Performance Engineering
-
ICSA 2018: IEEE International Conference on Software Architecture
-
ECSA 2018: European Conference on Software Architectures
-
ANT 2018: Track on system and software engineering
-
QUATIC 2018: track on Quality aspects in DevOPS development
-
SEAA 2018: 44th Euromicro Conference on Software Engineering and Advanced Applications
2017
Co-organizer of the Woman in Software Architecture Track at the European Conference on Software Architecture-ECSA 2017
PC member of:
-
ICPE 2017: ACM International Conference on Performance Engineering
-
ICSA 2017: IEEE International Conference on Software Architecture
-
ECSA 2017: European Conference on Software Architectures
-
SEAA 2017: 43th Euromicro Conference on Software Engineering and Advanced Applications
-
IoT-ASAP 2017: International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms
-
ICSE 2017-Poster Track: 39th ACM/IEEE International Conference on Software Engineering - Poster
-
Track EPEW 2017: 14th European Performance Engineering Workshop
-
FAACS 2017: 1st Workshop on Formal Approaches for Advanced Computing Systems
-
SoftIoT 2017: 1st International Workshop on Software Engineering for Internet of Things
2016
PC member of:
- ICPE 2016 International Conference on Performance Engineering, Delft, March 12-18, 2016
- WICSA & CompArch 2016 13th Working IEEE/IFIP Conference on Software Architecture \& 10th Federated Conference Series on Component-Based Software Engineering and Software Architecture, Venice, Italy, 5-8 April 2016.
- SEAMS 2016: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Austin, Texas, May 16-17, 2016
- ICGSE 2016: International Conference on Global Software Engineering
- ECSA 2016: European Conference on Software Architectures
- ICECCS 2016 International Conference on Engineering of Complex Computer Systems
- SEAA 2016: 42nd Euromicro Conference on Software Engineering and Advanced Applications
2015
Co-chair of Software Architecture: Theory, Technology, and Applications (SA-TTA 2015) track at the 30th ACM Symposium on Applied Computing (SAC).
Program co-chair of the 9th European Software Architecture Conference, September 2015, Dubrovnik, Croatia - ECSA 2015
Workshops co-chair at the IEEE/ACM International Conference on Software Engineering, Firenze Italia, May 16-24 2015 - ICSE 2015,
Editor of the Elsevier Journal of System and Software special issue on New Frontiers in Software Architecture
PC member of:
-
MODELS 2015, ACM/IEEE 18th International Conference on Model-Driven Engineering Language and Systems
-
ICECCS 2015 International Conference on Engineering of Complex Computer Systems
-
QoSA 2015: International Conference on the Quality of Software Architectures
-
CBSE 2015: International Symposium on Component Based Software Engineering
-
SEAA 2015: 41st Euromicro Conference on Software Engineering and Advanced Applications
-
QEST 2015: 12th International Conference on Quantitative Evaluation of Systems
-
ICGSE 2015: International Conference on Global Software Engineering
-
GPCE 2015: 14th International Conference on Generative Programming: Concepts & Experiences
2014
Co-chair of Software Architecture: Theory, Technology, and Applications (SA-TTA 2014) track at the 29th ACM Symposium on Applied Computing (SAC).
PC member of:
-
CompArch 2014 federated conference including CBSE, QoSA and WCOP, 30 June- 4 July, 2014: Lille, France.
-
ECSA 2014, European Conference on Software Architecture, Vienna Austria, 25-29 August, 2014
-
ANT-14, The 5th International Conference on Ambient Systems, Networks and Technologies, June 2 - 5, 2014, Hasselt, Belgium
-
ICECCS 2014, 19th International Conference on Engineering of Complex Computer Systems, August 4-7, Tianjin, China
-
FESCA 2014, International Workshop on Formal Engineering Approaches to Software Components and Architectures, Satellite event of ETAPS, held on March 12, 2014, Grenoble, France
-
ICPE 2014 International Conference on Performance Engineering, Dublin, March 23-26, 2014
-
MOCS 2014, Model-based development, Components and Services, track at EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2014
-
ICSE 2014, International Conference on Software Engineering, Hyderabad India, May 31-June 7 2014
-
MODELS 2014, 17th International Conference on Model Driven Engineering Languages and Systems, ACM/IEEE, Valencia, Spain, September 28- October 3, 2014
2013
Co-chair of Software Architecture: Theory, Technology, and Applications (SA-TTA 2013) track at the 28th ACM Symposium on Applied Computing (SAC).
PC member of:
-
FASE 2013, 16th International Conference on Fundamental Approaches to Software Engineering, Rome, 16-24 March 2013
-
ECSA 2013, European Conference on Software Architecture, July 2013, Montpellier, France
-
NIER 2013, New Ideas and Emerging Results, track at ICSE 2013, May 18-25, San Francisco
-
ICPE 2013 International Conference on Performance Engineering, Prague, April 21-24
-
ICECCS 2013 International Conference on Engineering of Complex Computer Systems
-
FESCA 2013, International Workshop on Formal Engineering Approaches to Software Components and Architectures, Satellite event of ETAPS, held on March 23rd, 2013, Rome, Italy
-
FAMES 2013, First IFIP/IEEE International Workshop on Formal Approaches to Managing Evolving Systems, Ghent, Belgium, 31 May 2013
-
CompArch 2013 federated conference including CBSE, QoSA and ISARCS, 17-21 June 2013: Vancouver, British Columbia, CANADA.
-
SERENE 2013, 5th International Workshop on Software Engineering for Resilient Systems
2012
General-chair of: Comparch 2012, federated conference including CBSE (International ACM Sigsoft Symposium on Component Based Software Engineering), QoSA (International ACM Sigsoft Conference on the Quality of Software Architectures) and ISARCS (International ACM Sigsoft Symposium on Architecting Critical systems).
PC member of:
- New Ideas and Emerging Results (NIER) track at ICSE 2012, the 34th International Conference on Software Engineering
- Workshop track at ICSE 2012, the 34th International Conference on Software Engineering
-
ICPE 2012 International Conference on Performance Engineering
-
ICECCS 2012 International Conference on Engineering of Complex Computer Systems
-
FESCA 2012 International Workshop on Formal Engineering Approaches to Software Components and Architecture
-
CLOSER 2012 2nd International Conference on Cloud Computing and Services Science
-
MODELS 2012, ACM/IEEE 15th International Conference on Model-Driven Engineering Language & Systems
-
SC 2012, International Conference on Software Composition 2012, co-located with TOOLS 2012 Federated Conference
-
SERENE 2012, 4th International Workshop on Software Engineering for Resilient Systems 27-28 September 2012 - Pisa, Italy
-
SEAA 2012: MOCS track: Model-based development, Components and Services, September 5-8, 2012, Cesme, Izmir, Turkey
-
Reaction 2012, International Workshop on REAL-TIME AND DISTRIBUTED COMPUTING IN EMERGING APPLICATIONS, December 4, 2012
-
Editor of the Springer Journal Software and Systems Modeling theme issue on Performance Modeling
2011
Program co-chair of: WOSP/SIPEW ICPE International Conference on Performance Engine
PC member of:
-
QoSA 2011: International Conference on the Quality of Software Architectures
-
CBSE 2011: International Symposium on Component Based Software Engineering
-
ECSA 2011: European Conference on Software Architectures
-
ISSRE 2011: International Symposium on Software Reliability Engineering
-
SERENE: International Workshop on Software Engineering for REsilient SystEms
-
QUOVADIS 2011 Second International Workshop on Quantitative Models in the Verification/Validation and Design of Software Intensive Systems, ESEC/FSE 2011
-
ASAS 2011: Workshop on Assurances for Self-Adaptive Systems, ESEC/FSE 2011
-
ICECCS International Conference on Engineering of Complex Computer Systems
-
FESCA International Workshop on Formal Engineering Approaches to Software Components and Architectures
2010
Organization and Program co-chair of QUOVADIS: First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (workshop at ICSE 2010)
Program co-chair MOCS Model-based development, Components and Services Track at EUROMICRO SEAA
PC member of:
-
WOSP/SIPEW, ICPE Joint WOSP/SIPEW International Conference on Performance Engineering
-
CBSE: International Symposium on Component Based Software Engineering
-
QOSA: International Conference on the Quality of Software Architectures (QoSA 2010)
-
SC: International Conference on Software Composition
-
ICECCS International Conference on Engineering of Complex Computer Systems
-
EPEW: 7th European Performance Engineering Workshop
-
SERENE: International Workshop on Software Engineering for REsilient SystEms
-
FESCA International Workshop on Formal Engineering Approaches to Software Components and Architectures
-
ViDAS. International Workshop on Validation and Verification of Dynamic Software Systems
-
QUATIC: International Conference on the Quality of Information and Communications Technology
-
QUASOSS: International Workshop on the Quality of Service-oriented Software Systems
2009
Program chair of Fifth International Conference on the Quality of Software Architectures (QoSA 2009)
Co-organizer of the GI-Dagstuhl-Seminar: "Model-Driven Quality Prediction " December 2009.
PC member of:
-
ESEC/FSE 2009: the joint European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
-
Workshop at ICSE 2009, IEEE, 31st International Conference on Software Engineering
-
EUROMICRO SEAA 2009: Service and Component-based software engineering track
-
PESOS 2009 Principles of Engineering Service-Oriented Systems, in conjunction with the 31st Int. Conf. on Software Engineering (ICSE 2009)
-
QUASOSS: International Workshop on the Quality of Service-oriented Software Systems
-
SERENE: International Workshop on Software Engineering for REsilient SystEms.
2008
Program chair of: 34th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2008
Workshop chair of ASE 2008: International Conference on Automated Software Engineering
PC member of:
-
ACM WOSP 2008: ACM International Workshop on Software and Performance
-
Fourth International Conference on the Quality of Software Architectures (QoSA 2008)
-
ICSOFT 2008: The 3rd International Conference on Software and Data Technologies,
-
ISEC 2008: First India Software Engineering Conference
-
SERA 2008: International Conference on Software Engineering Research, Management and Applications
-
AUTONOMICS 2008: Second International Conference on Autonomic Computing and Communication Systems
-
SERENE 2008: International Workshop on Software Engineering for REsilient SystEms
2007
Co-organizer of the GI-Dagstuhl-Seminar: "Modelling Contest: Common Component Modelling Example", August 2007
PC Member of
-
ESEC/FSE 2007, European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Dubrovnik, Croatia, September 3-7, 2007
-
ACM WOSP 2007, ACM International Workshop on Software and Performance
-
ASE 2007: International Conference on Automated Software Engineering
-
EUROMICRO 2007: Component-based software engineering track
-
Rosatea workshop: The Role of Software Architecture for Testing and Analysis
-
Third International Conference on the Quality of Software Architectures (QoSA 2007)
-
IW-SOWSE07: 2nd International Workshop on Service-Oriented Software Engineering
-
ICSOFT 2007: The 2nd International Conference on Software and Data Technologies
2006
PC Member of
-
CSDUML 2006, 5th International Workshop on Critical Systems Development Using Modeling Languages in conjunction with MoDELS/UML 2006, October 1-6, Genova, Italy
-
IEEE EUROMICRO 2006 Component-based software engineering track
-
WS-MaTe, International Workshop on Web Services - Modeling and Testing
-
IW-SOSE, ICSE- Workshop on Service-Oriented Software Engineering
-
EFTS 2006, International Workshop on Engineering of Fault Tolerant Systems
-
ISSTA workshop ROSATEA 2006, The Role of Software Architecture for Testing and Analysis
-
QoSA 2006, Second International Conference on the Quality of Software Architectures
2005
PC Member of
-
ACM WOSP 2005: ACM International Workshop on Software and Performance
-
EUROMICRO 2005: Component-based software engineering track
-
First International Conference on the Quality of Software Architectures (QoSA 2005)
2004
PC Member of
- ICSE2004 Doctoral Symposium
-
3rd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2002
-
Second ACIS Annual International Conference on Computer and Information Science
Curriculum Vitae (CV)
| 2023 - now | Full professor of software engineering, Karlsruhe Institute of Technology |
| 2011 - 2023 | Associate professor at Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano |
| 2005 - 2011 | Assistant professor at Dipartimento di Elettronica e Informazione, Politecnico di Milano |
| 1997 - 2005 | Assistant professor at the Computer Science Department, University of Rome Tor Vergata |
| 1995 - 1997 | Post-doc fellow at the Computer Science Department, University of Rome Tor Vergata |