Nina Yevtushenko

Available identifiers

zbMath Open yevtushenko.ninaMaRDI QIDQ413310

List of research outcomes

Publication	Date of Publication	Type
Equivalence checking and intersection of deterministic timed finite state machines	2023-06-29	Paper
Adaptive experiments for state identification in finite state machines with timeouts	2022-12-09	Paper
Homing Sequence Derivation With Quantified Boolean Satisfiability	2022-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4995370	2021-06-24	Paper
Automated Synthesis of Protocol Converters with BALM-II	2021-05-18	Paper
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation	2018-03-29	Paper
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs	2017-08-16	Paper
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata	2015-09-23	Paper
Distinguishing Experiments for Timed Nondeterministic Finite State Machines	2014-05-05	Paper
On the Length of Homing Sequences for Nondeterministic Finite State Machines	2013-08-07	Paper
Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs	2012-05-04	Paper
The Unknown Component Problem	2012-02-02	Paper
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines	2011-07-29	Paper
Progressive Solutions to a Parallel Automata Equation	2010-05-26	Paper
Compositionally progressive solutions of synchronous FSM equations	2009-05-29	Paper
Progressive Solutions to FSM Equations	2009-02-12	Paper
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM	2007-05-02	Paper
FSM Test Translation Through Context	2007-05-02	Paper
Progressive solutions to a parallel automata equation	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4437059	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4437065	2003-12-07	Paper

Research outcomes over time

This page was built for person: Nina Yevtushenko