{"id":20,"date":"2023-09-21T09:29:41","date_gmt":"2023-09-21T09:29:41","guid":{"rendered":"https:\/\/www.es.mdu.se\/reliant\/?page_id=20"},"modified":"2023-09-21T10:18:26","modified_gmt":"2023-09-21T10:18:26","slug":"publications","status":"publish","type":"page","link":"https:\/\/www.es.mdu.se\/reliant\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<div id=\"publicationsList\" name=\"publicationsList\">\n     <li data-role=\"collapsible\" data-iconpos=\"right\" data-icon=\"false\" style=\"list-style:none\">\n<h2> Doctoral Thesis(1)<\/h2>\n<ul><li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7282-\">\n\t\t\t\t\t\t\t\t<b>Formal Methods-Based Security Testing Utilizing Threat Modeling, Automata Learning, and Model Checking (2025-10-23)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5085-Stefan_Marksteiner\">Stefan Marksteiner<\/a>\n<\/li><\/ul>\n<\/li>\n<li data-role=\"collapsible\" data-iconpos=\"right\" data-icon=\"false\" style=\"list-style:none\">\n<h2> Book chapter(1)<\/h2>\n<ul><li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7179-\">\n\t\t\t\t\t\t\t\t<b>Black-box protocol testing using Rebeca and Automata Learning (2025-03-21)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5085-Stefan_Marksteiner\">Stefan Marksteiner, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/63-Mikael_Sj%C3%83%C2%B6din\">Mikael Sj\u00f6din<\/a>Marjan Festschrift (part of FSEN 2025)(MarjanFest)<\/li><\/ul>\n<\/li>\n<li data-role=\"collapsible\" data-iconpos=\"right\" data-icon=\"false\" style=\"list-style:none\">\n<h2> Journal article(2)<\/h2>\n<ul>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7256-\">\n\t\t\t\t\t\t\t\t<b>Demonstrating a Scenario-Based Safety Assurance Framework in Practice (2025-10-29)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4409-Martin_Skoglund\">Martin Skoglund, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4412-Anders_Thorsen\">Anders Thorsen, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5618-Ramana_Reddy%20Avula\">Ramana Reddy Avula, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5614-Karl_Lundgren\">Karl Lundgren, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3966-Fredrik_Warg\">Fredrik Warg<\/a>MDPI Vehicles(Vehicles)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7180-\">\n\t\t\t\t\t\t\t\t<b>Learning single and compound-protocol automata and checking behavioral equivalences (2025-04-15)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5085-Stefan_Marksteiner\">Stefan Marksteiner, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5089-David_Sch%C3%83%C2%B6gler\">David Sch\u00f6gler, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3242-Marjan_Sirjani\">Marjan Sirjani, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/63-Mikael_Sj%C3%83%C2%B6din\">Mikael Sj\u00f6din<\/a> International Journal on Software Tools for Technology Transfer(STTT)<\/li>\n<\/ul>\n<\/li>\n<li data-role=\"collapsible\" data-iconpos=\"right\" data-icon=\"false\" style=\"list-style:none\">\n<h2> Conference\/Workshop Paper(11)<\/h2>\n<ul>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7336-\">\n\t\t\t\t\t\t\t\t<b>Physics-Informed Recurrent Architecture with Embedded Thermodynamic Dynamics for Robust Sequence Modeling (2026-04-25)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5341-Zafer_Yigit\">Zafer Yigit, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/2933-H%C3%83%C2%A5kan_Forsberg\">H\u00e5kan Forsberg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3303-Masoud_Daneshtalab\">Masoud Daneshtalab<\/a>34th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning(ESANN 2026)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7283-\">\n\t\t\t\t\t\t\t\t<b>STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation (2025-11-05)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5637-Tanmay_Khule\">Tanmay Khule, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5085-Stefan_Marksteiner\">Stefan Marksteiner, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5638-Jose_Alguindigue\">Jose Alguindigue, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5639-Hannes_Fuchs\">Hannes Fuchs, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5555-Sebastian_Fischmeister\">Sebastian Fischmeister, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5557-Apurva_Narayan\">Apurva Narayan<\/a>23rd ESCAR Europe 2025(ESCAR EUROPE'25)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7251-\">\n\t\t\t\t\t\t\t\t<b>Methodology for Test Case Allocation Based on a Formalized ODD (2025-08-21)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4409-Martin_Skoglund\">Martin Skoglund, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3966-Fredrik_Warg\">Fredrik Warg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4412-Anders_Thorsen\">Anders Thorsen, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/87-Sasikumar_Punnekkat\">Sasikumar Punnekkat, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4-Hans_Hansson\">Hans Hansson<\/a>44th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2025)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7250-\">\n\t\t\t\t\t\t\t\t<b>Formalizing Operational Design Domains with the Pkl Language (2025-06-25)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4409-Martin_Skoglund\">Martin Skoglund, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3966-Fredrik_Warg\">Fredrik Warg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4412-Anders_Thorsen\">Anders Thorsen, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/87-Sasikumar_Punnekkat\">Sasikumar Punnekkat, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4-Hans_Hansson\">Hans Hansson<\/a>36th IEEE Intelligent Vehicles Symposium(IEEE IV2025)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7189-\">\n\t\t\t\t\t\t\t\t<b>Machine Learning-Based Prognostic Approaches for Construction Equipment Powertrain Systems (2025-06-23)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5341-Zafer_Yigit\">Zafer Yigit, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/2933-H%C3%83%C2%A5kan_Forsberg\">H\u00e5kan Forsberg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3303-Masoud_Daneshtalab\">Masoud Daneshtalab<\/a>36th IEEE Intelligent Vehicles Symposium(IEEE IV2025)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7253-\">\n\t\t\t\t\t\t\t\t<b>AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation (2025-06-17)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4409-Martin_Skoglund\">Martin Skoglund, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3966-Fredrik_Warg\">Fredrik Warg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5613-Aria%20_Mirzai\">Aria  Mirzai, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4412-Anders_Thorsen\">Anders Thorsen, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5614-Karl_Lundgren\">Karl Lundgren, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5615-Peter_Folkesson\">Peter Folkesson, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5616-Bastian_Havers-zulka\">Bastian Havers-zulka<\/a>The 38th International Electric Vehicle Symposium &amp; Exhibition (EVS38)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/6971-\">\n\t\t\t\t\t\t\t\t<b>The Importance of a System-Level Approach when Bringing in New Technologies in Avionics (2024-10-01)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/2933-H%C3%83%C2%A5kan_Forsberg\">H\u00e5kan Forsberg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/408-Kristina_Forsberg\">Kristina Forsberg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4291-Joakim_Lind%C3%83%C2%A9n\">Joakim Lind\u00e9n<\/a>43rd Digital Avionics Systems Conference (DASC)(DASC'43)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/6972-\">\n\t\t\t\t\t\t\t\t<b>Enhancing Drone Surveillance with NeRF: Real-World Applications and Simulated Environments (2024-10-01)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4291-Joakim_Lind%C3%83%C2%A9n\">Joakim Lind\u00e9n, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5299-Giovanni_Burresi\">Giovanni Burresi, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/2933-H%C3%83%C2%A5kan_Forsberg\">H\u00e5kan Forsberg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3303-Masoud_Daneshtalab\">Masoud Daneshtalab, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5109-Ingemar_S%C3%83%C2%B6derquist\">Ingemar S\u00f6derquist<\/a>43rd Digital Avionics Systems Conference (DASC)(DASC'43)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/6983-\">\n\t\t\t\t\t\t\t\t<b>Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (2024-07-30)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5085-Stefan_Marksteiner\">Stefan Marksteiner, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3242-Marjan_Sirjani\">Marjan Sirjani, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/63-Mikael_Sj%C3%83%C2%B6din\">Mikael Sj\u00f6din<\/a>The 19th International Conference on Availability, Reliability and Security (ARES 2024)(ARES 2024)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/6964-\">\n\t\t\t\t\t\t\t\t<b>Saffira: a framework for assessing the reliability of systolic-array-based dnn accelerators (0000-00-00)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4665-Mahdi%20_Taheri\">Mahdi  Taheri, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3303-Masoud_Daneshtalab\">Masoud Daneshtalab, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5040-Jaan_Raik\">Jaan Raik, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5039-Maksim_Jenihhin\">Maksim Jenihhin, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5290-Salvatore%20_Pappalardo\">Salvatore  Pappalardo, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3330-Joachim_Paul\">Joachim Paul, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5292-Alberto%20_Bosio\">Alberto  Bosio<\/a>27th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems(DDECS)<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7008-\">\n\t\t\t\t\t\t\t\t<b>Cost-Effective Fault Tolerance for CNNs Using Parameter Vulnerability Based Hardening and Pruning (0000-00-00)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4664-Mohammad_Ahmadilivani\">Mohammad Ahmadilivani, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4781-Seyedhamidreza_Mousavi\">Seyedhamidreza Mousavi, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5040-Jaan_Raik\">Jaan Raik, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3303-Masoud_Daneshtalab\">Masoud Daneshtalab, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/5039-Maksim_Jenihhin\">Maksim Jenihhin<\/a>30th IEEE International Symposium on On-Line Testing and Robust System Design(IOLTS'24)<\/li>\n<\/ul>\n<\/li>\n<li data-role=\"collapsible\" data-iconpos=\"right\" data-icon=\"false\" style=\"list-style:none\">\n<h2> Report(2)<\/h2>\n<ul>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7279-\">\n\t\t\t\t\t\t\t\t<b>RELIANT Overview 2025 (2025-09-15)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/180-Kristina_Lundqvist\">Kristina Lundqvist, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/63-Mikael_Sj%C3%83%C2%B6din\">Mikael Sj\u00f6din, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/215-Malin_Rosqvist\">Malin Rosqvist, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/266-Federico_Ciccozzi\">Federico Ciccozzi, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/173-Cristina_Seceleanu\">Cristina Seceleanu, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/15-Baran_%C3%83%C2%87%C3%83%C2%BCr%C3%83%C2%BCkl%C3%83%C2%BC\">Baran \u00c7\u00fcr\u00fckl\u00fc<\/a>\n<\/li>\n<li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/7196-\">\n\t\t\t\t\t\t\t\t<b>STATUS OF HYDROGEN SAFETY STANDARDS - for Residential Applications in Sweden (0000-00-00)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/4650-Thorvaldur_Jochumsson\">Thorvaldur Jochumsson<\/a>\n<\/li>\n<\/ul>\n<\/li>\n<li data-role=\"collapsible\" data-iconpos=\"right\" data-icon=\"false\" style=\"list-style:none\">\n<h2> Other(1)<\/h2>\n<ul><li>\n<a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/publications\/6656-\">\n\t\t\t\t\t\t\t\t<b>RELIANT Industrial graduate school @ MDU (2023-03-29)<\/b><\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/180-Kristina_Lundqvist\">Kristina Lundqvist, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/15-Baran_%C3%83%C2%87%C3%83%C2%BCr%C3%83%C2%BCkl%C3%83%C2%BC\">Baran \u00c7\u00fcr\u00fckl\u00fc, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/219-Elisabeth_Uhlemann\">Elisabeth Uhlemann, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/63-Mikael_Sj%C3%83%C2%B6din\">Mikael Sj\u00f6din, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3242-Marjan_Sirjani\">Marjan Sirjani, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/173-Cristina_Seceleanu\">Cristina Seceleanu, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/286-Tiberiu_Seceleanu\">Tiberiu Seceleanu, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/215-Malin_Rosqvist\">Malin Rosqvist, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/280-Saad_Mubeen\">Saad Mubeen, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/77-Kaj_H%C3%83%C2%A4nninen\">Kaj H\u00e4nninen, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/2933-H%C3%83%C2%A5kan_Forsberg\">H\u00e5kan Forsberg, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/98-Mikael_Ekstr%C3%83%C2%B6m\">Mikael Ekstr\u00f6m, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/3303-Masoud_Daneshtalab\">Masoud Daneshtalab, <\/a><a target=\"_blank\" href=\"https:\/\/www.es.mdu.se\/staff\/266-Federico_Ciccozzi\">Federico Ciccozzi<\/a>\n<\/li><\/ul>\n<\/li>    <\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-20","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/pages\/20","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/comments?post=20"}],"version-history":[{"count":3,"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/pages\/20\/revisions"}],"predecessor-version":[{"id":66,"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/pages\/20\/revisions\/66"}],"wp:attachment":[{"href":"https:\/\/www.es.mdu.se\/reliant\/wp-json\/wp\/v2\/media?parent=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}