Sigurd Schneider

Sigurd Schneider

Universität des Saarlandes - Saarbrücken / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4440765
Saarland University
person_outline Sigurd Schneider's MOST POPULAR ARTICLES
1-) Leveraging existing instrumentation to automatically infer invariant-constrained models Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
2-) Terminating tableaux for graded hybrid logic with global modalities and role hierarchies International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
3-) Synoptic: Summarizing System Logs with Refinement. SLAML, 2010
4-) A linear first-order functional intermediate language for verified compilers International Conference on Interactive Theorem Proving, 344-358, 2015
5-) Axiomatic semantics for compiler verification Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016