« April 2019 »
April
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
2930
Uni-Logo
You are here: Home Team Tanja Schindler
Document Actions

Tanja Schindler

 

Research Interests

Satisfiability modulo theories, Craig interpolation

Publications

DBLP

  • Solving and Interpolating Constant Arrays Based on Weak Equivalences, in VMCAI 2019, together with Jochen Hoenicke. [doi]
  • Efficient Interpolation for the Theory of Arrays, in IJCAR 2018, together with Jochen Hoenicke. [doi] [extended version]
  • Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution), in TACAS 2018, together with Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, and Christian Schilling. [doi]
  • Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution), in TACAS 2018, together with Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, and Andreas Podelski. [doi]
  • Selfless Interpolation for Infinite-State Model Checking, in VMCAI 2018, together with Dejan Jovanović. [doi]

Internships

  • SRI International, New York. Working on interpolation for infinite-state model checking with Dejan Jovanović.

Tools

Consultation Hours

Please write me an e-mail to make an appointment.

Personal tools