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
422014
Runtime Enforcement of Timed Properties.
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, OL Nguena-Timo
RV, 229-244, 2012
362012
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
192015
Remote testing of timed specifications
A David, KG Larsen, M Mikučionis, OL Nguena Timo, A Rollet
Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013
172013
Conformance testing of variable driven automata
ON Timo, A Rollet
2010 IEEE International Workshop on Factory Communication Systems …, 2010
152010
Multiple mutation testing from FSM
A Petrenko, O Nguena Timo, S Ramesh
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
142016
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
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
82016
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
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
72018
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
Using imprecise test oracles modelled by FSM
ON Timo, A Petrenko, S Ramesh
2019 IEEE International Conference on Software Testing, Verification and …, 2019
32019
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
32016
On characteristic formulae for event-recording automata
OLN Timo, PA Reynier
32009
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
Reachability in hierarchical machines
ON Timo, A Petrenko, A Dury, S Ramesh
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
22014
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
12019
Fault model-driven testing from FSM with symbolic inputs
ON Timo, A Petrenko, S Ramesh
Software Quality Journal 27, 501-527, 2019
12019
Y Nut, a Phonetic-based Learning System for Spoken Languages
OLN Timo, TF Bissyandé
e-Infrastructure and e-Services for Developing Countries: 5th International …, 2014
12014
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