Alexander Biewer

According to our database, Alexander Biewer authored at least 5 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

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

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

A novel model for system-level decision making with combined ASP and SMT solving.

Alexander Biewer, Jens Gladigau, Christian Haubelt

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making.

Alexander Biewer, Jens Gladigau, Christian Haubelt

Proceedings of the ARCS 2014, 2014