Alexander Schremmer, M.Sc.

 
Email:

alexander.schremmer(at)uni-paderborn.de

Homepage:Persönliche Homepage

Curriculum Vitae

2005 - 2011

Informatikstudium an der Universität Paderborn

Sept. 2011 - Nov. 2013Wissenschaftlicher Mitarbeiter an der Universität Paderborn

Veröffentlichungen


2014

D. Wonisch, A. Schremmer, H. Wehrheim: Programs from Proofs- Approach and Applications. In W. Hasselbring, N.C. Ehmke (eds.): In Proceedings fo the Software Engineering Conference (SE). , LNI, vol. 227, pp. 67-68 (2014)
[Show Abstract] [PDF] [Show BibTeX]


2013

D. Wonisch, A. Schremmer, H. Wehrheim: Programs from Proofs – A PCC Alternative. In N. Sharygina, H. Veith (eds.): Computer Aided Verification. Springer Berlin/Heidelberg, LNCS, vol. 8044, pp. 912-927 (2013)
[PDF] [Show BibTeX] [DOI]

D. Wonisch, A. Schremmer, H. Wehrheim: Zero Overhead Runtime Monitoring. In Software Engineering and Formal Methods. Springer Berlin/Heidelberg, LNCS, vol. 8137, pp. 244-258 (2013)
[Show Abstract] [PDF] [Show BibTeX] [DOI]

Impressum | Webmaster | Letzte Änderungen am : 19.11.2013