Alexander Schremmer

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Computer Programs

Automatic Programming

Image Segmentation

Top Venues

Software Engineering

Publications

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
Programs from Proofs - Approach and Applications. Software Engineering (2014)
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
Programs from Proofs - A PCC Alternative. CAV (2013)
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
Zero Overhead Runtime Monitoring. SEFM (2013)