| Publication | Date of Publication | Type |
|---|
Equivalence checking and intersection of deterministic timed finite state machines
Formal Methods in System Design | 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
IEEE Transactions on Computers | 2022-08-05 | Paper |
| Deterministic timed finite state machines: equivalence checking and expressive power | 2021-06-24 | Paper |
Deterministic timed finite state machines: equivalence checking and expressive power
(available as arXiv preprint) | 2021-06-24 | Paper |
Automated Synthesis of Protocol Converters with BALM-II
Software Engineering and Formal Methods | 2021-05-18 | Paper |
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
Formal Aspects of Computing | 2018-03-29 | Paper |
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
Information Processing Letters | 2017-08-16 | Paper |
Describing homing and distinguishing sequences for nondeterministic finite state machines via synchronizing automata
Implementation and Application of Automata | 2015-09-23 | Paper |
Distinguishing experiments for timed nondeterministic finite state machines
Acta Cybernetica | 2014-05-05 | Paper |
On the Length of Homing Sequences for Nondeterministic Finite State Machines
Implementation and Application of Automata | 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
Information Processing Letters | 2012-05-04 | Paper |
| The Unknown Component Problem | 2012-02-02 | Paper |
Preset and adaptive homing experiments for nondeterministic finite state machines
Implementation and Application of Automata | 2011-07-29 | Paper |
Progressive solutions to a parallel automata equation
Formal Techniques for Networked and Distributed Systems - FORTE 2003 | 2010-05-26 | Paper |
Compositionally progressive solutions of synchronous FSM equations
Discrete Event Dynamic Systems | 2009-05-29 | Paper |
Progressive Solutions to FSM Equations
Implementation and Applications of Automata | 2009-02-12 | Paper |
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
Formal Approaches to Software Testing | 2007-05-02 | Paper |
FSM Test Translation Through Context
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Progressive solutions to a parallel automata equation
Theoretical Computer Science | 2006-10-20 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2013781 (Why is no real title available?) | 2003-12-07 | Paper |
| scientific article; zbMATH DE number 2013785 (Why is no real title available?) | 2003-12-07 | Paper |
