| 2025 | CoDIT | A Comparative Study of SMT and MILP for the Nurse Rostering Problem. | Alvin Combrink, Stephie Do, Kristofer Bengtsson, Sabino Francesco Roselli, Martin Fabian |
| 2025 | CoDIT | Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding. | Alvin Combrink, Sabino Francesco Roselli, Martin Fabian |
| 2024 | CoDIT | Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department. | Alvin Combrink, David Johnson, Petr Moldan, Martin Fabian |
| 2023 | ICRA | Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. | Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Krger |
| 2022 | ICFEM | On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. | Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
| 2020 | MODELS | Automatically learning formal models: an industrial case from autonomous driving development. | Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian |
| 2020 | SAFECOMP | Supervisory Control Theory in System Safety Analysis. | Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian |
| 2019 | ETFA | Control components for Collaborative and Intelligent Automation Systems. | Martin Dahl, Endre Ers, Atieh Hanna, Kristofer Bengtsson, Martin Fabian, Petter Falkman |
| 2019 | ETFA | On the Safe IOCOS relation for Testing Safety PLC Code. | Adnan Khan, Martin Fabian |
| 2019 | FMICS | Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. | Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian |
| 2019 | ICRA | Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle | Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian |
| 2019 | INDIN | On-the-fly conformance testing of safety PLC code using QuickCheck. | Adnan Khan, David Thnnessen, Martin Fabian |
| 2019 | INDIN | Evaluating Two Semantics for Falsification using an Autonomous Driving Example. | Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut kesson |
| 2016 | ETFA | Error handling within highly automated automotive industry: Current practice and research needs. | Ashfaq Farooqui, Patrik Bergagard, Petter Falkman, Martin Fabian |
| 2014 | ICRA | Calculating restart states using reset transitions. | Patrik Bergagard, Martin Fabian |
| 2013 | ETFA | Derivation of placement transitions for offline calculation of restart states. | Patrik Bergagard, Martin Fabian |
| 2012 | ETFA | State-vector transition model applied to supervisory control. | Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut kesson |
| 2012 | ETFA | Planning in assembly systems - A common modeling for products and resources. | Julien Provost, Bengt Lennartson, Martin Fabian, sa Fasth, Johan Stahre |
| 2004 | ICRA | Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells. | Johan Richardsson, Kristin Danielsson, Martin Fabian |
| 2003 | ETFA | Automatic generation of PLC programs for control of flexible manufacturing cells. | Johan Richardsson, Martin Fabian |
| 2003 | IROS | Reuse of information as a base for development and verification of control programs for flexible manufacturing cells. | Johan Richardsson, Martin Fabian |
| 1998 | SMC | Modeling, specification and controller synthesis for discrete event systems. | Bengt Lennartson, Michael Tittus, Martin Fabian |
| 1995 | ICRA | Generic Resource Models and a Message-Passing Structure in an FMS Controller. | P. Gullander, Martin Fabian, Sven-Arne Andrasson, Bengt Lennartson, Anders Adlemo |