Olga Tveretina

According to our database, Olga Tveretina authored at least 26 papers between 1998 and 2022.

Collaborative distances:

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

2022

Mortality and Edge-to-Edge Reachability are Decidable on Surfaces.

Mateus de Oliveira Oliveira, Olga Tveretina

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Component Interfaces with Loosely Synchronous Communication.

Raimund Kirner, Simon Maurer, Olga Tveretina

Proceedings of the 2nd International Conference on Societal Automation, 2021

2020

Non-local configuration of component interfaces by constraint satisfaction.

Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko

Constraints An Int. J., 2020

2019

Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds.

Andrei Sandler, Olga Tveretina

Proceedings of the Reachability Problems - 13th International Conference, 2019

2017

ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems.

Andrei Sandler, Olga Tveretina

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms.

Olga Tveretina

CoRR, 2017

2016

The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, Bert Gijsbers, Clemens Grelck

Parallel Process. Lett., 2016

Configuring Cloud-Service Interfaces Using Flow Inheritance.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Constraint Satisfaction Method for Configuring Non-local Service Interfaces.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Constraint Satisfaction in Coordinating Components Interfaces.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

CoRR, 2015

2014

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.

Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alex Shafarenko

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming

Pavels Zaicenkovs, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alexander V. Shafarenko

CoRR, 2013

A Conditional Superpolynomial Lower Bound for Extended Resolution.

Olga Tveretina

Proceedings of the Language and Automata Theory and Applications, 2013

2011

Deciding Reachability for 3-Dimensional Multi-Linear Systems

Olga Tveretina, Daniel Funke

Proceedings of Second International Symposium on Games, 2011

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker.

Tamara Mendt, Carsten Sinz, Olga Tveretina

Proceedings of the Business Information Systems Workshops, 2011

Probabilistic Model Checking of Constraints in a Supply Chain Business Process.

Tamara Mendt, Carsten Sinz, Olga Tveretina

Proceedings of the Business Information Systems - 14th International Conference, 2011

2010

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond.

Olga Tveretina, Carsten Sinz, Hans Zantema

J. Satisf. Boolean Model. Comput., 2010

2009

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas

Olga Tveretina, Carsten Sinz, Hans Zantema

Proceedings of the Proceedings Fourth Athens Colloquium on Algorithms and Complexity, 2009

2008

Modular Development of Hybrid Systems for Verification in Coq.

Milad Niqui, Olga Tveretina

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Generalizing DPLL and satisfiability for equalities.

Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema

Inf. Comput., 2007

2006

EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.

Olga Tveretina, Wieger Wesselink

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2005

A BDD-Representation for the Logic of Equality and Uninterpreted Functions.

Jaco van de Pol, Olga Tveretina

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

A Proof System and a Decision Procedure for Equality Logic.

Olga Tveretina, Hans Zantema

Proceedings of the LATIN 2004: Theoretical Informatics, 2004

A Decision Procedure for Equality Logic with Uninterpreted Functions.

Olga Tveretina

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Binary decision diagrams for first-order predicate logic.

Jan Friso Groote, Olga Tveretina

J. Log. Algebraic Methods Program., 2003

1998

Entropy-Based Design of Low Power FSMs.

Lilia Kashirova, Olga Tveretina

Proceedings of the 24th EUROMICRO '98 Conference, 1998