Mälardalen Real-Time Research Centre

First NameLast NameTitle
Abu Naser Masud Senior Lecturer
Adnan Causevic Senior Lecturer
Aida Causevic Senior Lecturer
Alessandro Papadopoulos Associate Professor,Docent
Alessio Bucaioni Researcher
Ali Balador Assistant Professor
Ali Sedaghatbaf Researcher
Anders Lager Industrial Doctoral Student
Andreas Gustavsson
Anna Friebe Doctoral student
Antonio Cicchetti Associate Professor
Ashalatha Kunnappilly Doctoral student
Ayhan Mehmed Industrial Doctoral Student
Barbara Gallina Associate Professor
Bjarne Johansson Industrial Doctoral Student
Björn Leander Industrial Doctoral Student
Björn Lisper Professor
Conny Collander Lecturer
Cristina Seceleanu Associate Professor
Dag Nyström Director of Education,Senior Lecturer
Damir Bilic Doctoral student
Damir Isovic Associate Professor,Dean of School
Daniel Flemström Doctoral student,Lecturer
Daniel Hallmans Industrial Doctoral Student
Daniel Kade Doctoral student
Daniel Sundmark Professor
David Rylander Doctoral student
Dino Mustefa Industrial Doctoral Student
Eduard Paul Enoiu Researcher
Edward Lee Visiting Professor
Elisabeth Uhlemann Associate Professor,Senior Lecturer
Faiz UL Muram Postdoctoral research fellow
Federico Ciccozzi Associate Professor,Docent
Filip Markovic Doctoral student
Francisco Pozo Doctoral student
Frank Lüders Senior Lecturer
Gabriele Capannini Lecturer
Gaetana Sapienza Researcher
Gordana Dodig-Crnkovic Professor
Guillermo Rodriguez-Navas Senior Lecturer
Gunnar Widforss Project Manager,Senior Project Manager
gunnar widforss Project Manager
Hans Hansson Professor
Heinz Schmidt Adjunct Professor
Henrik Gustavsson Industrial Doctoral Student
Henrik Jonsson Industrial Doctoral Student
Henrik Thane Adjunct Professor
Hongyu Pei-Breivold Associated Senior Lecturer
Hossein Fotouhi Assistant Professor
Husni Khanfar Doctoral student
Iain Bate Visiting Professor
Inna Valieva Industrial Doctoral Student
Irfan Sljivo Researcher
Ivan Svogor Researcher
Ivica Crnkovic Professor
Jakob Axelsson Professor
Jakob Danielsson Doctoral student
Jan Carlson Professor
Jan Gustafsson Associate Professor,Senior Lecturer
Johan Åkerberg Adjunct Professor
Josip Maras Researcher
Jukka Mäki-Turja Senior Lecturer
Juraj Feljan
Kaj Hänninen Senior Lecturer
Kivanc Doganay Doctoral student
Kristian Sandström Adjunct Professor
Kristina Forsberg Adjunct Professor
Kristina Lundqvist Professor
Leo Hatvani Lecturer
Linus Källberg Doctoral student
Magnus Larsson Adjunct Professor
Mahdi Momeni Kelageri Doctoral student
Mahnaz Malekzadeh Doctoral student
Malin Rosqvist Research project manager
Marcus Jägemar
Maryam Vahabi Researcher
Masoud Daneshtalab Associate Professor,Docent
Mats Björkman Professor
Mehrdad Saadatmand Postdoctoral research fellow
Mikael Sjödin Professor,Research Leader
Mohammad Ashjaei Assistant Professor
Mohammad Loni Doctoral student
Moris Behnam Associate Professor
Muhammad Abbas Industrial Doctoral Student
Muhammad Atif Javed Researcher
Nandinbaatar Tsog Doctoral student
Nesredin Mahmud Doctoral student
Ngoc Tam Lam Doctoral student
Niclas Niclas Industrial Doctoral Student
Nitin Desai Doctoral student
Omar Jaradat
Pablo Gutiérrez Peón Industrial Doctoral Student
Predrag Filipovikj Doctoral student
Radu Dobrin Associate Professor,Head of Division,International Coordinator
Raluca Marinescu Post Doc
Reinder J. Bril Visiting Professor
Richard Torkar
Rikard Lindell Associate Professor
Robbert Jongeling Doctoral student
Rong Gu Doctoral student
Saad Mubeen Associate Professor,Docent
Sara Abbaspour Asadollah Post Doc
Sara Dersten Doctoral student
Sasikumar Punnekkat Professor
Scott Hissam Doctoral student
Séverine Sentilles Senior Lecturer,Thesis Coordinator
Shaik Salman Industrial Doctoral Student
Shuhao Li Doctoral student
Sigrid Eldh Lecturer,Senior Lecturer
Sima Seenan Post Doc
Simin Cai Doctoral student
Soheila Sheikh Bahaei Doctoral student
Stefan Bygde Lecturer
Stefan Cedergren Associated Senior Lecturer
Stefan Karlsson Industrial Doctoral Student
Stephan Baumgart Industrial Doctoral Student
Stig Stig
Susanne Fronnå Research Administrator
Svetlana Girs Head of Division,Post Doc
Taufik Akbar Taufik Akbar Industrial Doctoral Student
Thomas Nolte Professor
Tiberiu Seceleanu Adjunct Professor
Tran Hung Post Doc
Wasif Afzal Associate Professor
Zdravko Zdravko Researcher
Zulqarnain Haider Research Assistant
Project TitleStatus
Affordable Safe & Secure Mobility Evolution active
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems active
Automation in High-performance Cyber Physical Systems Development active
CAMI - Artificially intelligent ecosystem for self-management and sustainable quality of life in AAL (Ambient Assisted Living) active
Cloud and the Industrial Internet of Things Initiative active
Collaborative Cloud Robotics active
Construction Factory active
DeepMaker: Deep Learning Accelerator on Commercial Programmable Devices active
Demand-Driven Slicing active
DESTINE: Developing Predictable Vehicle Software Utilizing Time Sensitive Networking active
DPAC - Dependable Platforms for Autonomous systems and Control active
eCraft2Learn - Digital Fabrication and Maker Movement in Education: Making Computer-supported Artefacts from Scratch active
ELECTRA - Evaluation of different communication technologies for heavy duty vehicle platooning active
FORA - Fog Computing for Robotics and Industrial Automation active
Future factories in the Cloud active
HERO: Heterogeneous systems - software-hardware integration active
HoPiiA+ active
ImmerSafe - Immersive Visual Technologies for Safety-critical Applications active
ITS-EASY Post Graduate School for Embedded Software and Systems active
MegaMaRt2 - Megamodelling at Runtime (ECSEL/Vinnova) active
MINEStrA: Model Integration for Early Simulation and Analysis active
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications active
Morphological Computing in Cognitive Systems active
ORION - Decision Support for Component-Based Software Engineering of Cyber-Physical Systems active
PARIS - Practical Probabilistic Timing Analysis of Real-Time Systems active
PICO - Philosophy of Information and Computing active
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication active
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems active
Serendipity - Secure and dependable platforms for autonomy active
Smart and networking underWAter Robots in cooperation MesheS active
Software Center: Aspects of Automated Testing active
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems active
System för dynamisk matchning av flygunderhållsförmågor och taktiska behov med maskininlärning och stora data active
TESTMINE - Mining Test Evolution for Improved Software Regression Test Selection (KKS) active
TESTOMAT Project - The Next Level of Test Automation active
Timing Analysis on Code-Level active
Timing Predictions of Complex Embedded Systems active
TOCSYC - Testing of Critical System Characteristics (KKS) active
TRYM: Trust your Metrics! active
V-trustEE active
VeriSpec - Structured Specification and Automated Verification for Automotive Functional Safety active
WCET - Worst-Case Execution Time analysis active
XIVT - eXcellence in Variant Testing active
3D Graphics Simulation finished
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems finished
AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) finished
ALL-TIMES finished
APARTS - Advanced Program Analysis for Real-Time Systems finished
APICS - A Process for Efficient and Effective Integration of Component Based Software finished
AproC, Automated Process Control finished
ARIES - Applied Research in Industrial and Embedded Software finished
ARROWS - Design Techniques for Adaptive Embedded Systems finished
ArtistDesign finished
ASIS - Architecture-based verification of software-intensive systems finished
ASSIST - Analysis and Synthesis of Industrial Software Systems finished
ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova) finished
AUTOSAR for Multi-Core in Automotive and Automation Industries finished
BALSOP - Business, Architecture, Organization, and Process: Balancing Software Product Development finished
BETSY - BEing on Time Saves EnergY finished
Business Oriented Concept Development of Electronic System Architecture and Platforms in Vehicles finished
CARTCOM - Monitoring and Probabilistic Analysis of Component-Based Embedded Control Systems finished
CHESS finished
COMET - COMponent-based Embedded real-Time database system finished
COMING finished
ConCentric CRAFT - Creative Activities Framework -- Theory and practice of Content-Centric interaction Technology finished
CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems finished
CONTESSE - Contract-Based Components for Embedded Software finished
DAGGERS - Data aggregation for embedded real-time database systems finished
Data Field Haskell finished
Devlopment of Software Intensive Systems in Complex Organizations finished
DICES - Distributed Component-based Embedded Software Systems finished
Dimensional Inference in Strongly Typed Modeling Languages. finished
ECSS - Efficient Certification of functional Safety for Software systems finished
EEMDEF finished
Embedded Systems Verification using Timed Automata Technology (VR) finished
ESTER finished
EURECA finished
EUROWEB - European Resaerch and Education Collaboration with Western Balkan finished
EvaluNet finished
EvaluNet - Step II finished
Extract finished
Femmva - Functional- and execution-models in modern electronic vehicle architectures finished
FIA - Strategic research into safety and security for the automation industry finished
FIND - Flexibilitet i Industriella system finished
FIRST - Flexible Integrating Scheduling Technology - EU IST Project finished
FLEXCON - flexibe controllers finished
FLEXI - Flexible Global Product Development and Integration finished
Gen&ReuseSafetyCases finished
Global Constraints in Constraint Programming and Local Search finished
Global Regional Cooperation in India finished
HEAVE finished
HELPING: Heterogeneous Platform Deployment Modelling of Embedded Systems finished
Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research finished
High Level Languages for Hard and Embedded Real-Time Systems finished
HISCORE - Hierarchical Scheduling of Complex Real-Time Embedded Systems finished
HoPiiA - Horizon 2020 and Process Industrial IT and Automation finished
IDEAS - Innovation and Design for Euro-Asian Scholars finished
InCloud - Indstrial Systems Cloud Computing finished
Intelligent Embedded Systems finished
InterAct@MRTC finished
ISE - Industrial Software Engineering finished
KISEK - Collaborative Internationalisation of Software Engineering in Croatia finished
KKS Adjungerad professur vid MDH - Avioniksystem finished
Linnaeus-Palme: ECUST finished
Linnaeus-Palme: ETF finished
Linnaeus-Palme: Salvador Brazil finished
Linneaus-Palme: Osijek, Croatia finished
Lobby&Propose finished
LUCIA - International Guest Professor Lucia Lo Bello finished
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova) finished
MultEx finished
Multi-Aspectual Data Management of Embedded Real-Time Systems finished
Music in Motion - A Project that combines Arts with Science finished
OPEN-SME Open-Source, Software Reuse, Service for SMEs finished
OpenController finished
Parallel Execution of PLEX programs finished
Pasas- Analyzing the enterprise-, system-, and software architecture impact of stakeholders’ concerns for profitable industrial software systems finished
PG-CBD-CVer – Component Verification finished
PG-CBD-IDE – Integration Development Environment finished
PG-CBD-Proc – Identification and specification of CB process finished
PG-CBD-StatA – Static Timing Analysis of Component-Based Systems finished
PG-CBD-Trans – Transformation of processes finished
PG-Demo-Evolution – Progress Component Models finished
PG-Demo-Leg – Legacy demonstrator finished
PG-Demo-SAVE – The SAVE demonstrator finished
PG-Dep-ET – Enabling Technologies for Evaluating/Ensuring Dependability finished
PG-Dep-FRAMES – Faults and Reliability Aware Methodologies for Efficient Scheduling finished
PG-Dep-PEARLS – Parameterized Evaluation of Attributes of Reliable Systems finished
PG-DEP-REMAP - Reliability Modeling and Analysis for Predictability Assurance finished
PG-Leg-Asis – Legacy Model Analysis finished
PG-Leg-Comp – Composition of legacy systems finished
PG-Leg-Extract – Model Extraction for Legacy Systems finished
PG-Pla-INC – Information Centric development of component-based embedded real-time systems finished
PG-Pla-OSC – Optimization, Synthesis and Configuration finished
PG-Pla-SSI – SubSystem Integration finished
PIFF - Programvaruexjobb för Industri- och ForskningsFramgång (Supporting framework for Software Engineering diploma work done in collaboration between industry and research in Sweden) finished
PPMsched - Performance Preserving Multicore Scheduling finished
PREMISE - Predictable Multicore Systems finished
PREPARE 09 Elektronikutveckling - processer för system baserade på plattformar/komponenter finished
PRESS - Predictable Embedded Software Systems finished
PreView: Developing Predictable Vehicle Software on Multi-core finished
Process Industrial Big Data Analytics finished
PROGRESS finished
Progress Terminology finished
PROMPT - Professional Master’s in Software Engineering (step II) finished
PROMPT - Professional Master’s program in Software Engineering (step I) finished
Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software finished
RALF3 - Software for Embedded High Performance Architectures finished
Real-time Architecture for Networked Multimedia Streaming systems finished
RetNet - The European Industrial Doctorate Programme on Future Real-Time Networks finished
RV-REDS - Resource Virtualization for Real-Time Embedded Distributed Systems finished
SaDIES. Safe Dynamic Software Instrumentation for Embedded Systems finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components finished
Safety-Critical Component-Based Systems finished
SALSART - Predictably Flexible and Reliable Real-Time Systems finished
SARPA - Safe and Robust Platform for Automated Vehicles finished
SAVE finished
SAVE-IT finished
SAVE/AutoComp finished
SC: Evolution Support for Architectural Artefacts finished
SeCRA - Security Case Run-Time Adaptation finished
SISTER - Strengthening the IST Research Capacity of Sofia University finished
SMARTCore: Model-driven support for deployment optimization of embedded systems on multicore finished
SOFAR - Software Architecture Evolution finished
SoftIn - Introducing methods and tools for software development in small and medium-sized enterprises finished
Sprint 10 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
Sprint 11 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
Sprint 12 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
Sprint 13 Project: SLA-IoT - Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
START - Stochastic Real-Time Analysis of Embedded Software Systems finished
Static Program Analysis for Complex Embedded systems finished
Strategic Knowledge Enhancement: International Visiting Professor, Alfonso Pierantonio finished
SWELL - Swedish V&V Excellence finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
TATOO - Test and Testability of Distributed Real-Time Systems finished
TESLA - Time-critical & Safe wireLess Automation communication finished
TIMERS - Timing analysis, modeling and evaluation of RTS finished
TIMMO-2-USE finished
Traffic Measurement and Analysis finished
Worst-Case Execution Time Analysis of Parallel Systems finished
GENIUS on-hold

[Show all publications]

Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262 (Jun 2019)
Barbara Gallina, Muhammad Atif Javed, Helmut Martin, Robert Bramberger
24th International Conference on Reliable Software Technologies (Ada-Europe-2019)

A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019)
Faiz UL Muram , Barbara Gallina, Samina Kanwal
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)

Towards a Two-layer Framework for Verifying Autonomous Vehicles (May 2019)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
11th Annual NASA Formal Methods Symposium (NFM 2019)

Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners (May 2019)
Predrag Filipovikj, Cristina Seceleanu
14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)

On Incorporating Security Parameters in Service Level Agreements (May 2019)
Aida Causevic, Elena Lisova, Mohammad Ashjaei, Syed Usman Ashgar
The 9th International Conference on Cloud Computing and Services Science (CLOSER2019)

Constructing Product-Line Safety Cases from Contract-Based Specifications (Apr 2019)
Damir Nesic , Mattias Nyberg , Barbara Gallina
The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)

Hans Hansson, Professor

Email: hans.hansson@mdh.se
Room: U3-076
Phone: +46 21 103163