Omer Nguena Timo

16 papers C 5Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A formal approach for security pattern enforcement in software architecture.
Comput. Secur.
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2026 J jnl
Designing FSMs Specifications from Requirements with GPT 4.0.
CoRR
Omer Nguena Timo, Paul-Alexis Rodriguez, Florent Avellaneda
2026 — conf
On RBAC Maintenance for Preserving Confidentiality.
ICISSP (2)
Franck Arnaud Fotso Kuate, Omer Nguena Timo, Florent Avellaneda
2025 C conf
Test Generation for Deep Reinforcement Learning Using LRP-Guided Mutation of Classified Configurations.
ICTSS
Brice Tchuenkam, Omer Nguena Timo
2024 C conf
Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy.
CRiSIS
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2024 J jnl
Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking.
AI Ethics
Omer Nguena Timo, Tianqi Xiao, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
2024 — conf
Parametric Automata for Dynamic Access Control Policies.
FPS (1)
Franck Arnaud Fotso Kuate, Florent Avellaneda, Omer Nguena Timo
2024 — conf
Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy.
FPS (1)
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2022 J jnl
Mining Precise Test Oracle Modelled by FSM.
CoRR
Omer Nguena Timo
2021 C conf
Mining Precise Test Oracle Modelled by FSM.
ICTSS
Omer Nguena Timo
2020 J jnl
An Approach to Evaluating Learning Algorithms for Decision Trees.
CoRR
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
2019 C conf
Fault Detection in Timed FSM with Timeouts by SAT-Solving.
QRS
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
2019 J jnl
Fault model-driven testing from FSM with symbolic inputs.
Softw. Qual. J.
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
2019 C conf
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.
ICTSS
Omer Nguena Timo, Dimitri Prestat, Antoine Rollet
2019 — conf
Using Imprecise Test Oracles Modelled by FSM.
ICST Workshops
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
2018 J jnl
Fault Detection for Timed FSM with Timeouts by Constraint Solving.
CoRR
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda