Alexander Biewer is an author at University of Potsdam specializing in computer engineering, engineering, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceReal-time SystemsParallel ComputingAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringParallel Programming
Publications per year
2015–2015
1
1
A Symbolic System Synthesis Approach for Hard Real-Time Systems Based on Coordinated SMT-Solving
Alexander Biewer, Benjamin Andres, Jens Gladigau et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 14 citations
Engineering, Real-time System Design, Computer Architecture +22
Rows per page
1–1 of 1