Veronique Bruyere

Veronique Bruyere

Université de Mons - Mons / Belgium
Engineering & Technology / Computer Science
AD Scientific Index ID: 1387934
University of Mons
person_outline Veronique Bruyere's MOST POPULAR ARTICLES
1-) Logic and p-recognizable sets of integers.V Bruyere, G Hansel, C Michaux, R VillemaireBulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 19943071994
2-) Acacia+, a tool for LTL synthesisA Bohy, V Bruyère, E Filiot, N Jin, JF RaskinInternational Conference on Computer Aided Verification, 652-657, 20121582012
3-) On the optimal reachability problem of weighted timed automataP Bouyer, T Brihaye, V Bruyere, JF RaskinFormal Methods in System Design 31 (2), 135-175, 20071032007
4-) Bertrand numeration systems and recognizabilityV Bruyère, G HanselTheoretical computer science 181 (1), 17-43, 1997951997
5-) Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative gamesV Bruyère, E Filiot, M Randour, JF RaskinInformation and Computation 254, 259-295, 2017912017