Synoptic: Summarizing System Logs with Refinement. - Sigurd Schneider; Ivan Beschastnikh; Slava Chernyak; Michael D. Ernst; Yuriy Brun (SLAML, 2010)

Leveraging existing instrumentation to automatically infer invariant-constrained models. - Ivan Beschastnikh; Yuriy Brun; Sigurd Schneider; Michael Sloan; Michael D. Ernst (SIGSOFT FSE, 2011)

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies - Mark Kaminski; Sigurd Schneider; Gert Smolka (Log. Methods Comput. Sci., 2011)

A Linear First-Order Functional Intermediate Language for Verified Compilers. - Sigurd Schneider; Gert Smolka; Sebastian Hack (ITP, 2015)

A First-Order Functional Intermediate Language for Verified Compilers. - Sigurd Schneider; Gert Smolka; Sebastian Hack (CoRR, 2015)

Axiomatic semantics for compiler verification. - Steven Schäfer; Sigurd Schneider; Gert Smolka (CPP, 2016)

An Inductive Proof Method for Simulation-based Compiler Correctness. - Sigurd Schneider; Gert Smolka; Sebastian Hack (CoRR, 2016)

Verified Spilling and Translation Validation with Repair. - Julian Rosemann; Sigurd Schneider; Sebastian Hack (ITP, 2017)

A verified compiler for a linear imperative / functional intermediate language. - Sigurd Schneider (2018)