GreenCode publications

1. King's College London

   RuntimeSpeQ: Specifying Runtime Monitors for Quantum Programs

   Flavio Melinte-Citea , Mohammad Reza Mousavi

   Conference paper · Proceedings of the 7th IEEE/ACM International Workshop on Quantum Software Engineering · 2026

   Details and citation PDF Publisher (DOI)

2. King's College London

   Causal Liability in Autonomous Systems

   K. Aryan , H. Chockler , M.R. Mousavi

   Paper · Proceddings of the 29th International Conference on Fundamental Approaches to Software Engineering (FASE 2026). Springer, 2026 · 2026

   Details and citation

3. King's College London

   Complete FSM Testing Using Strong Separability

   Robert M. Hierons , Mohammad Reza Mousavi

   Book chapter · Lecture Notes in Computer Science · 2026

   Details and citation PDF Publisher (DOI)

4. Fraunhofer IESEUniversidad Carlos III de MadridVBTZALUniversity of AugsburgTrier University of Applied SciencesTokiwa Software GmbHSiemens

   GreenCode SOTA Review WP3 2025: Static Code Analysis, QA and Artefact Generation (Deliverable D3.1)

   Andreas Jedlitschka (ed.) , Daniel Esteban Villamil (ed.) , Patricia Kelbert , Michele Albano , Chris Dean , Asger Posborg Jæhger, Adam Trendowicz , Anna Maria Vollmer et al.

   Project deliverable D3.1 · Public · ITEA 4 project 23016 GreenCode, deliverable D3.1 · 2025

   Details and citation PDF

5. Digital TacticsAalborg UniversityFraunhofer IESETrier University of Applied SciencesIrRADIAREISEPKAN EngineeringKing's College LondonSiemensTokiwa Software GmbHTWT Science & InnovationUniversidad Carlos III de MadridUniversity of AugsburgVBTZALRWTH Aachen

   GreenCode State of the Art Review (Deliverable D2.1)

   Chris Dean (ed.) , Bent Thomsen , Esther Kim , Philipp Zähl , Andreas Jedlitschka , Julien Siebert , Patricia Kelbert , Andreas Biesdorf et al.

   Project deliverable D2.1 · Public · ITEA 4 project 23016 GreenCode, deliverable D2.1 · 2025

   Details and citation PDF

6. King's College London

   Comparative Analysis of Carbon Footprint in Manual vs. LLM-Assisted Code Development

   Kuen Sum Cheung , Mayuri Kaul , Gunel Jahangirova , Mohammad Reza Mousavi , Eric Zie

   Paper · Proceedings of the 1st International Workshop on Responsible Software Engineering (ResponsibleSE 2025), ACM · 2025

   Details and citation Publisher (DOI)

7. King's College London

   Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement

   L. Henry , M.R. Mousavi , T. Neele, M. Sammartino

   Paper · Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv · 2025

   Details and citation