3 papers
cs.SE2026
Synthesizing Behavioural Models of CPS Using Automata Learning and Statistical Machine Learning
Negin Ayoughi, Baharin A. Jodat, Armina Faghihi +3
Inferring behavioural models from system executions is essential for supporting formal verification and analysis of complex, heterogeneous cyber-physical systems (CPS). Automata le…
cs.CR2024
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh +1
Intrusion detection systems are crucial for network security. Verification of these systems is complicated by various factors, including the heterogeneity of network platforms and…
cs.SE2023
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh +1
An input to a system reveals a non-robust behaviour when, by making a small change in the input, the output of the system changes from acceptable (passing) to unacceptable (failing…