Logic and p-recognizable sets of integers. V Bruyère, G Hansel, C Michaux, R Villemaire Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994 | 354 | 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 | 181 | 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 | 108 | 2007 |
Bertrand numeration systems and recognizability V Bruyère, G Hansel Theoretical computer science 181 (1), 17-43, 1997 | 95 | 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 | 91 | 2017 |
On optimal timed strategies T Brihaye, V Bruyere, JF Raskin Formal Modeling and Analysis of Timed Systems: Third International …, 2005 | 86 | 2005 |
Model-checking for weighted timed automata T Brihaye, V Bruyere, JF Raskin International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004 | 78 | 2004 |
Synthesis from LTL specifications with mean-payoff objectives A Bohy, V Bruyere, E Filiot, JF Raskin International Conference on Tools and Algorithms for the Construction and …, 2013 | 64 | 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 | 56 | 1990 |
Automata on linear orderings V Bruyere, O Carton Journal of Computer and System Sciences 73 (1), 1-24, 2007 | 54 | 2007 |
Automata on linear orderings V Bruyere, O Carton Mathematical Foundations of Computer Science 2001: 26th International …, 2001 | 52 | 2001 |
Variable-length maximal codes V Bruyere, M Latteux International Colloquium on Automata, Languages, and Programming, 24-47, 1996 | 51 | 1996 |
Durations, parametric model-checking in timed automata with presburger arithmetic V Bruyere, E Dall’Olio, JF Raskin Annual Symposium on Theoretical Aspects of Computer Science, 687-698, 2003 | 45 | 2003 |
Real-time model-checking: Parameters everywhere V Bruyere, JF Raskin Logical Methods in Computer Science 3, 2007 | 43 | 2007 |
Computer aided synthesis: A game-theoretic approach V Bruyère Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017 | 40 | 2017 |
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 | 36 | 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 | 33 | 2020 |
On (subgame perfect) secure equilibrium in quantitative reachability games T Brihaye, V Bruyère, J De Pril, H Gimbert Logical Methods in Computer Science 9, 2013 | 29 | 2013 |
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 | 29 | 2010 |
Durations and parametric model-checking in timed automata V Bruyère, E Dall'Olio, JF Raskin ACM Transactions on Computational Logic (TOCL) 9 (2), 1-23, 2008 | 28 | 2008 |