| 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 | 47 | 2014 |
| 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 | 40 | 2013 |
| 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 | 23 | 2015 |
| 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 | 17 | 2013 |
| Multiple mutation testing from FSM A Petrenko, O Nguena Timo, S Ramesh Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 15 | 2016 |
| Conformance testing of variable driven automata ON Timo, A Rollet 2010 IEEE International Workshop on Factory Communication Systems …, 2010 | 14 | 2010 |
| 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 | 10 | 2017 |
| 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 | 9 | 2018 |
| 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 | 9 | 2016 |
| 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 | 8 | 2010 |
| 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 | 4 | 2016 |
| Fault model-driven testing from FSM with symbolic inputs ON Timo, A Petrenko, S Ramesh Software Quality Journal 27, 501-527, 2019 | 3 | 2019 |
| Using imprecise test oracles modelled by FSM ON Timo, A Petrenko, S Ramesh 2019 IEEE International Conference on Software Testing, Verification and …, 2019 | 3 | 2019 |
| Reachability in hierarchical machines ON Timo, A Petrenko, A Dury, S Ramesh Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014 | 3 | 2014 |
| 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 | 2 | 2019 |
| 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 | 2 | 2019 |
| On characteristic formulae for event-recording automata OLN Timo, PA Reynier | 2 | 2009 |
| 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 | 1 | 2013 |
| 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 | 1 | 2011 |
Alexandre PetrenkoCRIMDirección de correo verificada de crim.ca
