2023
Colloques et congrès scientifiques/Communication publiée dans un ouvrage
- Bruyère, V., Pérez, G. A., Staquet, G., & Vaandrager, F. W. (2023). Automata with Timers. In L. Petrucci & J. Sproston (Eds.), "Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Proceedings". Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-42626-1_3
- Bruyère, V., Pérez, G. A., & Staquet, G. (2023). Validating Streaming JSON Documents with Learned VPAs. In S. Sankaranarayanan & N. Sharygina, "Tools and Algorithms for the Construction and Analysis of Systems". Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_14
- Brihaye, T., Bruyère, V., & Reghem, G. (2023). Quantitative Reachability Stackelberg-Pareto Synthesis Is NEXPTIME-Complete. In O. Bournez (Ed.), "Reachability Problems - 17th International Conference, RP 2023, Proceedings". Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-45286-4_6
Mémoires et thèses/Thèse de doctorat
- Vandenhove, P. (2023). "Strategy Complexity of Zero-Sum Games on Graphs" [Doctoral thesis, UMONS - Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/46092
2022
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V. (22 July 2022). "Stackelberg-Pareto synthesis and verification" [Paper presentation]. Workshop on Stochastic Games: Theory and Computational aspects, Stony Brook, United States.
- Bruyère, V. (2022). "A Game-Theoretic Approach for the Automated Synthesis of Complex Systems" [Paper presentation]. CIE 2022, Special session on reachability problems, Swansea, United Kingdom.
Colloques et congrès scientifiques/Communication publiée dans un ouvrage
- Bruyère, V., Raskin, J.-F., & Tamines, C. (2022). Pareto-Rational Verification. In B. Klin (Ed.), "33rd International Conference on Concurrency Theory, CONCUR 2022" (pp. 33:1--33:20). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. doi:10.4230/LIPIcs.CONCUR.2022.33
- Bruyère, V., Pérez, G., & Staquet, G. (2022). Learning Realtime One-Counter Automata. In D. Fisman & G. Rosu, "Tools and Algorithms for the Construction and Analysis of Systems". Springer International Publishing. doi:10.1007/978-3-030-99524-9_13
- Bruyère, V. (2022). A Game-Theoretic Approach for the Synthesis of Complex Systems. In "Revolutions and Revelations in Computability". Springer. doi:10.1007/978-3-031-08740-0
Mémoires et thèses/Thèse de doctorat
- Devillez, G. (2022). "Proofs by Transformation in Extremal Graph Theory" [Doctoral thesis, UMONS - University of Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/44369
E-prints, Working papers et Carnets de recherche/Working paper
- Bruyère, V., Baptiste Fiévet, Jean-François Raskin, & Tamines, C. (2022). "Stackelberg-Pareto Synthesis (Extended Version)". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/42995. doi:10.48550/arXiv.2203.01285
2021
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (30 June 2021). On relevant equilibria in reachability games. "Journal of Computer and System Sciences, 119", 211-230.
- Bruyère, V. (30 June 2021). Synthesis of equilibria in infinite-duration games on graphs. "ACM SIGLOG News, 8" (2), 4-29.
- Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (01 January 2021). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. "Information and Computation, 278" (104594).
- Bruyère, V., Le Roux, S., Pauly, A., & Raskin, J.-F. (01 January 2021). On the existence of weak subgame perfect equilibria. "Information and Computation, 276".
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V. (30 June 2021). "A game-theoretic approach for the automated synthesis of complex systems" [Paper presentation]. 'ReLaX' Workshop on Games, Chennai, India.
- Bruyère, V. (30 June 2021). "Nash equilibria and subgame perfect equilibria in reachability games" [Paper presentation]. 'ReLaX' Workshop on Games, Chennai, India.
Colloques et congrès scientifiques/Communication publiée dans un ouvrage
- Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. In "LIPIcs". Schloss Dagstuhl - Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.CONCUR.2021.27
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). "Stackelberg-Pareto Synthesis" [Paper presentation]. International Conference on Concurrency Theory, .
E-prints, Working papers et Carnets de recherche/Working paper
- Bruyère, V., Pérez, G., & Staquet, G. (2021). "Learning Realtime One-Counter Automata, Long Version". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/14179. doi:10.48550/arXiv.2110.09434
2020
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (05 November 2020). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. "Logical Methods in Computer Science, 16" (4), 8:1-8:43.
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V. (30 June 2020). "A game-theoretic approach for the automated synthesis of complex systems" [Paper presentation]. Computability in Europ, Salerno, Italy.
2019
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V. (01 October 2019). "Computer-aided synthesis: a game-theoretic approach" [Paper presentation]. 26th International Symposium on Temporal Representation and Reasoning, Malaga, Spain.
- Bruyère, V. (01 September 2019). "Energy Mean-Payoff Games" [Paper presentation]. Highlights of Logic, Games and Automata, Warsaw, Poland.
- Bruyère, V. (01 March 2019). "La théorie des jeux en synthèse assistée par ordinateur" [Paper presentation]. Journées Nationales Informatique Mathématique, Orléans, France.
- Bruyère, V. (09 January 2019). "Energy Mean-Payoff Games" [Paper presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). "The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games" [Paper presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands.
- Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). "On Relevant Equilibria in Reachability Games" [Paper presentation]. Reachability Problems, Brussels, Belgium.
- Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). "Partial Solvers for Generalized Parity Games" [Paper presentation]. Reachability Problems, Brussels, Belgium.
- Bruyère, V., Hautem, Q., Randour, M., & Raskin, J.-F. (2019). Energy Mean-Payoff Games. "Leibniz International Proceedings in Informatics, 140", 21:1-21:17. doi:10.4230/LIPIcs.CONCUR.2019.21
E-prints, Working papers et Carnets de recherche/Working paper
- Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). "Partial Solvers for Generalized Parity Games". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/36802.
- Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). "On Relevant Equilibria in Reachability Games". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/39077.
- Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). "The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/39349.
Allocutions et communications diverses/Autre
- Bruyère, V. (2019). "L'ordinateur face au Sudoku et autres jeux".
2018
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V. (01 June 2018). "Synthesis of subgame perfect equilibria in graph games (invited talk)" [Paper presentation]. GandALF, Saarbrücken, Germany.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). "Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives" [Paper presentation]. International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany.
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (2018). "Parameterized complexity of games with monotonically ordered omega-regular objectives" [Paper presentation]. International Conference on Concurrency Theory, Beijing, China.
Rapports/Rapport de recherche interne
- Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). "Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives".
2017
Périodiques scientifiques/Article
- Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (03 July 2017). Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. "Information and Computation, 254", 259-295.
- Bohy, A., Bruyère, V., Raskin, J.-F., & Bertrand, N. (04 January 2017). Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. "Acta Informatica, 54" (6), 545-587.
- Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (01 January 2017). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. "Information and Computation, 254", 259-295. doi:10.1016/j.ic.2016.10.011
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V. (09 March 2017). "On the existence of weak subgame perfect equilibria" [Paper presentation]. Dagstuhl Seminar 17111, ''Game Theory in AI, Logic, and Algorithms', Schloss Dagstuhl, Wadern, Germany.
- Bruyère, V. (08 January 2017). "Computer aided synthesis: a game theoretic approach" [Paper presentation]. Developments in Language Theory, Liège, Belgium.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V. (2017). "Computer Aided Synthesis: A Game-Theoretic Approach" [Paper presentation]. International Conference on Developments in Language Theory, Liège, Belgium.
- Bruyère, V., Le Roux, S., Pauly, A., & Raskin, J.-F. (2017). "On the existence of weak subgame perfect equilibria" [Paper presentation]. Foundations of Software Science and Computation Structure, Uppsala, Sweden.
Rapports/Rapport de recherche interne
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (2017). "Parameterized complexity of games with monotonically ordered omega-regular objectives".
- Bruyère, V. (2017). "Computer aided synthesis: a game theoretic approach".
Mémoires et thèses/Thèse de doctorat
- Carlier, P. (2017). "Verification of Stochastic Timed Automata" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/11111
Allocutions et communications diverses/Autre
- Bruyère, V., Devillez, G., Hautem, Q., & Mélot, H. (2017). "Sciencebook".
- Bruyère, V. (2017). "L'ordinateur face au Sudoku et autres jeux".
- Bruyère, V. (2017). "La théorie des graphes dans toutes ses couleurs".
2016
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (23 August 2016). "On the complexity of heterogeneous multidimensional quantitative games" [Paper presentation]. The 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, 2016, Québec, Canada.
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (30 June 2016). "On the complexity of heterogeneous multidimensional quantitative games" [Paper presentation]. Summer School MOVEP 2016, Gênes, Italy.
- Bruyère, V. (17 May 2016). "Algorithmic Aspects of Two-player Zero-sum and Multi-Player Non Zero-sum Games" [Paper presentation]. QuantLA Spring School, Leipzig, Germany.
- Bruyère, V. (24 March 2016). "On algorithmic aspects of infinite games played on weighted graphs" [Paper presentation]. Conference dedicated to the scientific legacy of Marcel-Paul Schützenberger, Bordeaux, France.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., Hautem, Q., & Randour, M. (13 September 2016). Window parity games: an alternative approach toward parity games with time bounds. "Electronic Proceedings in Theoretical Computer Science, 226", 135-148. doi:10.4204/EPTCS.226.10
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (2016). "On the complexity of heterogeneous multidimensional quantitative games" [Paper presentation]. International Conference on Concurrency Theory, Québec, Canada. doi:10.4230/LIPIcs.CONCUR.2016.11
Rapports/Rapport de recherche interne
- Bruyère, V., & Hautem, Q. (2016). "Window parity games: an alternative approach toward parity games with time bounds".
Allocutions et communications diverses/Autre
- Bruyère, V. (2016). "La théorie des graphes dans toutes ses couleurs".
- Bruyère, V. (2016). "La théorie des graphes dans toutes ses couleurs".
- Bruyère, V. (2016). "L'ordinateur face au Sudoku et autres jeux".
2015
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (10 December 2015). "On the complexity of heterogeneous multidimensional quantitative games" [Paper presentation]. Méthodes formelles et Vérification, Bruxelles (ULB), Belgium.
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (27 October 2015). "On the complexity of heterogeneous multidimensional quantitative games" [Paper presentation]. Sixth Cassting meeting, Cachan, France.
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (16 September 2015). "On the complexity of heterogeneous multidimensional quantitative games" [Paper presentation]. Highlights of Logic, Games and Automata, Prague, Czechia.
- Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (10 September 2015). "Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability" [Paper presentation]. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany.
- Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (03 February 2015). "Weak subgame perfect equilibria in quantitative games" [Paper presentation]. Dagstuhl Seminar, 'Non-Zero-Sum-Games and Control', Wadern, Germany.
- Bruyère, V. (01 January 2015). "La théorie des graphes dans toutes ses couleurs" [Paper presentation]. Journées Math-Sciences, Mons, Belgium.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (2015). "Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability" [Paper presentation]. Annual Conference for Computer Science Logic, Berlin, Germany.
Mémoires et thèses/Thèse de doctorat
- Estiévenart, M. (2015). "Verification and synthesis of MITL through alternating timed automata" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/17931
- Maslowski, D. (2015). "Dichotomies in the Complexity of Counting Databases Repairs" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/21695
E-prints, Working papers et Carnets de recherche/Working paper
- Bruyère, V., Hautem, Q., & Raskin, J.-F. (2015). "On the complexity of heterogeneous multidimensional quantitative games". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/37394.
Allocutions et communications diverses/Autre
- Bruyère, V., Heuwelyckx, F., & Maslowski, D. (2015). "La récurrence : un petit pas de chacun, un grand pas pour tous".
2014
Périodiques scientifiques/Article
- Battaglia, C., Bruyère, V., Gauwin, O., Pelsser, C., & Quoitin, B. (29 January 2014). Reasoning on BGP Routing Filters using Tree Automata. "Computer Networks, 65", 232-254.
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V., Meunier, N., & Raskin, J.-F. (25 November 2014). "Secure Equilibria in Weighted Games" [Paper presentation]. Séminaire graphes et logique, Bordeaux, France.
- Bruyère, V., Meunier, N., & Raskin, J.-F. (03 September 2014). "Secure Equilibria in Weighted Games" [Paper presentation]. Highlights of Logic, Games and Automata, Paris, France.
- Bruyère, V., Meunier, N., & Raskin, J.-F. (15 July 2014). "Secure Equilibria in Weighted Games" [Paper presentation]. CSL-LICS, Vienne, Austria.
- Bruyère, V., Meunier, N., & Raskin, J.-F. (21 May 2014). "Secure Equilibria in Weighted Games" [Paper presentation]. Third Cassting Meeting, Bruxelles, Belgium.
- Bruyère, V., Meunier, N., & Raskin, J.-F. (12 April 2014). "Secure Equilibria in Weighted Games" [Paper presentation]. 1st Cassting Workshop ETAPS 2014, Grenoble, France.
- Bruyère, V., & Raskin, J.-F. (12 April 2014). "Secure Equilibria in Weighted Games" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., Meunier, N., & Raskin, J.-F. (2014). "Secure Equilibria in Weighted Games" [Paper presentation]. Annual Conference for Computer Science Logic, Vienne, Austria.
- Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (05 April 2014). Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. "Electronic Proceedings in Theoretical Computer Science, 146", 1-8. doi:10.4204/EPTCS.146.1
- Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (March 2014). Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. "Leibniz International Proceedings in Informatics, 25", 199-213. doi:10.4230/LIPIcs.STACS.2014.199
- Bohy, A., Bruyère, V., & Raskin, J.-F. (2014). "Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes" [Paper presentation]. Workshop on Synthesis, SYNT, Vienne, Austria.
Rapports/Rapport de recherche interne
- Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games".
Mémoires et thèses/Thèse de doctorat
- Randour, M. (2014). "Synthesis in Multi-Criteria Quantitative Games" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/33300
2013
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., De Pril, J., & Gimbert, H. (25 January 2013). On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games. "Logical Methods in Computer Science, 9" (1).
- Brihaye, T., Bruyère, V., & De Pril, J. (04 January 2013). On Equilibria in Quantitative Games with Reachability/Safety Objectives. "Theory of Computing Systems, 54" (2), 150-189. doi:10.1007/s00224-013-9495-7
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bruyère, V., Meunier, N., & Raskin, J.-F. (17 December 2013). "Quantitative Secure Equilibria" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
- Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (19 March 2013). "Synthesis from LTL Specifications with Mean-Payoff Objectives" [Paper presentation]. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., Ducobu, M., & Gauwin, O. (2013). "Visibly Pushdown Automata: Universality and Inclusion via Antichains" [Paper presentation]. Language and Automata Theory and Applications, Bilbao, Spain.
- Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2013). "Synthesis from LTL Specifications with Mean-Payoff Objectives" [Paper presentation]. International Conference on Tools and Algorithms for Construction and Analysis of Systems, Rome, Italy.
Mémoires et thèses/Thèse de doctorat
- Decan, A. (2013). "Certain Query Answering in First-Order Languages" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/41214
- De Pril, J. (2013). "Equilibria in Multiplayer Cost Games" [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/4247
2012
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., & Mélot, H. (2012). Non, les ordinateurs ne seront jamais tout-puissants ! "Interstices".
- Bruyère, V., Joret, G., & Mélot, H. (01 March 2012). Trees with Given Stability Number and Minimum Number of Stable Sets. "Graphs and Combinatorics, 28" (2), 167-187.
- Bruyère, V., Carton, O., Decan, A., Gauwin, O., & Wijsen, J. (01 January 2012). An Aperiodicity Problem for Multiwords. "RAIRO: Informatique Théorique et Applications, 46" (1), 33-50.
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (21 September 2012). "Synthesis from LTL specifications with mean-payoff objectives" [Paper presentation]. GT Jeux, Cachan, France.
- Battaglia, C., Bruyère, V., Gauwin, O., & Quoitin, B. (11 September 2012). "Reasoning on BGP Routing Filters Using Tree Automata" [Paper presentation]. Journées Montoises d'Informatique Théorique, Louvain-la-Neuve, Belgium.
- Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (10 July 2012). "Acacia+, a Tool for LTL Synthesis" [Paper presentation]. CAV - Computer Aided Verification, Berkeley, United States - California.
- Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (07 June 2012). "Synthesis from LTL and mean-payoff objectives" [Paper presentation]. Quantitative models for verification and synthesis, Bruxelles, Belgium.
- Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (06 June 2012). "Acacia+, a Tool for LTL Synthesis" [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.
- Bruyère, V. (13 March 2012). "L'ordinateur face au Sudoku et autres jeux" [Paper presentation]. Journées Math-Sciences, Mons, Belgium.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (2012). "Acacia+, a Tool for LTL Synthesis" [Paper presentation]. International Conference on Computer Aided Verification, Berkeley, United States - California.
- Brihaye, T., Bruyère, V., De Pril, J., & Gimbert, H. (2012). "Subgame Perfection for Equilibria in Quantitative Reachability Games" [Paper presentation]. Foundations of Software Science and Computation Structure, Tallinn, Estonia.
E-prints, Working papers et Carnets de recherche/Working paper
- Bruyère, V., Ducobu, M., & Gauwin, O. (2012). "Visibly pushdown automata on trees: universality and u-universality". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/27348.
2011
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., & Mélot, H. (01 March 2011). Non, les ordinateurs ne seront jamais tout-puissants! : Magazine Elément 05. "Élement: le Magazine de l'Université de Mons, 5".
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (30 November 2011). "Acacia+, a Tool for LTL Synthesis" [Paper presentation]. Gasics Meeting, Bruxelles, Belgium.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Brihaye, T., Bruyère, V., Doyen, L., Ducobu, M., & Raskin, J.-F. (2011). "Antichain-Based QBF Solving" [Paper presentation]. Automated Technology for Verification and Analysis, Taipei, Taiwan.
2010
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., & Render, E. (11 February 2010). Formal languages properties of o-minimal hybrid systems. "RAIRO: Informatique Théorique et Applications, 44" (1), 79-111. doi:10.1051/ita/2010006
- Boigelot, B., Brusten, J., & Bruyère, V. (01 February 2010). On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. "Logical Methods in Computer Science, 6", 17. doi:10.2168/LMCS-6(1:6)2010
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., Carton, O., Decan, A., Gauwin, O., & Wijsen, J. (2010). "A Variant of Pattern Matching for Multiwords" [Paper presentation]. Journées Montoises en Informatique Théorique, Amiens, France.
- Brihaye, T., Bruyère, V., & De Pril, J. (2010). "Equilibria in Quantitative Reachability Games" [Paper presentation]. Computer Science Symposium in Russia, Kazan, Russia. doi:10.1007/978-3-642-13182-0_7
2009
Périodiques scientifiques/Article
- Baeza-Yates, R., Bruyère, V., Delgrange, O., & Scheihing, R. (01 October 2009). On the size of Boyer-Moore automata. "Theoretical Computer Science, 410" (43), 4432-4443.
- Bruyère, V., & Mélot, H. (01 May 2009). Fibonacci index and stability number of graphs: a polyhedral study. "Journal of Combinatorial Optimization, 18", 207 - 228.
- Bruyère, V., Carton, O., & Sénizergues, G. (01 April 2009). Tree automata and automata on linear orderings. "RAIRO: Informatique Théorique et Applications, 43", 321-338. doi:10.1051/ita/2009009
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., Decan, A., & Wijsen, J. (2009). "On first-order query rewriting for incomplete database histories" [Paper presentation]. International Symposium/Workshop on Temporal Representation and Reasoning, Bressanone-Brixen, Italy.
2008
Périodiques scientifiques/Article
- Bruyère, V., & Mélot, H. (01 August 2008). Turan graphs, stability number, and fibonacci index. "Lecture Notes in Computer Science, 5165", 127-138. doi:10.1007/978-3-540-85097-7_12
- Boigelot, B., Brusten, J., & Bruyère, V. (01 July 2008). On the sets of real numbers recognized by finite automata in multiple bases. "Lecture Notes in Computer Science, 5126", 112-123. doi:10.1007/978-3-540-70583-3_10
- Bruyère, V., Dall'Olio, E., & Raskin, J.-F. (01 March 2008). Durations and Parametric Model-Checking in Timed Automata. "ACM Transactions on Computational Logic, 9" (7), 23.
2007
Périodiques scientifiques/Article
- Bouyer, P., Brihaye, T., Bruyère, V., & Raskin, J.-F. (01 October 2007). On the optimal reachability problem of weighted timed automata. "Formal Methods in System Design, 31" (Issue 2), 135-175. doi:10.1007/s10703-007-0035-4
- Bruyère, V., & Carton, O. (01 February 2007). Automata on Linear Orderings. "Journal of Computer and System Sciences, 73", 1--24. doi:10.1016/j.jcss.2006.10.009
- Bruyère, V., & Raskin, J.-F. (01 February 2007). Real-Time Model-Checking: Parameters everywhere. "Logical Methods in Computer Science, 3", 29. doi:10.2168/LMCS-3(1:7)2007
2006
Périodiques scientifiques/Article
- Brihaye, T., Bruyère, V., & Raskin, J.-F. (01 March 2006). On model-checking timed automata with stopwatch observers. "Information and Computation, 204" (Issue 3), 408-433. doi:10.1016/j.ic.2005.12.001
2005
Périodiques scientifiques/Article
- Bruyère, V., & Carton, O. (01 September 2005). Hierarchy Among Automata on Linear Orderings. "Theory of Computing Systems, 38", 593-621.
- Brihaye, T., Bruyère, V., & Raskin, J.-F. (01 September 2005). On optimal timed strategies. "Lecture Notes in Computer Science, 3829", 49-64. doi:10.1007/11603009_5
- Araújo, I. M., & Bruyère, V. (01 August 2005). Sturmian words: dynamical systems and derivated words. "Lecture Notes in Computer Science, 3572", 122-133.
- Araújo, I. M., & Bruyère, V. (01 June 2005). Words derivated from Sturmian words. "Theoretical Computer Science, 340", 204-219.
- Araújo, I. M., & Bruyère, V. (01 June 2005). Sturmian words and a criterium by Michaux-Villemaire. "Theoretical Computer Science, 339", 88-102.
2004
Périodiques scientifiques/Compte rendu et recension critique d’ouvrage
- Brihaye, T., Bruyère, V., & Raskin, J.-F. (2004). Model-Checking for Weighted Timed Automata. "Lecture Notes in Computer Science".
Périodiques scientifiques/Article
- Brihaye, T., & Bruyère, V. (01 January 2004). Model-Checking for Weighted Timed Automata. "Lecture Notes in Computer Science, 3253", 277-292.
2003
Périodiques scientifiques/Article
- Bruyère, V. (01 January 2003). Cumulative defect. "Theoretical Computer Science, 292" (1), 97-109.
- Bruyère, V., & Raskin, J.-F. (01 January 2003). Real-Time Model-Checking: Parameters Everywhere. "Lecture Notes in Computer Science, 2914", 100-111.
- Bruyère, V. (01 January 2003). Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. "Lecture Notes in Computer Science, 2607", 687-698.
2002
Parties d’ouvrages/Contribution à des ouvrages collectifs
- Bruyère, V. (2002). Codes. In "Algebraic Combinatorics on Words" (pp. 30). Cambridge University Press.
Périodiques scientifiques/Article
- Bruyère, V., & Carton, O. (01 January 2002). Automata on Linear Orderings. "Lecture Notes in Computer Science, 2450", 103-115.
Colloques et congrès scientifiques/Communication publiée dans un périodique
- Bruyère, V., & Carton, O. (2002). "Hierarchy Among Automata on Linear Orderings" [Paper presentation]. IFIP International Conference on Theoretical Computer Science (TCS 2002), Montréal, Québec, Canada.
2001
Périodiques scientifiques/Article
- Bruyère, V., & Carton, O. (01 January 2001). Automata on Linear Orderings. "Lecture Notes in Computer Science, 2136", 236-247.