Formal Modelling and Analysis of Embedded Systems


Focusing on formal modelling, analysis, and verification techniques for real-time embedded systems. In particular, formal syntax and semantics of componentbased and service oriented models with extra-functional properties such as time or resources.

[Show all publications]

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry (Apr 2021)
Muhammad Abbas, Alessio Ferrari , Anas Shatnawi , Eduard Paul Enoiu, Mehrdad Saadatmand
International Working Conference on Requirement Engineering: Foundation for Software Quality (REFSQ 2021)

Industrial Scale Passive Testing with T-EARS (Mar 2021)
Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal
IEEE Conference on Software Testing, Validation and Verification 2021 (ICST 2021)

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker (Feb 2021)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Athanasios Stratis , Aitor Arrieta , Goiuria Sagardui
Innovations in Software Engineering Conference 2021 (ISEC 2021)

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps (Dec 2020)
Andrey Sadovykh , Gunnar Widforss, Dragos Truscan , Eduard Paul Enoiu, Wissam Mallouli , Rosa Iglesias , Alessandra Bagnato , Olga Hendel
Design, Automation and Test in Europe Conference (DATE 2021)

UML-based Modeling and Analysis of 5G Service Orchestration (Nov 2020)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu

Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach (Nov 2020)
Eduard Paul Enoiu, Gerald Tukseferi , Robert Feldt
IEEE International Workshop on Human and Social Aspects of Software Quality (HASQ 2020)

Cristina Seceleanu, Associate Professor

Room: U1-170
Phone: +46-21-151764