A Prototype for Model-based On-board Diagnosis of Automotive Systems. - Martin Sachenbacher; Peter Struss; Claes M. Calén (AI Commun., 2000)

Automated qualitative abstraction and its application to automotive systems. - Martin Sachenbacher (2001)

Automated Qualitative Domain Abstraction. - Martin Sachenbacher; Peter Struss (IJCAI, 2003)

On-Demand Bound Computation for Best-First Constraint Optimization. - Martin Sachenbacher; Brian C. Williams (CP, 2004)

Diagnosis as Semiring-Based Constraint Optimization. - Martin Sachenbacher; Brian C. Williams (ECAI, 2004)

Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior. - Tsoline Mikaelian; Brian C. Williams; Martin Sachenbacher (AAAI, 2005)

Bounded Search and Symbolic Inference for Constraint Optimization. - Martin Sachenbacher; Brian C. Williams (IJCAI, 2005)

Task-dependent qualitative domain abstraction. - Martin Sachenbacher; Peter Struss (Artif. Intell., 2005)

Conflict-Directed A* Search for Soft Constraints. - Martin Sachenbacher; Brian C. Williams (CPAIOR, 2006)

Test Strategy Generation Using Quantified CSPs. - Martin Sachenbacher; Paul Maier (CP, 2008)

Constraint Optimization and Abstraction for Embedded Intelligent Systems. - Paul Maier; Martin Sachenbacher (CPAIOR, 2008)

Constraint-Based Optimal Testing Using DNNF Graphs. - Anika Schumann; Martin Sachenbacher; Jinbo Huang (CP, 2009)

Using Model Counting to Find Optimal Distinguishing Tests. - Stefan Heinz 001; Martin Sachenbacher (CPAIOR, 2009)

Factory Monitoring and Control with Mixed Hardware/software, Discrete/continuous Models. - Paul Maier; Martin Sachenbacher (ETFA, 2009)

Integrated Plan Tracking and Prognosis for Autonomous Production Processes. - Paul Maier; Martin Sachenbacher; Thomas Rühr; Lukas Kuhn (ETFA, 2009)

Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. - Paul Maier; Martin Sachenbacher; Thomas Rühr; Lukas Kuhn (KI, 2009)

Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. - Anika Schumann; Martin Sachenbacher; Jinbo Huang (MBT@ETAPS, 2009)

Computing Cost-Optimal Definitely Discriminating Tests. - Anika Schumann; Jinbo Huang; Martin Sachenbacher (AAAI, 2010)

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. - Klaus Havelund; Martin Leucker; Martin Sachenbacher; Oleg Sokolsky; Brian C. Williams (Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 2010)

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. - Klaus Havelund; Martin Leucker; Martin Sachenbacher; Oleg Sokolsky; Brian C. Williams (Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 2010)

The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. - Andreas Artmeier; Julian Haselmayr; Martin Leucker; Martin Sachenbacher (KI, 2010)

Plan Assessment for Autonomous Manufacturing as Bayesian Inference. - Paul Maier; Dominik Jain; Stefan Waldherr; Martin Sachenbacher (KI, 2010)

Automated plan assessment in cognitive manufacturing. - Paul Maier; Martin Sachenbacher; Thomas Rühr; Lukas Kuhn (Adv. Eng. Informatics, 2010)

Efficient Energy-Optimal Routing for Electric Vehicles. - Martin Sachenbacher; Martin Leucker; Andreas Artmeier; Julian Haselmayr (AAAI, 2011)

Compiling AI Engineering Models for Probabilistic Inference. - Paul Maier; Dominik Jain; Martin Sachenbacher (KI, 2011)

Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. - David Ciechanowicz; Martin Leucker; Martin Sachenbacher (MKWI, 2012)

Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development. - Michela Milano; Barry O'Sullivan; Martin Sachenbacher (IEEE Trans. Computers, 2014)

Workshop Energieinformatik. - Martin Leucker; Martin Sachenbacher; René Schönfelder (GI-Jahrestagung, 2015)

Runtime Verification of AUTOSAR Timing Extensions. - Max Jonas Friese; Hannes Kallwies; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Daniel Thoma (RTNS, 2022)

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. - Aliyu Tanko Ali; Martin Leucker; Andreas Schuldei; Leonard Stellbrink; Martin Sachenbacher (EUMAS, 2023)

Digital Twin for Rescue Missions - a Case Study. - Martin Leucker; Martin Sachenbacher; Lars Bernd Vosteen (FMDT@FM, 2023)

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. - Daniel Thoma; Martin Sachenbacher; Martin Leucker; Aliyu Tanko Ali (FMDT@FM, 2023)

Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. - Aliyu Tanko Ali; Andreas Schuldei; Martin Sachenbacher; Martin Leucker (COMPASS, 2024)

A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. - Elaheh Hosseinkhani; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Lars Bernd Vosteen (DX, 2024)

Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). - Alexander Weiss; Albert Schulz; Martin Heininger; Martin Sachenbacher; Martin Leucker (DX, 2024)