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
Francisco	Pozo
Guillermo	Rodriguez-Navas	Senior Lecturer
Nesredin	Mahmud	Doctoral student
Peter	Backeman	Post Doc
Predrag	Filipovikj
Raluca	Marinescu
Rong	Gu	Doctoral student
Simin	Cai	Doctoral student

Project Title	Status
ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems	active
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)	active
DPAC - Dependable Platforms for Autonomous systems and Control	active
Health5G: Future eHealth powered by 5G	active
Software Center: Aspects of Automated Testing	active
V-trustEE	active
VeriDevOps - Automated Protection and Prevention to Meet Security Requirements in DevOps Environments	active
VeriSpec - Structured Specification and Automated Verification for Automotive Functional Safety	active
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

[Show all publications]

UML-based Modeling and Analysis of 5G Service Orchestration (Dec 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)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Agent-Based Software Testing: A Definition and Systematic Mapping Study (Oct 2020)
Pavithra Perumal Kumaresen , Mirgita Frasheri , Eduard Paul Enoiu
IEEE International Workshop on Automated and Intelligent Software Testing (AIST 2020)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

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