
Efficient Multi-level Mine Dewatering Using UPPAAL Stratego (May 2026) Muhammad Naeem, Cristina Seceleanu, Alf J. Isaksson , Tiberiu Seceleanu The 27th International Symposium on Formal Methods (FM 2026)
Modeling and Evaluating an Intelligent Health Monitoring System for Detecting Atrial Fibrillation (Mar 2026) Petter Nordin, Hossein Fotouhi, Miguel Leon Ortiz, Oana Cramariuc , Tiberiu Seceleanu, Maryam Vahabi International Journal of Network Dynamics and Intelligence (IJNDI)
Contract-Based Runtime Monitoring for a Smart House Digital Twin (Sep 2025) Muhammad Naeem, Cristina Seceleanu, Tiberiu Seceleanu 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)
A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach (Jul 2025) Edin Jelačić, Cristina Seceleanu, Peter Backeman, Ning Xiong, Tiberiu Seceleanu, Axel Jantsch 49th IEEE International Conference on Computers, Software, and Applications ( COMPSAC-2025)
Machine learning-based cache miss prediction (Apr 2025) Edin Jelačić, Cristina Seceleanu, Ning Xiong, Peter Backeman, Sharifeh Yaghoobi , Tiberiu Seceleanu International Journal on Software Tools for Technology Transfer (STTT)
RELIANT Industrial graduate school @ MDU (Mar 2023) Kristina Lundqvist, Baran Çürüklü, Elisabeth Uhlemann, Mikael Sjödin, Marjan Sirjani, Cristina Seceleanu, Tiberiu Seceleanu, Malin Rosqvist, Saad Mubeen, Kaj Hänninen, Håkan Forsberg, Mikael Ekström, Masoud Daneshtalab, Federico Ciccozzi
Gaetana Sapienza (former)
Jakob Danielsson (former)
Sharmin Sultana Sheuly (former)
| Thesis Title | Status |
|---|---|
| Embedded Systems Tool Integration | in progress |