« July 2016 »
July
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
25262728293031
Uni-Logo
You are here: Home Team Alexander Nutz
Document Actions

Alexander Nutz

 

Research Interests

Software model checking, Craig interpolation

Research

I worked on the interpolation-part of the SMT-solver SMTInterpol. I work on the interpolation-based software model checker called Ultimate Kojak, the C to Boogie translation of Ultimate and, of course, some other, still unpublished, projects. 

Publications

    • SMTInterpol: An Interpolating SMT Solver, with Jürgen Christ and Jochen Hoenicke in SPIN 2012. [PDF]
    • Proof Tree Preserving Interpolation, with Jürgen Christ and Jochen Hoenicke in TACAS 2013. [Technical Report PDF]
    • Ultimate Automizer with SMTInterpol - (Competition Contribution), with Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindemann, Christian Schilling and Andreas Podelski in TACAS 2013.
    • Ultimate Kojak - (Competition Contribution), with Daniel Dietsch, Evren Ermis, Jochen Hoenicke and Andreas Podelski in TACAS 2014.
    • Ultimate Kojak with Memory Safety Checks - (Competition Contribution), with Daniel Dietsch, Mostafa Mahmoud Mohamed and Andreas Podelski to appear in TACAS 2015.

    Tools

    Projects

    Consultation Hours

    Just come by, write me an e-mail if you want to make sure I am there and available at the time.

    Teaching

    Summer semester 2012

     assistance for Automata Theory (Seminar) and Decision Procedures (Lecture)

    Winter semester 2012/2013

     assistance for Cyber-Physical-Systems I -- Model Checking (Lecture)

    Summer semester 2013

     assistance for Decision Procedures (Lecture)

    Winter semester 2013/2014

     assistance for Informatik III (Theoretische Informatik)  (Lecture)

    Summer semester 2014

     assistance for Einführung in die Informatik (Lecture)

    Winter semester 2014/2015

     assistance for Informatik III (Theoretische Informatik) (Lecture)

    Summer semester 2015

     Seminars Automata Theory and Program Analysis, together with Matthias Heizmann and Christian Schilling

    Winter semester 2015/2016

     assistance for Decision Procedures (Lecture)

    Personal tools