Stebėti
Sigurd Schneider
Pavadinimas
Cituota
Cituota
Metai
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
2972011
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
192010
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
142015
Axiomatic semantics for compiler verification
S Schäfer, S Schneider, G Smolka
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
72016
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–8