Karina Gitina

According to our database, Karina Gitina authored at least 6 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Preprocessing for DQBF.

Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Solving DQBF through quantifier elimination.

Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013

Equivalence Checking for Partial Implementations Revisited.

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Equivalence checking of partial designs using dependency quantified Boolean formulae.

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

2011

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas.

Christian Miller, Karina Gitina, Bernd Becker

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

2010

Bounded Model Checking of Incomplete Networks of Timed Automata.

Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker

Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010