Omer Nguena Timo
Omer Nguena Timo
Computer Research Institute of Montréal
Vahvistettu sähköpostiosoite verkkotunnuksessa crim.ca
Nimike
Viittaukset
Viittaukset
Vuosi
Runtime enforcement of timed properties revisited
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, ON Timo
Formal Methods in System Design 45 (3), 381-422, 2014
292014
Runtime enforcement of timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, OLN Timo
International Conference on Runtime Verification, 229-244, 2012
272012
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
162015
Conformance testing of variable driven automata
ON Timo, A Rollet
2010 IEEE International Workshop on Factory Communication Systems …, 2010
162010
Multiple mutation testing from FSM
A Petrenko, ON Timo, S Ramesh
International conference on formal techniques for distributed objects …, 2016
122016
Remote testing of timed specifications
A David, KG Larsen, M Mikučionis, OLN Timo, A Rollet
IFIP International Conference on Testing Software and Systems, 65-81, 2013
122013
Multiple mutation testing from finite state machines with symbolic inputs
ON Timo, A Petrenko, S Ramesh
IFIP international conference on testing software and systems, 108-125, 2017
102017
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
92010
Test generation by constraint solving and FSM mutant killing
A Petrenko, ON Timo, S Ramesh
IFIP International Conference on Testing Software and Systems, 36-51, 2016
82016
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
62011
Checking sequence generation for symbolic input/output fsms by constraint solving
ON Timo, A Petrenko, S Ramesh
International Colloquium on Theoretical Aspects of Computing, 354-375, 2018
42018
On characteristic formulae for event-recording automata
OLN Timo, PA Reynier
32009
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
22016
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 (2), 501-527, 2019
12019
Using imprecise test oracles modelled by FSM
ON Timo, A Petrenko, S Ramesh
2019 IEEE International Conference on Software Testing, Verification and …, 2019
12019
Reachability in hierarchical machines
ON Timo, A Petrenko, A Dury, S Ramesh
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
12014
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
Synthesis for a weak real-time logic
O Nguena-Timo
Bordeaux 1, 2009
12009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20