Alexander Biewer

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 3

Top Topics

Real Time Embedded

Decision Making

Anytime Algorithms

Hardware Design

Top Venues

Publications

Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt
On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. MBMV (2015)
Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. LPNMR (2015)
Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. DATE (2015)
Alexander Biewer, Jens Gladigau, Christian Haubelt
Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. ARCS Workshops (2014)
Alexander Biewer, Jens Gladigau, Christian Haubelt
A novel model for system-level decision making with combined ASP and SMT solving. DATE (2014)