Publications

Doctoral Thesis(1)

• Formal Methods-Based Security Testing Utilizing Threat Modeling, Automata Learning, and Model Checking (2025-10-23)Stefan Marksteiner

Book chapter(1)

• Black-box protocol testing using Rebeca and Automata Learning (2025-03-21)Stefan Marksteiner, Mikael SjödinMarjan Festschrift (part of FSEN 2025)(MarjanFest)

Journal article(2)

• Demonstrating a Scenario-Based Safety Assurance Framework in Practice (2025-10-29)Martin Skoglund, Anders Thorsen, Ramana Reddy Avula, Karl Lundgren, Fredrik WargMDPI Vehicles(Vehicles)
• Learning single and compound-protocol automata and checking behavioral equivalences (2025-04-15)Stefan Marksteiner, David Schögler, Marjan Sirjani, Mikael Sjödin International Journal on Software Tools for Technology Transfer(STTT)

Conference/Workshop Paper(10)

• STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation (2025-11-05)Tanmay Khule, Stefan Marksteiner, Jose Alguindigue, Hannes Fuchs, Sebastian Fischmeister, Apurva Narayan23rd ESCAR Europe 2025(ESCAR EUROPE'25)
• Methodology for Test Case Allocation Based on a Formalized ODD (2025-08-21)Martin Skoglund, Fredrik Warg, Anders Thorsen, Sasikumar Punnekkat, Hans Hansson44th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2025)
• Formalizing Operational Design Domains with the Pkl Language (2025-06-25)Martin Skoglund, Fredrik Warg, Anders Thorsen, Sasikumar Punnekkat, Hans Hansson36th IEEE Intelligent Vehicles Symposium(IEEE IV2025)
• Machine Learning-Based Prognostic Approaches for Construction Equipment Powertrain Systems (2025-06-23)Zafer Yigit, Håkan Forsberg, Masoud Daneshtalab36th IEEE Intelligent Vehicles Symposium(IEEE IV2025)
• AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation (2025-06-17)Martin Skoglund, Fredrik Warg, Aria Mirzai, Anders Thorsen, Karl Lundgren, Peter Folkesson, Bastian Havers-zulkaThe 38th International Electric Vehicle Symposium & Exhibition (EVS38)
• The Importance of a System-Level Approach when Bringing in New Technologies in Avionics (2024-10-01)Håkan Forsberg, Kristina Forsberg, Joakim Lindén43rd Digital Avionics Systems Conference (DASC)(DASC'43)
• Enhancing Drone Surveillance with NeRF: Real-World Applications and Simulated Environments (2024-10-01)Joakim Lindén, Giovanni Burresi, Håkan Forsberg, Masoud Daneshtalab, Ingemar Söderquist43rd Digital Avionics Systems Conference (DASC)(DASC'43)
• Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (2024-07-30)Stefan Marksteiner, Marjan Sirjani, Mikael SjödinThe 19th International Conference on Availability, Reliability and Security (ARES 2024)(ARES 2024)
• Saffira: a framework for assessing the reliability of systolic-array-based dnn accelerators (0000-00-00)Mahdi Taheri, Masoud Daneshtalab, Jaan Raik, Maksim Jenihhin, Salvatore Pappalardo, Joachim Paul, Alberto Bosio27th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems(DDECS)
• Cost-Effective Fault Tolerance for CNNs Using Parameter Vulnerability Based Hardening and Pruning (0000-00-00)Mohammad Ahmadilivani, Seyedhamidreza Mousavi, Jaan Raik, Masoud Daneshtalab, Maksim Jenihhin30th IEEE International Symposium on On-Line Testing and Robust System Design(IOLTS'24)

Report(2)

• RELIANT Overview 2025 (2025-09-15)Kristina Lundqvist, Mikael Sjödin, Malin Rosqvist, Federico Ciccozzi, Cristina Seceleanu, Baran Çürüklü
• STATUS OF HYDROGEN SAFETY STANDARDS - for Residential Applications in Sweden (0000-00-00)Thorvaldur Jochumsson

Other(1)

• RELIANT Industrial graduate school @ MDU (2023-03-29)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