Christian Haubelt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Symbolic system synthesis using answer set programming Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Digital hardware/software-systems. Specification and verification. eXamen.press	2010-01-21	Paper
Solving Multi-objective Pseudo-Boolean Problems Theory and Applications of Satisfiability Testing – SAT 2007	2009-03-10	Paper
Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams	2008-10-17	Paper
Semi-automatic generation of mixed hardware/software prototypes from Simulink models	2008-10-17	Paper
Digitale Hardware/Software-Systeme eXamen.press	2007-04-10	Paper
Evolutionary Multi-Criterion Optimization Lecture Notes in Computer Science	2005-11-30	Paper
scientific article; zbMATH DE number 2079648 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1975078 (Why is no real title available?)	2003-09-04	Paper

Research outcomes over time

This page was built for person: Christian Haubelt