Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. - Alexander Biewer; Jens Gladigau; Christian Haubelt (ARCS Workshops, 2014)

A novel model for system-level decision making with combined ASP and SMT solving. - Alexander Biewer; Jens Gladigau; Christian Haubelt (DATE, 2014)

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. - Alexander Biewer; Benjamin Andres; Jens Gladigau; Torsten Schaub; Christian Haubelt (DATE, 2015)

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. - Benjamin Andres; Alexander Biewer; Javier Romero 003; Christian Haubelt; Torsten Schaub (LPNMR, 2015)

On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. - Alexander Biewer; Peter Munk; Jens Gladigau; Christian Haubelt (MBMV, 2015)