Follow
Omer Nguena Timo
Title
Cited by
Cited by
Year
Runtime enforcement of timed properties revisited
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, O Nguena Timo
Formal Methods in System Design 45, 381-422, 2014
472014
Runtime enforcement of timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, OL Nguena Timo
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
402013
Model-based testing of automotive software: Some challenges and solutions
A Petrenko, ON Timo, S Ramesh
Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015
222015
Remote testing of timed specifications
A David, KG Larsen, M Mikučionis, OL Nguena Timo, A Rollet
IFIP International Conference on Testing Software and Systems, 65-81, 2013
172013
Multiple mutation testing from FSM
A Petrenko, O Nguena Timo, S Ramesh
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
152016
Conformance testing of variable driven automata
ON Timo, A Rollet
2010 IEEE International Workshop on Factory Communication Systems …, 2010
142010
Multiple mutation testing from finite state machines with symbolic inputs
O Nguena Timo, A Petrenko, S Ramesh
Testing Software and Systems: 29th IFIP WG 6.1 International Conference …, 2017
102017
Checking sequence generation for symbolic input/output FSMs by constraint solving
O Nguena Timo, A Petrenko, S Ramesh
Theoretical Aspects of Computing–ICTAC 2018: 15th International Colloquium …, 2018
92018
Test generation by constraint solving and FSM mutant killing
A Petrenko, ON Timo, S Ramesh
Testing Software and Systems: 28th IFIP WG 6.1 International Conference …, 2016
92016
Automatic test generation for data-flow reactive systems with time constraints
OLN Timo, H Marchand, A Rollet
22nd IFIP International Conference on Testing Software and Systems (Short …, 2010
82010
Test selection for data-flow reactive systems based on observations
O Nguena-Timo, A Rollet
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
7*2011
Test data generation for cyclic executives with CBMC and Frama-C: a case study
ON Timo, G Langelier
Electronic Notes in Theoretical Computer Science 320, 35-51, 2016
42016
Fault model-driven testing from FSM with symbolic inputs
ON Timo, A Petrenko, S Ramesh
Software Quality Journal 27, 501-527, 2019
32019
Using imprecise test oracles modelled by FSM
ON Timo, A Petrenko, S Ramesh
2019 IEEE International Conference on Software Testing, Verification and …, 2019
32019
Reachability in hierarchical machines
ON Timo, A Petrenko, A Dury, S Ramesh
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
32014
Fault detection in timed FSM with timeouts by SAT-solving
ON Timo, D Prestat, F Avellaneda
2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019
22019
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts
O Nguena Timo, D Prestat, A Rollet
Testing Software and Systems: 31st IFIP WG 6.1 International Conference …, 2019
22019
On characteristic formulae for event-recording automata
OLN Timo, PA Reynier
22009
Y Nut, a Phonetic-based Learning System for Spoken Languages
OLN Timo, TF Bissyandé
International Conference on e-Infrastructure and e-Services for Developing …, 2013
12013
A Zone-based Reachability Analysis of Variable Driven Timed Automata
O Nguena-Timo, A Rollet
3rd International Conference on Advances in System Testing and Validation …, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20