@book(key,
 editor       = {Wolfgang Ahrendt},
 year         = {2016},
 title        = {Deductive Software Verification - The {KeY} Book: From Theory to Practice},
 series       = {LNCS},
 volume       = {10001},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-49812-6},
)
@inproceedings(BeckertBormerKirstenEtAl2016,
 author       = {Bernhard Beckert and Thorsten Bormer and Michael Kirsten and Till Neuber and Mattias Ulbrich},
 year         = {2016},
 title        = {Automated Verification for Functional and Relational Properties of Voting Rules},
 editor       = {Umberto Grandi and Jeffrey~S. Rosenschein},
 booktitle    = {Sixth International Workshop on Computational Social Choice (COMSOC 2016)},
 doi          = {10.5445/IR/1000092712},
)
@inproceedings(hvc17,
 author       = {Bernhard Beckert and Sarah Grebing and Mattias Ulbrich},
 year         = {2017},
 title        = {An Interaction Concept for Program Verification Systems with Explicit Proof Object},
 editor       = {Ofer Strichman and Tzoref-Brill, Rachel},
 booktitle    = {13th International Haifa Verification Conference on Hardware and Software ({HVC} 2017)},
 series       = {LNCS},
 volume       = {10629},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-70389-3\_11},
)
@inproceedings(BeckertUVW15,
 author       = {Bernhard Beckert and Mattias Ulbrich and Vogel{-}Heuser, Birgit and Alexander Weigl},
 year         = {2015},
 title        = {Regression Verification for Programmable Logic Controller Software},
 editor       = {Michael~J. Butler and Sylvain Conchon and Za{\"{\i}}di, Fatiha},
 booktitle    = {17th International Conference on Formal Engineering Methods ({ICFEM} 2015)},
 series       = {LNCS},
 volume       = {9407},
 doi          = {10.1007/978-3-319-25423-4\_15},
)
@article(ClarksonS10,
 author       = {Michael~R. Clarkson and Fred~B. Schneider},
 year         = {2010},
 title        = {Hyperproperties},
 journal      = {Journal of Computer Security},
 volume       = {18},
 number       = {6},
 doi          = {10.3233/JCS-2009-0393},
)
@inproceedings(cleveZ05,
 author       = {Holger Cleve and Andreas Zeller},
 year         = {2005},
 title        = {Locating Causes of Program Failures},
 editor       = {Gruia{-}Catalin Roman and William~G. Griswold and Bashar Nuseibeh},
 booktitle    = {27th International Conference on Software Engineering {(ICSE} 2005)},
 publisher    = {{ACM}},
 doi          = {10.1145/1062455.1062522},
)
@inproceedings(groceKL04,
 author       = {Alex Groce and Daniel Kroening and Flavio Lerda},
 year         = {2004},
 title        = {Understanding Counterexamples with \texttt{explain}},
 editor       = {Rajeev Alur and Doron~A. Peled},
 booktitle    = {16th International Conference on Computer Aided Verification ({CAV} 2004)},
 series       = {LNCS},
 volume       = {3114},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-27813-9\_35},
)
@inproceedings(hentschelHB2016,
 author       = {Martin Hentschel and Reiner H{\"{a}}hnle and Richard Bubel},
 year         = {2016},
 title        = {The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts},
 editor       = {David Lo and Sven Apel and Sarfraz Khurshid},
 booktitle    = {31st International Conference on Automated Software Engineering ({ASE} 2016)},
 publisher    = {{ACM}},
 doi          = {10.1145/2970276.2970292},
)
@inproceedings(jalbertS10,
 author       = {Nicholas Jalbert and Koushik Sen},
 year         = {2010},
 title        = {A Trace Simplification Technique for Effective Debugging of Concurrent Programs},
 editor       = {Gruia{-}Catalin Roman and {van der Hoek}, Andr{\'{e}}},
 booktitle    = {18th International Symposium on Foundations of Software Engineering ({SIGSOFT} {FSE} 2010)},
 publisher    = {{ACM}},
 doi          = {10.1145/1882291.1882302},
)
@article(KieferKlebanovUlbrich2017,
 author       = {Moritz Kiefer and Vladimir Klebanov and Mattias Ulbrich},
 year         = {2018},
 title        = {Relational Program Reasoning Using Compiler {IR} - Combining Static Verification and Dynamic Analysis},
 journal      = {Journal of Automated Reasoning},
 volume       = {60},
 number       = {3},
 doi          = {10.1007/s10817-017-9433-5},
)
@inproceedings(KirstenCailloux2018,
 author       = {Michael Kirsten and Olivier Cailloux},
 year         = {2018},
 title        = {Towards automatic argumentation about voting rules},
 editor       = {Sandra Bringay and Juliette Mattioli},
 booktitle    = {4{\`{e}}me conf{\'{e}}rence sur les Applications Pratiques de l'Intelligence Artificielle ({APIA} 2018)},
 doi          = {10.5445/IR/1000092711},
)
@inproceedings(lanKCS2010,
 author       = {Tian Lan and David T.~H. Kao and Mung Chiang and Ashutosh Sabharwal},
 year         = {2010},
 title        = {An Axiomatic Theory of Fairness in Network Resource Allocation},
 booktitle    = {29th International Conference on Computer Communications ({INFOCOM} 2010)},
 publisher    = {{IEEE}},
 doi          = {10.1109/INFCOM.2010.5461911},
)
@incollection(SchebenGreiner2016,
 author       = {Christoph Scheben and Simon Greiner},
 year         = {2016},
 title        = {Information Flow Analysis},
 booktitle    = {Deductive Software Verification - The {Ke\kern-0.1emY} Book: From Theory to Practice},
 chapter      = {13},
 series       = {LNCS},
 volume       = {10001},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-49812-6\_13},
)