Synchronizability of Communicating Finite State Machines is not Decidable by Alain Finkel, Etienne Lozes

“…A system of communicating finite state machines is synchronizable if its send trace semantics, i.e.the set of sequences of sendings it can perform, is the same when its communications are FIFO asynchronous and when they are just rendez-vous synchronizations. …”
Get full text

Applications of Cubic Structures to Subsystems of Finite State Machines by Nabilah Abughazalah, Naveed Yaqoob

Subjects: “…cubic finite state machine…”
Get full text

DESIGN OF A SOFTWARE SYSTEM FOR FINITE STATE MACHINE (FSM) by Hussein Abdulameer Abdulkadhim

Subjects: Get full text

STATCOM Switching Technique Based on a Finite-State Machine by César Contreras, Juan C. Quirós, Inmaculada Casaucao, Alicia Triviño, Eliseo Villagrasa, José A. Aguado

Subjects: Get full text

Deriving Homing Sequences for Finite State Machines with Timed Guards by Aleksandr Sergeevich Tvardovskii, Nina Vladimirovna Yevtushenko

“…State identification is the well-known problem in the theory of Finite State Machines (FSM) where homing sequences (HS) are used for the identification of a current FSM state, and this fact is widely used in the area of software and hardware testing and verification. …”
Get full text

A Finite State Machine-Based Improved Cryptographic Technique by Mohammad Mazyad Hazzazi, Raja Rao Budaraju, Zaid Bassfar, Ashwag Albakri, Sanjay Mishra

Subjects: Get full text

A queuing system with distinct devices as the finite state machine by Andrey P Kotenko, Maksim B Bukarenko

Subjects: Get full text

Efficient Algebraic Method for Testing the Invertibility of Finite State Machines by Zineb Lotfi, Hamid Khalifi, Faissal Ouardi

Subjects: “…Finite State Machine…”
Get full text

Technology-enhanced learning (TEL) of finite state machines (FSMs) by Ling, Ping Liang

“…To ease the creation of Finite State Machine questions and provide many of such question for learner revision, this project aims to develop an automatic question generator specifically for Finite State Machine Question. …”
Get full text

Technology Enhanced Learning (TEL) of Finite State Machines (FSMs) by Han, Qin Qian

“…To expand the TEL field, a platform-independent Java application that generates all possible configurations of Finite State Machines (FSMs) was developed. The purpose of the application is to provide a virtual learning platform that allows users to practice the analysis of FSMs continuously. …”
Get full text

A clocked finite state machine built from DNA. by Costa Santini, C, Bath, J, Tyrrell, A, Turberfield, A

“…We implement a finite state machine by representing state, transition rules and input symbols with DNA components. …”

Area-Efficient Differential Fault Tolerance Encoding for Finite State Machines by Jiwoon Park, Hoyoung Yoo

Subjects: “…finite state machine…”
Get full text

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage by Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko

“…Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation methods to timed models. …”
Get full text

A New Approach for Implementing Finite State Machines with Input Multiplexing by Ignacio Garcia-Vargas, Raouf Senhadji-Navarro

Subjects: “…Finite State Machine…”
Get full text

State Merging and Splitting Strategies for Finite State Machines Implemented in FPGA by Adam Klimowicz, Valery Salauyou

Subjects: Get full text

A Novel Fuzzing Method for Zigbee Based on Finite State Machine by Baojiang Cui, Shurui Liang, Shilei Chen, Bing Zhao, Xiaobing Liang

Get full text

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines by Vladimir A. Zakharov

Get full text

A DNA Finite-State Machine Based on the Programmable Allosteric Strategy of DNAzyme by Jun Wang, Xiaokang Zhang, Peijun Shi, Ben Cao, Bin Wang

Subjects: Get full text

Conflict and Computation on Wikipedia: A Finite-State Machine Analysis of Editor Interactions by Simon DeDeo

Subjects: Get full text

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines by A. D. Ermakov, N. V. Yevtushenko

“…Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional requirements for software implementations. …”
Get full text