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

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: Nina Yevtushenko