Sigurd Schneider
Sigurd Schneider
Bestätigte E-Mail-Adresse bei cs.uni-saarland.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Leveraging existing instrumentation to automatically infer invariant-constrained models
I Beschastnikh, Y Brun, S Schneider, M Sloan, MD Ernst
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
2352011
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies
M Kaminski, S Schneider, G Smolka
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
262009
Synoptic: Summarizing System Logs with Refinement.
S Schneider, I Beschastnikh, S Chernyak, MD Ernst, Y Brun
SLAML, 2010
152010
A linear first-order functional intermediate language for verified compilers
S Schneider, G Smolka, S Hack
International Conference on Interactive Theorem Proving, 344-358, 2015
132015
An Inductive Proof Method for Simulation-based Compiler Correctness
S Schneider, G Smolka, S Hack
arXiv preprint arXiv:1611.09606, 2016
32016
Verified spilling and translation validation with repair
J Rosemann, S Schneider, S Hack
International Conference on Interactive Theorem Proving, 427-443, 2017
22017
A verified compiler for a linear imperative/functional intermediate language
S Schneider
Saarländische Universitäts-und Landesbibliothek, 2018
12018
Axiomatic semantics for compiler verification
S Schäfer, S Schneider, G Smolka
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
12016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8