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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Olga Kouchnarenko