conf.researchr.org / Tanja Schindler

Not registered as user yet

Name: Tanja Schindler

Affiliation: University of Freiburg

Personal website: https://swt.informatik.uni-freiburg.de/staff/schindler

Contributions

VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
Author of Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching within the VMCAI-track
VMCAI 2019 Author of Solving and Interpolating Constant Arrays Based on Weak Equivalences within the VMCAI 2019-track
ETAPS 2019 Author of Ultimate Automizer within the Posters-track
VMCAI 2018 Author of Selfless Interpolation for Infinite-State Model Checking within the VMCAI 2018-track