Martin Sachenbacher

37 papers A* 5A 4B 3C 6Misc 5Journal 4Unranked 8

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