Martin Sachenbacher

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 6

Top Venues

FMDT@FM

EUMAS

IEEE Trans. Computers

RTNS

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS (2024)
Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM (2023)
Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. EUMAS (2023)
Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen
Digital Twin for Rescue Missions - a Case Study. FMDT@FM (2023)
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
Runtime Verification of AUTOSAR Timing Extensions. RTNS (2022)
Martin Leucker, Martin Sachenbacher, René Schönfelder
Workshop Energieinformatik. GI-Jahrestagung (2015)
Michela Milano, Barry O'Sullivan, Martin Sachenbacher
Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development. IEEE Trans. Computers 63 (1) (2014)
David Ciechanowicz, Martin Leucker, Martin Sachenbacher
Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. MKWI (2012)
Paul Maier, Dominik Jain, Martin Sachenbacher
Compiling AI Engineering Models for Probabilistic Inference. KI (2011)
Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr
Efficient Energy-Optimal Routing for Electric Vehicles. AAAI (2011)
Anika Schumann, Jinbo Huang, Martin Sachenbacher
Computing Cost-Optimal Definitely Discriminating Tests. AAAI (2010)
Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher
The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. KI (2010)
Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Automated plan assessment in cognitive manufacturing. Adv. Eng. Informatics 24 (3) (2010)
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)
Paul Maier, Dominik Jain, Stefan Waldherr, Martin Sachenbacher
Plan Assessment for Autonomous Manufacturing as Bayesian Inference. KI (2010)
Paul Maier, Martin Sachenbacher
Factory Monitoring and Control with Mixed Hardware/software, Discrete/continuous Models. ETFA (2009)
Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Integrated Plan Tracking and Prognosis for Autonomous Production Processes. ETFA (2009)
Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. KI (2009)
Stefan Heinz, Martin Sachenbacher
Using Model Counting to Find Optimal Distinguishing Tests. CPAIOR (2009)
Anika Schumann, Martin Sachenbacher, Jinbo Huang
Constraint-Based Optimal Testing Using DNNF Graphs. CP (2009)
Anika Schumann, Martin Sachenbacher, Jinbo Huang
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Martin Sachenbacher, Paul Maier
Test Strategy Generation Using Quantified CSPs. CP (2008)
Paul Maier, Martin Sachenbacher
Constraint Optimization and Abstraction for Embedded Intelligent Systems. CPAIOR (2008)
Martin Sachenbacher, Brian C. Williams
Conflict-Directed A* Search for Soft Constraints. CPAIOR (2006)
Martin Sachenbacher, Peter Struss
Task-dependent qualitative domain abstraction. Artif. Intell. 162 (1-2) (2005)
Martin Sachenbacher, Brian C. Williams
Bounded Search and Symbolic Inference for Constraint Optimization. IJCAI (2005)
Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher
Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior. AAAI (2005)
Martin Sachenbacher, Brian C. Williams
On-Demand Bound Computation for Best-First Constraint Optimization. CP (2004)
Martin Sachenbacher, Brian C. Williams
Diagnosis as Semiring-Based Constraint Optimization. ECAI (2004)
Martin Sachenbacher, Peter Struss
Automated Qualitative Domain Abstraction. IJCAI (2003)
Martin Sachenbacher, Peter Struss, Claes M. Calén
A Prototype for Model-based On-board Diagnosis of Automotive Systems. AI Commun. 13 (2) (2000)

Martin Sachenbacher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Sachenbacher