Omer Nguena Timo

16 papers C 5Journal 7Unranked 4

Year	Rank	Type	Title / 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