Martin Sachenbacher

According to our database, Martin Sachenbacher authored at least 36 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Towards Monitoring and Diagnosis of Quantum Digital Twins.

Martin Sachenbacher, Martin Leucker

Proceedings of the 55. Jahrestagung der Gesellschaft für Informatik, 2025

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

Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies.

Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen

Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany.

Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker

Proceedings of the 7th ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies, 2024

2023

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab.

Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

Digital Twin for Rescue Missions - a Case Study.

Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management.

Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Runtime Verification of AUTOSAR Timing Extensions.

Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

2015

Workshop Energieinformatik.

Martin Leucker, Martin Sachenbacher, René Schönfelder

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2014

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

2012

Ökonomische Bewertung von Vehicle-to-Grid in Deutschland.

David Ciechanowicz, Martin Leucker, Martin Sachenbacher

Proceedings of the Multikonferenz Wirtschaftsinformatik 2012: Tagungsband der MKWI 2012, Braunschweig, Germany, February 29, 2012

2011

Compiling AI Engineering Models for Probabilistic Inference.

Paul Maier, Dominik Jain, Martin Sachenbacher

Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

Efficient Energy-Optimal Routing for Electric Vehicles.

Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Automated plan assessment in cognitive manufacturing.

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn

Adv. Eng. Informatics, 2010

Plan Assessment for Autonomous Manufacturing as Bayesian Inference.

Paul Maier, Dominik Jain, Stefan Waldherr, Martin Sachenbacher

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles.

Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams

Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams

Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

Computing Cost-Optimal Definitely Discriminating Tests.

Anika Schumann, Jinbo Huang, Martin Sachenbacher

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.

Anika Schumann, Martin Sachenbacher, Jinbo Huang

Proceedings of Fifth Workshop on Model Based Testing, 2009

Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production.

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Integrated Plan Tracking and Prognosis for Autonomous Production Processes.

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Factory Monitoring and Control with Mixed Hardware/software, Discrete/continuous Models.

Paul Maier, Martin Sachenbacher

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Using Model Counting to Find Optimal Distinguishing Tests.

Stefan Heinz, Martin Sachenbacher

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Constraint-Based Optimal Testing Using DNNF Graphs.

Anika Schumann, Martin Sachenbacher, Jinbo Huang

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Constraint Optimization and Abstraction for Embedded Intelligent Systems.

Paul Maier, Martin Sachenbacher

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Test Strategy Generation Using Quantified CSPs.

Martin Sachenbacher, Paul Maier

Proceedings of the Principles and Practice of Constraint Programming, 2008

2006

Conflict-Directed A* Search for Soft Constraints.

Martin Sachenbacher, Brian C. Williams

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

2005

Task-dependent qualitative domain abstraction.

Martin Sachenbacher, Peter Struss

Artif. Intell., 2005

Bounded Search and Symbolic Inference for Constraint Optimization.

Martin Sachenbacher, Brian C. Williams

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior.

Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher

Proceedings of the Proceedings, 2005

2004

Diagnosis as Semiring-Based Constraint Optimization.

Martin Sachenbacher, Brian C. Williams

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

On-Demand Bound Computation for Best-First Constraint Optimization.

Martin Sachenbacher, Brian C. Williams

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Automated Qualitative Domain Abstraction.

Martin Sachenbacher, Peter Struss

Proceedings of the IJCAI-03, 2003

2001

Automated qualitative abstraction and its application to automotive systems.

Martin Sachenbacher

PhD thesis, 2001

2000

A Prototype for Model-based On-board Diagnosis of Automotive Systems.

Martin Sachenbacher, Peter Struss, Claes M. Calén

AI Commun., 2000