User: Guest  Login
Less Searchfields
Simple search
Sort by:
and:
More ...

Anika Schumann, Martin Sachenbacher, Jinbo Huang
Constraint-Based Optimal Testing Using DNNF Graphs
Lecture Notes in Computer Science
2009
5732
731-745

More ...

Martin Sachenbacher, Martin Leucker
Modeling and Optimization for Efficient Electrical Mobility: Challenges from the E-Tour Project
CP Workshop on Constraint Reasoning and Optimization for Computational Sustainability (CROCS)
2009

More ...

Martin Leucker, Martin Sachenbacher
Energy Informatics – Computer Science for Power and Energy Systems of the Future
European Computer Science Summit, 5th Annual INFORMATICS-Europe Meeting (ECSS-2009)
8-9 October 2009, Paris
2009

More ...

Paul Maier, Martin Sachenbacher
Self-Monitoring and Control for Embedded Systems using Hybrid Constraint Automata
Self-X in Engineering
Benjamin Klöpper, Wilhelm Dangelmaier
Monsenstein und Vannerdat
2009

More ...

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Lecture Notes in Computer Science
2009
5803

More ...

Stefan Heinz, Martin Sachenbacher
Using Model Counting to Find Optimal Distinguishing Tests
Lecture Notes in Computer Science
2009
5547
117-131

More ...

Anika Schumann, Martin Sachenbacher, Jinbo Huang
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Electronic Notes in Theoretical Computer Science
2009
253
2
87-99

More ...

Paul Maier
Self-Diagnosis and Self-Planning with Constraint-based Hybrid Models
Annual Conference of the Prognostics and Health Management Society (PHM-2009) Doctoral Consortium
San Diego, CA, September 27 – October 1, 2009
2009

More ...

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Integrating Model-based Diagnosis and Prognosis in Autonomous Production
Annual Conference of the Prognostics and Health Management Society (PHM-2009)
San Diego, CA, September 27 – October 1, 2009
2009

More ...

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Integrated Plan Tracking and Prognosis for Autonomous Production Processes
14th IEEE Conference on Emerging Technologies and Factory Automation (ETFA-2009)
Mallorca, Spain, September 22-26, 2009
2009