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.

[BibT_eX]

[DOI]

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

2022

Runtime Verification of AUTOSAR Timing Extensions.

[BibT_eX]

[DOI]

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

2015

Workshop Energieinformatik.

[BibT_eX]

Martin Leucker

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.

[BibT_eX]

[DOI]

Michela Milano

Barry O'Sullivan

IEEE Trans. Computers, 2014

2011

Compiling AI Engineering Models for Probabilistic Inference.

[BibT_eX]

[DOI]

Dominik Jain

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

Efficient Energy-Optimal Routing for Electric Vehicles.

[BibT_eX]

[DOI]

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

2010

Automated plan assessment in cognitive manufacturing.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2010

Plan Assessment for Autonomous Manufacturing as Bayesian Inference.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Computing Cost-Optimal Definitely Discriminating Tests.

[BibT_eX]

[DOI]

Anika Schumann

Jinbo Huang

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

2009

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

[BibT_eX]

[DOI]

Anika Schumann

Jinbo Huang

Proceedings of Fifth Workshop on Model Based Testing, 2009

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

[BibT_eX]

[DOI]

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

Integrated Plan Tracking and Prognosis for Autonomous Production Processes.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Using Model Counting to Find Optimal Distinguishing Tests.

[BibT_eX]

[DOI]

Stefan Heinz

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

Constraint-Based Optimal Testing Using DNNF Graphs.

[BibT_eX]

[DOI]

Anika Schumann

Jinbo Huang

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Constraint Optimization and Abstraction for Embedded Intelligent Systems.

[BibT_eX]

[DOI]

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

Test Strategy Generation Using Quantified CSPs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2006

Conflict-Directed A* Search for Soft Constraints.

[BibT_eX]

[DOI]

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

2005

Task-dependent qualitative domain abstraction.

[BibT_eX]

[DOI]

Peter Struss

Artif. Intell., 2005

Bounded Search and Symbolic Inference for Constraint Optimization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tsoline Mikaelian

Proceedings of the Proceedings, 2005

2004

Diagnosis as Semiring-Based Constraint Optimization.

[BibT_eX]