32 citations · 58 across the 5 of their papers we have counts for
7 papers
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…
Preventive Model-based Verification and Repairing for SDN Requests
Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko +3
Software Defined Networking (SDN) is a novel network management technology, which currently attracts a lot of attention due to the provided capabilities. Recently, different works…
Source Code Optimization using Equivalent Mutants
Jorge López, Natalia Kushik, Nina Yevtushenko
A mutant is a program obtained by syntactically modifying a program's source code; an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutan…
Adaptive Homing is in P
Natalia Kushik, Nina Yevtushenko
Homing preset and adaptive experiments with Finite State Machines (FSMs) are widely used when a non-initialized discrete event system is given for testing and thus, has to be set t…
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, w…
Discussion on Supervisory Control by Solving Automata Equation
Victor Bushkov, Nina Yevtushenko, Tiziano Villa
In this paper we consider the supervisory control problem through language equation solving. The equation solving approach allows to deal with more general topologies and to find a…