Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Omer Nguena-Timo
@article{DBLP:journals/aiethics/TimoXAMB24,
author = {Omer Nguena Timo and
Tianqi Xiao and
Florent Avellaneda and
Yasir Malik and
Stefan D. Bruda},
title = {Evaluating trustworthiness of decision tree learning algorithms based
on equivalence checking},
journal = {{AI} Ethics},
volume = {4},
number = {1},
pages = {37--46},
year = {2024},
url = {https://doi.org/10.1007/s43681-023-00415-0},
doi = {10.1007/S43681-023-00415-0},
timestamp = {Sun, 28 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiethics/TimoXAMB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-01449,
author = {Omer Nguena Timo},
title = {Mining Precise Test Oracle Modelled by {FSM}},
journal = {CoRR},
volume = {abs/2204.01449},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.01449},
doi = {10.48550/ARXIV.2204.01449},
eprinttype = {arXiv},
eprint = {2204.01449},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-01449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Timo21,
author = {Omer Nguena Timo},
editor = {David Clark and
H{\'{e}}ctor D. Men{\'{e}}ndez and
Ana Rosa Cavalli},
title = {Mining Precise Test Oracle Modelled by {FSM}},
booktitle = {Testing Software and Systems - 33rd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2021, London, UK, November 10-12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13045},
pages = {20--36},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-04673-5\_2},
doi = {10.1007/978-3-031-04673-5\_2},
timestamp = {Wed, 28 Dec 2022 14:29:12 +0100},
biburl = {https://dblp.org/rec/conf/pts/Timo21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13665,
author = {Tianqi Xiao and
Omer Nguena Timo and
Florent Avellaneda and
Yasir Malik and
Stefan D. Bruda},
title = {An Approach to Evaluating Learning Algorithms for Decision Trees},
journal = {CoRR},
volume = {abs/2010.13665},
year = {2020},
url = {https://arxiv.org/abs/2010.13665},
eprinttype = {arXiv},
eprint = {2010.13665},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/TimoPR19,
author = {Omer Nguena Timo and
Alexandre Petrenko and
S. Ramesh},
title = {Fault model-driven testing from {FSM} with symbolic inputs},
journal = {Softw. Qual. J.},
volume = {27},
number = {2},
pages = {501--527},
year = {2019},
url = {https://doi.org/10.1007/s11219-019-9440-3},
doi = {10.1007/S11219-019-9440-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/TimoPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TimoPR19,
author = {Omer Nguena Timo and
Alexandre Petrenko and
S. Ramesh},
title = {Using Imprecise Test Oracles Modelled by {FSM}},
booktitle = {2019 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
22-23, 2019},
pages = {32--39},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTW.2019.00029},
doi = {10.1109/ICSTW.2019.00029},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/TimoPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/TimoPR19,
author = {Omer Nguena Timo and
Dimitri Prestat and
Antoine Rollet},
editor = {Christophe Gaston and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Multiple Mutation Testing for Timed Finite State Machine with Timed
Guards and Timeouts},
booktitle = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11812},
pages = {104--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31280-0\_7},
doi = {10.1007/978-3-030-31280-0\_7},
timestamp = {Mon, 03 Jan 2022 22:21:07 +0100},
biburl = {https://dblp.org/rec/conf/pts/TimoPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/TimoPA19,
author = {Omer Nguena Timo and
Dimitri Prestat and
Florent Avellaneda},
title = {Fault Detection in Timed {FSM} with Timeouts by SAT-Solving},
booktitle = {19th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019},
pages = {326--333},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/QRS.2019.00049},
doi = {10.1109/QRS.2019.00049},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/TimoPA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Nguena-TimoPR18,
author = {Omer Nguena{-}Timo and
Alexandre Petrenko and
S. Ramesh},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint
Solving},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {354--375},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_19},
doi = {10.1007/978-3-030-02508-3\_19},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Nguena-TimoPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-11119,
author = {Omer Nguena Timo and
Dimitri Prestat and
Florent Avellaneda},
title = {Fault Detection for Timed {FSM} with Timeouts by Constraint Solving},
journal = {CoRR},
volume = {abs/1811.11119},
year = {2018},
url = {http://arxiv.org/abs/1811.11119},
eprinttype = {arXiv},
eprint = {1811.11119},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-11119.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Nguena-TimoPR17,
author = {Omer Nguena{-}Timo and
Alexandre Petrenko and
S. Ramesh},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Multiple Mutation Testing from Finite State Machines with Symbolic
Inputs},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {108--125},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_7},
doi = {10.1007/978-3-319-67549-7\_7},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/Nguena-TimoPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrenkoNR16,
author = {Alexandre Petrenko and
Omer Nguena{-}Timo and
S. Ramesh},
editor = {Elvira Albert and
Ivan Lanese},
title = {Multiple Mutation Testing from {FSM}},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {222--238},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_15},
doi = {10.1007/978-3-319-39570-8\_15},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/PetrenkoNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PetrenkoNR16,
author = {Alexandre Petrenko and
Omer Nguena{-}Timo and
S. Ramesh},
editor = {Franz Wotawa and
Mihai Nica and
Natalia Kushik},
title = {Test Generation by Constraint Solving and {FSM} Mutant Killing},
booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9976},
pages = {36--51},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47443-4\_3},
doi = {10.1007/978-3-319-47443-4\_3},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/PetrenkoNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PetrenkoTR15,
author = {Alexandre Petrenko and
Omer Nguena{-}Timo and
S. Ramesh},
title = {Model-based testing of automotive software: some challenges and solutions},
booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
CA, USA, June 7-11, 2015},
pages = {118:1--118:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2744769.2747935},
doi = {10.1145/2744769.2747935},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PetrenkoTR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nguena-TimoL16,
author = {Omer Nguena{-}Timo and
Guillaume Langelier},
editor = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
title = {Test Data Generation for Cyclic Executives with {CBMC} and Frama-C:
{A} Case Study},
booktitle = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
June 23-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {320},
pages = {35--51},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.01.004},
doi = {10.1016/J.ENTCS.2016.01.004},
timestamp = {Thu, 10 Nov 2022 11:51:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nguena-TimoL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PinisettyFJMRN14,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Antoine Rollet and
Omer Nguena{-}Timo},
title = {Runtime enforcement of timed properties revisited},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {3},
pages = {381--422},
year = {2014},
url = {https://doi.org/10.1007/s10703-014-0215-y},
doi = {10.1007/S10703-014-0215-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PinisettyFJMRN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/TimoPDR14,
author = {Omer Nguena{-}Timo and
Alexandre Petrenko and
Arnaud Dury and
S. Ramesh},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
title = {Reachability in hierarchical machines},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
2014},
pages = {475--482},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051927},
doi = {10.1109/IRI.2014.7051927},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/TimoPDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/TimoR13,
author = {Omer Landry Nguena{-}Timo and
Pierre{-}Alain Reynier},
title = {On characteristic formulae for Event-Recording Automata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {47},
number = {1},
pages = {69--96},
year = {2013},
url = {https://doi.org/10.1051/ita/2012029},
doi = {10.1051/ITA/2012029},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/TimoR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africom/TimoB13,
author = {Omer Nguena{-}Timo and
Tegawend{\'{e}} F. Bissyand{\'{e}}},
editor = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
Gertjan van Stam},
title = {Y Nut, a Phonetic-Based Learning System for Spoken Languages},
booktitle = {e-Infrastructure and e-Services for Developing Countries - 5th International
Conference, {AFRICOMM} 2013, Blantyre, Malawi, November 25-27, 2013,
Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {135},
pages = {229--233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08368-1\_27},
doi = {10.1007/978-3-319-08368-1\_27},
timestamp = {Sun, 25 Oct 2020 22:50:40 +0100},
biburl = {https://dblp.org/rec/conf/africom/TimoB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DavidLMNR13,
author = {Alexandre David and
Kim G. Larsen and
Marius Mikucionis and
Omer Nguena{-}Timo and
Antoine Rollet},
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Remote Testing of Timed Specifications},
booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
pages = {65--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8\_5},
doi = {10.1007/978-3-642-41707-8\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/DavidLMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PinisettyFJMRN12,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Antoine Rollet and
Omer Landry Nguena{-}Timo},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Runtime Enforcement of Timed Properties},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {229--244},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_23},
doi = {10.1007/978-3-642-35632-2\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/PinisettyFJMRN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Nguena-TimoR11,
author = {Omer Nguena{-}Timo and
Antoine Rollet},
title = {Test Selection for Data-Flow Reactive Systems Based on Observations},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.71},
doi = {10.1109/ICSTW.2011.71},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Nguena-TimoR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/NguenaTimo09,
author = {Omer Landry Nguena{-}Timo},
title = {Synthesis for a Weak Real-Time Logic. (Synth{\`{e}}se pour une Logique
Temps-R{\'{e}}el Faible)},
school = {University of Bordeaux, France},
year = {2009},
url = {https://tel.archives-ouvertes.fr/tel-00440829},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/NguenaTimo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Nguena-TimoR09,
author = {Omer Landry Nguena{-}Timo and
Pierre{-}Alain Reynier},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {On Characteristic Formulae for Event-Recording Automata},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {70--78},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib9.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Nguena-TimoR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-29 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
