1 citations · 1 across the 4 of their papers we have counts for
4 papers
Designing FSMs Specifications from Requirements with GPT 4.0
Omer Nguena Timo, Paul-Alexis Rodriguez, Florent Avellaneda
Finite state machines (FSM) are executable formal specifications of reactive systems. These machines are designed based on systems' requirements. The requirements are often recorde…
Mining Precise Test Oracle Modelled by FSM
Omer Nguena Timo
Precise test oracles for reactive systems such as critical control systems and communication protocols can be modelled with deterministic finite state machines (FSMs). Among other…
An Approach to Evaluating Learning Algorithms for Decision Trees
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda +2
Learning algorithms produce software models for realising critical classification tasks. Decision trees models are simpler than other models such as neural network and they are use…
Fault Detection for Timed FSM with Timeouts by Constraint Solving
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Recently, an efficient constraint solving-based approach has been developed to detect logical faults in systems specified with classical finite state machines (FSMs). The approach…