Alexander Schremmer

According to our database, Alexander Schremmer authored at least 3 papers between 2013 and 2014.

Collaborative distances:

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

2014

Programs from Proofs - Approach and Applications.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Zero Overhead Runtime Monitoring.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Programs from Proofs - A PCC Alternative.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Proceedings of the Computer Aided Verification - 25th International Conference, 2013