Author

Number of items: 23.
2026
  • Real-Hardware Deployment of a Nussbaum-Function PID Controller on a Current-Controlled Low-Cost Actuator via Hardware-Aware Optuna Tuning. (2026) Danial Zafaranchizadeh Moghaddam, Olga Tveretina and Abolfazl Zaraki
    • 2024
  • On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps. (2024) Olga Tveretina
    • 2022
  • Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. (2022) Mateus de Oliveira Oliveira and Olga Tveretina
    • 2021
  • Component Interfaces with Loosely Synchronous Communication. (2021) Raimund Kirner, Simon Maurer and Olga Tveretina
    • 2020
  • Non-Local Configuration of Component Interfaces by Constraint Satisfaction. (2020) Olga Tveretina, Pavel Zaichenkov and Alex Shafarenko
    • 2019
  • Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. (2019) Andrei Sandler and Olga Tveretina
  • Proceedings of Abstracts Engineering and Computer Science Research Conference 2019. (2019) Richard Nwawe, Marzio Grasso, Yong Kang CHEN, Jan Klusak, Vincenzo Rosiello, Nathan Counsell, Mohammad Reza Herfatmanesh, Helen Partou, Catherine Menon, Trevor Barker, Vito Veneziano, Raimund Kirner, Olga Tveretina, Alok Verma, Peter Lane, Mariana Lilley, Paul Canoville, Matthew Robinson, Brian Crook, Samantha Hall, Richard Kaye, Ian Johnston, Daniel McCluskey, Mark Tracey, Ian Munro, Yuan Wang, Bjorn Suckow, Ingo Klaholz, Damien Drix, Verena Vanessa Hafner, Michael Schmuker, Ankur Sinha, Christoph Metzner, Neil Davey, Roderick Adams, Volker Steuber, Rebecca Miko, Gilles Toffe, Guogang Ren, Diogo Montalvão, Sikiru O. Ismail, James Newman, Hom Dhakal, Funlade Sunmola, Deepak Panday, Na Helian, Daerefa-a Amafabia, Opukuro David-West, George Haritos, Pascal Schirmer, Iosif Mporas, Grigorios Skaltsas, Rana Siadati, Paul Wernick, Samuel Sutton, Himayasri Rao Lekkala, Paul Sayers, Imran Khan, Lola Cañamero, Eheda Hassan, Mouloud Denai, Georgios Pissanidis, Julia Goncharenko, Maria Schilstra, Nathan Beka, Rene te Boekhorst, Agnes Bonivart, Chrystopher Nehaniv, Shabnam Kadir, Ronakben Bhavsar, Yi Sun, David Mayor, Tony Steffert, Yong Kang CHEN, Andreas Chrysanthou, Ian Johnston, Raimund Kirner, Pandelis Kourtessis, Daniel McCluskey, Daniel Polani, Volker Steuber and Yichuang Sun
  • Interfaces and Concepts to Build Large Resilient and Predictable Systems. (2019) Raimund Kirner and Olga Tveretina
    • 2017
  • ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems. (2017) Andrei Sandler and Olga Tveretina
    • 2016
  • The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collection and S-Net. (2016) Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck, Olga Tveretina and Alex Shafarenko
  • Configuring Cloud-Service Interfaces Using Flow Inheritance. (2016) Pavel Zaichenkov, Olga Tveretina and Alex Shafarenko
  • A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces. (2016) Pavel Zaichenkov, Olga Tveretina and Alex Shafarenko picture_as_pdf
    • 2011
  • Deciding Reachability for 3-Dimensional Multi-Linear Systems. (2011) Olga Tveretina picture_as_pdf
  • Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011) Tamara Mendt, Olga Tveretina and Carsten Sinz picture_as_pdf
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina
    • 2010
  • Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema picture_as_pdf
    • 2009
  • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema
    • 2008
  • Modular Development of Hybrid Systems for Verification in Coq. (2008) Milad Niqui and Olga Tveretina
    • 2007
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema
    • 2005
  • A BDD-Representation for the Logic of Equality and Uninterpreted Functions. (2005) Jaco van de Pol and Olga Tveretina
    • 2004
  • A Decision Procedure for Equality Logic with Uninterpreted Functions. (2004) Olga Tveretina
  • A Proof System and a Decision Procedure for Equality Logic. (2004) Olga Tveretina and Hans Zantema
    • 2003
  • Binary decision diagrams for first-order predicate logic. (2003) Jan Friso Groote and Olga Tveretina
    • This list was generated on Wed Aug 12 02:37:36 2026 BST.