| 2025 | GI | Towards Monitoring and Diagnosis of Quantum Digital Twins. | Martin Sachenbacher, Martin Leucker |
| 2024 | DX | A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. | Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen |
| 2024 | DX | Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). | Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker |
| 2023 | EUMAS | A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. | Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher |
| 2023 | FM | Digital Twin for Rescue Missions - a Case Study. | Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen |
| 2023 | FM | A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. | Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali |
| 2022 | RTNS | Runtime Verification of AUTOSAR Timing Extensions. | Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma |
| 2015 | GI | Workshop Energieinformatik. | Martin Leucker, Martin Sachenbacher, Ren Schnfelder |
| 2011 | AAAI | Efficient Energy-Optimal Routing for Electric Vehicles. | Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr |
| 2011 | KI | Compiling AI Engineering Models for Probabilistic Inference. | Paul Maier, Dominik Jain, Martin Sachenbacher |
| 2010 | AAAI | Computing Cost-Optimal Definitely Discriminating Tests. | Anika Schumann, Jinbo Huang, Martin Sachenbacher |
| 2010 | KI | The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. | Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher |
| 2010 | KI | Plan Assessment for Autonomous Manufacturing as Bayesian Inference. | Paul Maier, Dominik Jain, Stefan Waldherr, Martin Sachenbacher |
| 2009 | CP | Constraint-Based Optimal Testing Using DNNF Graphs. | Anika Schumann, Martin Sachenbacher, Jinbo Huang |
| 2009 | CPAIOR | Using Model Counting to Find Optimal Distinguishing Tests. | Stefan Heinz, Martin Sachenbacher |
| 2009 | ETFA | Factory Monitoring and Control with Mixed Hardware/software, Discrete/continuous Models. | Paul Maier, Martin Sachenbacher |
| 2009 | ETFA | Integrated Plan Tracking and Prognosis for Autonomous Production Processes. | Paul Maier, Martin Sachenbacher, Thomas Rhr, Lukas Kuhn |
| 2009 | KI | Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. | Paul Maier, Martin Sachenbacher, Thomas Rhr, Lukas Kuhn |
| 2008 | CP | Test Strategy Generation Using Quantified CSPs. | Martin Sachenbacher, Paul Maier |
| 2008 | CPAIOR | Constraint Optimization and Abstraction for Embedded Intelligent Systems. | Paul Maier, Martin Sachenbacher |
| 2006 | CPAIOR | Conflict-Directed A* Search for Soft Constraints. | Martin Sachenbacher, Brian C. Williams |
| 2005 | AAAI | Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior. | Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher |
| 2005 | IJCAI | Bounded Search and Symbolic Inference for Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2004 | CP | On-Demand Bound Computation for Best-First Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2004 | ECAI | Diagnosis as Semiring-Based Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2003 | IJCAI | Automated Qualitative Domain Abstraction. | Martin Sachenbacher, Peter Struss |