Publications
Number of publications matching the search criterion: 14
Book chapter (1)
Black-box protocol testing using Rebeca and Automata Learning (Mar 2025) Stefan Marksteiner, Mikael Sjödin Marjan Festschrift (part of FSEN 2025) (MarjanFest)
Journal article (2)
Learning single and compound-protocol automata and checking behavioral equivalences (Apr 2025) Stefan Marksteiner, David Schögler , Marjan Sirjani, Mikael Sjödin International Journal on Software Tools for Technology Transfer (STTT)
Demonstrating a Scenario-Based Safety Assurance Framework in Practice Martin Skoglund, Anders Thorsen , Ramana Reddy Avula , Karl Lundgren , Fredrik Warg
Conference/Workshop Paper (9)
Methodology for Test Case Allocation Based on a Formalized ODD (Aug 2025) Martin Skoglund, Fredrik Warg , Anders Thorsen , Sasikumar Punnekkat, Hans Hansson 44th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2025)
Formalizing Operational Design Domains with the Pkl Language (Jun 2025) Martin Skoglund, Fredrik Warg , Anders Thorsen , Sasikumar Punnekkat, Hans Hansson 36th IEEE Intelligent Vehicles Symposium (IEEE IV2025)
Machine Learning-Based Prognostic Approaches for Construction Equipment Powertrain Systems (Jun 2025) Zafer Yigit, Håkan Forsberg, Masoud Daneshtalab 36th IEEE Intelligent Vehicles Symposium (IEEE IV2025)
AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation (Jun 2025) Martin Skoglund, Fredrik Warg , Aria Mirzai , Anders Thorsen , Karl Lundgren , Peter Folkesson , Bastian Havers-zulka The 38th International Electric Vehicle Symposium & Exhibition (EVS38)
The Importance of a System-Level Approach when Bringing in New Technologies in Avionics (Oct 2024) Håkan Forsberg, Kristina Forsberg, Joakim Lindén 43rd Digital Avionics Systems Conference (DASC) (DASC'43)
Enhancing Drone Surveillance with NeRF: Real-World Applications and Simulated Environments (Oct 2024) Joakim Lindén, Giovanni Burresi , Håkan Forsberg, Masoud Daneshtalab, Ingemar Söderquist 43rd Digital Avionics Systems Conference (DASC) (DASC'43)
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)
Cost-Effective Fault Tolerance for CNNs Using Parameter Vulnerability Based Hardening and Pruning Mohammad Ahmadilivani , Seyedhamidreza Mousavi, Jaan Raik , Masoud Daneshtalab, Maksim Jenihhin 30th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS'24)
Saffira: a framework for assessing the reliability of systolic-array-based dnn accelerators Mahdi Taheri , Masoud Daneshtalab, Jaan Raik , Maksim Jenihhin , Salvatore Pappalardo , Joachim Paul , Alberto Bosio 27th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Report (1)
STATUS OF HYDROGEN SAFETY STANDARDS - for Residential Applications in Sweden Thorvaldur Jochumsson
Other (1)
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
