Olga Kouchnarenko

Available identifiers

zbMath Open kouchnarenko.olgaMaRDI QIDQ442147

List of research outcomes

Publication	Date of Publication	Type
An approximation-based approach for the random exploration of large models	2023-05-05	Paper
Under-approximation generation driven by relevance predicates and variants	2023-05-05	Paper
Approximating Event System Abstractions by Covering Their States and Transitions	2021-05-26	Paper
Test generation from event system abstractions to cover their states and transitions	2020-12-17	Paper
Opacity for linear constraint Markov chains	2018-04-18	Paper
Reduction of Workflow Nets for Generalised Soundness Verification	2017-02-21	Paper
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators	2017-02-01	Paper
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data	2016-12-21	Paper
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard	2016-11-23	Paper
Handling Left-Quadratic Rules When Completing Tree Automata	2015-03-23	Paper
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives	2015-03-19	Paper
Enhancing Approximations for Regular Reachability Analysis	2013-08-07	Paper
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations	2012-11-08	Paper
A Rule-Based Framework for Building Superposition-Based Decision Procedures	2012-10-16	Paper
On Positive TAGED with a Bounded Number of Constraints	2012-09-20	Paper
From Linear Temporal Logic Properties to Rewrite Propositions	2012-09-05	Paper
Loops and overloops for tree-walking automata	2012-08-09	Paper
Loops and Overloops for Tree Walking Automata	2011-07-29	Paper
Component simulation-based substitutivity managing QoS and composition issues	2010-08-26	Paper
How to Verify and Exploit a Refinement of Component-Based Systems	2010-02-02	Paper
HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA	2009-11-19	Paper
How to Tackle Integer Weighted Automata Positivity	2009-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q3181700	2009-10-12	Paper
TAGED Approximations for Temporal Properties Model-Checking	2009-07-09	Paper
Handling Algebraic Properties in Automatic Analysis of Security Protocols	2008-09-11	Paper
Finer Is Better: Abstraction Refinement for Rewriting Approximations	2008-08-28	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4472200	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4436980	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2764139	2002-01-22	Paper

Research outcomes over time

This page was built for person: Olga Kouchnarenko