Development of methods and tools for model-based engineering of embedded systems. Including: models for architectural and behavioral descriptions of system and requirements for systems, techniques for analyzing and transforming models, and runtime architectures for resource efficient, predictable embedded systems.
Here you find some of the achievements of MEES group and code of our implementations.
Black-box protocol testing using Rebeca and Automata Learning (Mar 2025) Stefan Marksteiner, Mikael Sjödin Marjan Festschrift (part of FSEN 2025) (MarjanFest)
DAT (Dec 2024) Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab Sensors (MDPI Sensors)
TrajectoryNAS (Sep 2024) Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab Sensors (SENSC9)
Contrastive Learning for Lane Detection via cross-similarity (Sep 2024) Ali Zoljodi , Sadegh Abadijou , Mina Alibeigi , Masoud Daneshtalab Pattern Recognition (PR)
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model (May 2023) Alessio Bucaioni, Federico Ciccozzi, Amleto Di Salle , Mikael Sjödin Software and Systems Modeling (SoSym)
Gamifying model-based engineering: the PapyGame experience (Mar 2023) Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Antonio Cicchetti, Sebastien Gerard , Simone Bassanelli , Federica Gini , Annapaola Marconi Software and Systems Modeling (SoSym)