| Logic and p-recognizable sets of integers. V Bruyere, G Hansel, C Michaux, R Villemaire Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994 | 319 | 1994 |
| Acacia+, a tool for LTL synthesis A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 165 | 2012 |
| On the optimal reachability problem of weighted timed automata P Bouyer, T Brihaye, V Bruyere, JF Raskin Formal Methods in System Design 31 (2), 135-175, 2007 | 104 | 2007 |
| On the optimal reachability problem of weighted timed automata P Bouyer, T Brihaye, V Bruyere, JF Raskin Formal Methods in System Design 31 (2), 135-175, 2007 | 104 | 2007 |
| Bertrand numeration systems and recognizability V Bruyère, G Hansel Theoretical computer science 181 (1), 17-43, 1997 | 86 | 1997 |
| Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games V Bruyère, E Filiot, M Randour, JF Raskin Information and Computation 254, 259-295, 2017 | 82 | 2017 |
| On optimal timed strategies T Brihaye, V Bruyere, JF Raskin FORMATS 5, 49-64, 2005 | 79 | 2005 |
| Model-checking for weighted timed automata T Brihaye, V Bruyere, JF Raskin Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004 | 79 | 2004 |
| Synthesis from LTL Specifications with Mean-Payoff Objectives. A Bohy, V Bruyere, E Filiot, JF Raskin TACAS 13, 169-184, 2013 | 56 | 2013 |
| On completion of codes with finite deciphering delay V Bruyère, L Wang, L Zhang European Journal of Combinatorics 11 (6), 513-521, 1990 | 51 | 1990 |
| Automata on linear orderings V Bruyere, O Carton Mathematical Foundations of Computer Science 2001: 26th International …, 2001 | 50 | 2001 |
| Durations, parametric model-checking in timed automata with Presburger arithmetic V Bruyere, E Dall’Olio, JF Raskin STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science …, 2003 | 48 | 2003 |
| Variable-length maximal codes V Bruyere, M Latteux Automata, Languages and Programming: 23rd International Colloquium, ICALP'96 …, 1996 | 48 | 1996 |
| Automata on linear orderings V Bruyere, O Carton Journal of Computer and System Sciences 73 (1), 1-24, 2007 | 47 | 2007 |
| Real-time model-checking: Parameters everywhere V Bruyere, JF Raskin arXiv preprint cs/0701138, 2007 | 44 | 2007 |
| Computer aided synthesis: a game-theoretic approach V Bruyère Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017 | 35 | 2017 |
| On (subgame perfect) secure equilibrium in quantitative reachability games T Brihaye, V Bruyère, J De Pril, H Gimbert arXiv preprint arXiv:1205.6346, 2012 | 32 | 2012 |
| Secure equilibria in weighted games V Bruyère, N Meunier, JF Raskin Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 30 | 2014 |
| The complexity of subgame perfect equilibria in quantitative reachability games T Brihaye, V Bruyère, A Goeminne, JF Raskin, M Van den Bogaard Logical Methods in Computer Science 16, 2020 | 26 | 2020 |
| On the sets of real numbers recognized by finite automata in multiple bases B Boigelot, J Brusten, V Bruyere Logical Methods in Computer Science 6, 2010 | 26 | 2010 |
