Formal Modelling and Analysis of Embedded Systems

Focus:

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.

Division:

Division of Networked and Embedded Systems

Members
Projects
Latest Publications

First Name	Last Name	Title
Ashalatha	Kunnappilly	Doctoral student
Cristina	Seceleanu	Associate Professor
Eduard Paul	Enoiu	Senior Lecturer
Nesredin	Mahmud	Doctoral student
Peter	Backeman	Post Doc
Predrag	Filipovikj
Raluca	Marinescu
Rong	Gu	Doctoral student
Simin	Cai

Project Title	Status
ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems	active
DPAC - Dependable Platforms for Autonomous systems and Control	active
Health5G: Future eHealth powered by 5G	active
Software Center: Aspects of Automated Testing	active
VeriDevOps - Automated Protection and Prevention to Meet Security Requirements in DevOps Environments	active
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)	finished
ARROWS - Design Techniques for Adaptive Embedded Systems	finished
CAMI - Artificially intelligent ecosystem for self-management and sustainable quality of life in AAL (Ambient Assisted Living)	finished
DAGGERS - Data aggregation for embedded real-time database systems	finished
Embedded Systems Verification using Timed Automata Technology (VR)	finished
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)	finished
PG-CBD-CVer – Component Verification	finished
Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software	finished
V-trustEE	finished
VeriSpec - Structured Specification and Automated Verification for Automotive Functional Safety	finished

[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
THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020)

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

Email: cristina.seceleanu@mdh.se
Room: U1-170
Phone: +46-21-151764

We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.

By continuing to use our website without changing the settings, you are agreeing to our use of cookies.

close

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00