Thomas BRIHAYE
Nombre de publications : 152
    2020
    Article/Dans un journal avec peer-review
    • Brihaye Thomas, Geeraerts Gilles, Hallet Marion, Le Roux Stéphane, "On the Termination of Dynamics in Sequential Games" in Information and Computation (2020)
    Colloque/Article dans les actes avec comité de lecture
    • Meurisse Quentin, De Smet Isabelle, Mélot Hadrien, Laplume David, Brihaye Thomas, Rivière Cédric, Coszach Emeline, Cenci Jeremy, Koutra Sesil, Becue Vincent, "Recherche locale et théorie des jeux appliqués à la création de typo-morphologies compactes" in "SCAN20 « Culture numérique et conception architecturale ... Retour vers le Futur »" , Bruxelles , Belgique (2020)
    • Bouyer Patricia, Brihaye Thomas, Randour Mickaël, Rivière Cédric, Vandenhove Pierre, "Decisiveness of Stochastic Systems and its Application to Hybrid Models" in "International Symposium on Games, Automata, Logics and Formal Verification" , EPTCS 326, 149-165, Brussels, Belgium (2020)
    Vulgarisation/Autres media
    • Brihaye Thomas, "Mathématiques, théorie des jeux et monde réel" , Exposé, Communauté Scolaire Sainte-Marie Namur (2020)
    • Brihaye Thomas, "Mathipulations" , Exposé, Auberge de jeunesse de Mons (2020)
    • Brihaye Thomas, "Mathématiques, théorie des jeux et monde réel" , Exposé, Institut Saint André de Ramegnies-Chin (2020)
    • Brihaye Thomas, "Mathipulations" , Exposé, Institut Saint André de Ramegnies-Chin (2020)
    Top
    2019
    Article/Dans un journal avec peer-review
    • Brihaye Thomas, De Pril Julie, Labie Marc, Périlleux Anaïs, "Positive vs Negative Incentives for Loan Repayment in Microfinance: A Game Theory Approach" in Review of Development Economics, 23, 577-597 (2019)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Geeraerts Gilles, Hallet Marion, Monmege Benjamin, Quoitin Bruno, "Dynamics on Games: Simulation-Based Techniques and Applications to Routing" in "Foundations of Software Technology and Theoretical Computer Science" (2019)
      • Brihaye Thomas, Delgrange Florent, Oualhadj Youssouf, Randour Mickaël, "Life is Random, Time is Not: Markov Decision Processes with Window Objectives" in "International Conference on Concurrency Theory" , LIPIcs 140, 8:1--8:18, Amsterdam, Netherlands (2019)
      • Brihaye Thomas, Bruyère Véronique, Goeminne Aline, Raskin Jean-François, van den Bogaard Marie, "The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games" in "International Conference on Concurrency Theory" , 140, 13:1-13:16, Amsterdam, Netherlands (2019)
      • Brihaye Thomas, Bruyère Véronique, Goeminne Aline, Thomasset Nathan, "On Relevant Equilibria in Reachability Games" in "Reachability Problems" , 11674, 48-62, Brussels, Belgium (2019)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "Game theory, Evolution and Network" in "68NQRT" , Rennes, France (2019)
      • Brihaye Thomas, "Théorie des jeux, évolution et réseaux informatique" in "13ème Journée des Doctorants en Mathématiques du Nord-Pas-de-Calais" , Université de Lens, France (2019)
      Travail sans promoteur/Travail de séminaire / Working Papers
      • Brihaye Thomas, Bruyère Véronique, Goeminne Aline, Thomasset Nathan, "On Relevant Equilibria in Reachability Games" , 2019-07-11 (2019)
      • Brihaye Thomas, Bruyère Véronique, Goeminne Aline, Raskin Jean-François, van den Bogaard Marie, "The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games" , 2019-05-02 (2019)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Mathématiques, théorie des jeux et monde réel" , Exposé, Athénée Royal de Binche (2019)
      • Brihaye Thomas, "Mathématiques, théorie des jeux et monde réel" , Exposé, Athénée Royal de Binche (2019)
      • Brihaye Thomas, "Mathipulations" , Exposé, Université de Liège, Pi Day 2019 (seconde édition) (2019)
      • Brihaye Thomas, "Mathipulations" , Exposé, Université de Liège - Pi Day 2019 (2019)
      • Brihaye Thomas, "Mathipulations" , Exposé, Institut Saint Laurent de Marche-en-Famenne (2019)
      • Brihaye Thomas, "Retour vers le futur: à toi de jouer!" , Expo, Institut Saint Laurent de Marche-en-Famenne (2019)
      • Brihaye Thomas, "Quand les jeux mènent aux Prix Nobel" , Exposé, Athénée Royal de Saint Ghislain (2019)
      Top
      2018
      Article/Dans un journal avec peer-review
      • Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, Carlier Pierre, "When are stochastic transition systems tameable?" in Journal of Logical and Algebraic Methods in Programming (2018)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Geeraerts Gilles, Ho Hsi-Ming, Milchior Arthur, Monmege Benjamin, "Efficient Algorithms and Tools for MITL Model-Checking and Synthesis" in "IEEE International Conference on Engineering of Complex Computer Systems" , Melbourne, Australie (2018)
      • Brihaye Thomas, Bruyère Véronique, Goeminne Aline, Raskin Jean-François, "Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives" in "International Symposium on Games, Automata, Logics and Formal Verification" , EPTCS 277, 16-29, Saarbrücken, Allemagne (2018)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "Mathipulations" in "44e congrès de la Société Belge des Professeurs de Mathématique d’expression française" , Athénée Robert Catteau de Bruxelles, Belgique (2018)
      • Brihaye Thomas, "Stochastic o-minimal hybrid systems" in "1st International Workshop on Multi-objective Reasoning in Verification and Synthesis " , Oxford, UK (2018)
      • Brihaye Thomas, "When are Stochastic Transitions Systems Tameable ?" in "Séminaire du département d’informatique de l’Université de Liverpool" , Liverpool, UK (2018)
      • Brihaye Thomas, "When are Stochastic Transitions Systems Tameable ?" in "Groupe de contact Conception de systèmes informatiques corrects" , Bruxelles, Belgique (2018)
      Travail sans promoteur/Rapport de recherche
      • Brihaye Thomas, Bruyère Véronique, Goeminne Aline, Raskin Jean-François, "Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives" , 2018-08-15 (2018)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Mathipulations" , Exposé, Athénée des Pagodes (2018)
      • Brihaye Thomas, "Mathipulations" , Exposé, Ecole internationale du Shape, section belge (2018)
      • Brihaye Thomas, "Mathématiques, théorie des jeux et Prix Nobel" , Exposé, CES Saint Vincent de Soignies (2018)
      • Brihaye Thomas, "Mathématiques, modéles et réalité" , Exposé, Journées math-sciences 2018 (2018)
      Top
      2017
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Geeraerts Gilles, Hallet Marion, Le Roux Stéphane, "Dynamics and Coalitions in Sequential Games" in "International Symposium on Games, Automata, Logics and Formal Verification" , Rome, Italie (2017)
      • Brihaye Thomas, Geeraerts Gilles, Ho Hso-Ming, Monmege Benjamin, "Timed-Automata-Based Verification of MITL over Signals" in "International Symposium/Workshop on Temporal Representation and Reasoning" , Mons, Belgique (2017)
      • Brihaye Thomas, Geeraerts Gilles, Ho Hsi-Ming, Monmege Benjamin, "MightyL : A Compositional Translation from MITL to Timed Automata" in "International Conference on Computer Aided Verification" , Heidelberg, Allemagne (2017)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Mathipulations" , Exposé, Journées math-sciences à l’UMONS (2017)
      • Brihaye Thomas, "Mathématiques, théorie des jeux et Prix Nobel" , Exposé, Congrès MATh.en.JEANS organisé à Arras (France) (2017)
      • Brihaye Thomas, "Quand les jeux mènent aux prix Nobel" , Exposé, Collège Notre-Dame de Tournai (2017)
      • Brihaye Thomas, "Quand les jeux mènent au prix Nobel" , Exposé, Athénée Royal de Saint Ghislain (2017)
      Top
      2016
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Estiévenart Morgane, Geeraerts Gilles, Ho Hsi-Ming, Monmege Benjamin, Sznajder Nathalie, "Real-time Synthesis is Hard!" in Lecture Notes in Computer Science (2016)
      • Brihaye Thomas, Geeraerts Gilles, Haddad Axel, Monmege Benjamin, "Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games" in Acta Informatica (2016)
      • Bouyer-Decitre Patricia, Brihaye Thomas, Carlier Pierre, Menet Quentin, "Composition of stochastic timed automata" in Lecture Notes in Computer Science (2016)
      Colloque/Abstract
      • Bertrand Nathalie, Bouyer-Decitre Patricia, Brihaye Thomas, Carlier Pierre, "Decisiveness and stochastic timed automata" in "12th Summer School on Modelling and Verification of Parallel Processes (MOVEP'16)" , Gênes, Italie (2016)
      Colloque/Article dans les actes avec comité de lecture
      • Bertrand Nathalie, Bouyer-Decitre Patricia, Brihaye Thomas, Carlier Pierre, "Decisive Stochastic Timed Automata" in "International Colloquium on Automata, Languages and Programming" , Rome, Italie (2016)
      • Bouyer Patricia, Brihaye Thomas, Carlier Pierre, Menet Quentin, "Compositional Design of Stochastic Timed Automata" in "Computer Science Symposium in Russia" , Saint-Pétersbourg, Russie (2016)
      • Brihaye Thomas, Dhar Amit Kumar, Geeraerts Gilles, Haddad Axel, Monmege Benjamin, "Efficient Energy Distribution in a Smart Grid using Multi-Player Games" in "Cassting/SynCoP" , Eindhoven, Pays-Bas (2016)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "Decisive Stochastic Processes" in "Highlights of Logic, Games and Automata" , Bruxelles, Belgique (2016)
      • Brihaye Thomas, "About Banach-Mazur games" in "Journées montoises d'informatique théorique" , Liège, Belgique (2016)
      • Bertrand Nathalie, Bouyer-Decitre Patricia, Brihaye Thomas, Carlier Pierre, "Decisiveness and stochastic timed automata" in "Séminaire du groupe de travail Vasco-Mexico du LSV, ENS Cachan" , Cachan, France (2016)
      • Bertrand Nathalie, Bouyer-Decitre Patricia, Brihaye Thomas, Carlier Pierre, "Decisiveness and stochastic timed automata" in "Centre Fédéré en Vérification (ULB)" , Bruxelles, Belgique (2016)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Quand les jeux mènent aux prix Nobel" , Exposé JMS 2016, UMONS (2016)
      • Brihaye Thomas, "Quand les jeux mènent aux prix Nobel" , Exposé, Athénée Royal de Nivelles (2016)
      Vulgarisation/Presse écrite
      • Brihaye Thomas, Boulanger Nicolas, Grosjean Philippe, Mens Tom, "COMPLEXYS - Research Institute for Complex Systems" , Belgian Research in Belgium (2016)
      Top
      2015
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Haddad Axel, Menet Quentin, "Simple strategies for Banach-Mazur games and sets of probability 1" in Information and Computation (2015)
      Colloque/Abstract
      • Bouyer Patricia, Brihaye Thomas, Carlier Pierre, Menet Quentin, "Composition of stochastic timed automata" in "Frontiers of Formal Methods" , Aachen, Allemagne (2015)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Geeraerts Gilles, Haddad Axel, Monmege Benjamin, Pérez Guillermo, Renault Gabriel, "Quantitative Games under Failures" in "Foundations of Software Technology and Theoretical Computer Science" , Bangalore, Inde (2015)
      • Brihaye Thomas, Geeraerts Gilles, Haddad Axel, Lefaucheux Engel, Monmege Benjamin, "Simple Priced Timed Games Are Not That Simple" in "Foundations of Software Technology and Theoretical Computer Science" , Bangalore, Inde (2015)
      • Brihaye Thomas, Geeraerts Gilles, Haddad Axel, Monmege Benjamin, "To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games." in "International Conference on Concurrency Theory" , Madrid, Espagne (2015)
      • Brihaye Thomas, Bruyère Véronique, Meunier Noémie, Raskin Jean-François, "Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability" in "Annual Conference for Computer Science Logic" , 504-518, Berlin, Allemagne (2015)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "A brief introduction to evolutionnary game theory" in "Sixth Cassting meeting" , Cachan, France (2015)
      • Brihaye Thomas, Bruyère Véronique, Meunier Noémie, Raskin Jean-François, "Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability" in "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)" , Berlin, Allemagne (2015)
      • Bouyer Patricia, Brihaye Thomas, Carlier Pierre, Menet Quentin, "Compositional Design of Stochastic Timed Automata" in "Annual seminar of the LSV" , Dourdan, France (2015)
      • Brihaye Thomas, "About Banach-Mazur games" in "AutoMathA 2015 : Jewels of Automata : from Mathematics to Applications" , Leipzig, Allemagne (2015)
      • Bouyer Patricia, Brihaye Thomas, Carlier Pierre, Menet Quentin, "Compositional Design of Stochastic Timed Automata" in "Méthodes formelles et Vérification" , Bruxelles (ULB), Belgique (2015)
      • Bouyer Patricia, Brihaye Thomas, Carlier Pierre, Menet Quentin, "Composition of stochastic timed automata" in "ERC Workshop in Verification" , Vienne, Autriche (2015)
      • Brihaye Thomas, Bruyère Véronique, Meunier Noémie, Raskin Jean-François, "Weak subgame perfect equilibria in quantitative games" in "Dagstuhl Seminar, "Non-Zero-Sum-Games and Control"" , Wadern, Allemagne (2015)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Quand les jeux mènent aux prix Nobel" (2015)
      • Brihaye Thomas, "Les ordinateurs quantiques, quelles conséquences pour la complexité algorithmique ?" (2015)
      Vulgarisation/Presse écrite
      • Brihaye Thomas, "Thomas Brihaye, professeur d’analyse à Mons et à... Port-au-Prince !" , Daily Science (2015)
      Top
      2014
      Article/Dans un journal avec peer-review
      • Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, Menet Quentin, Baier Christel, Groesser Marcus, Jurdzinski Marcin, "Stochastic Timed Automata" in Logical Methods in Computer Science (2014)
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On MITL and Alternating Timed Automata over Infinite Words" in Lecture Notes in Computer Science (2014)
      • Brihaye Thomas, Geeraerts Gilles, Krishna Shankara Narayanan, Manasa Lakshmi, Monmege Benjamin, Trivedi Ashutosh, "Adding negative prices to priced timed games" in Lecture Notes in Computer Science (2014)
      • Bertrand Nathalie, Brihaye Thomas, Genest Blaine, "Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata" in Lecture Notes in Computer Science (2014)
      Colloque/Article dans les actes sans comité de lecture
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On alternating timed automata for MITL" in "Journées montoises d'informatique théorique" , Nancy, France (2014)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On alternating timed automata for MITL" in "Journées montoises d'informatique théorique" , Nancy, France (2014)
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On MITL and alternating timed automata over infinite words" in "FORMATS - Formal Modelling and Analysis of Timed Systems" , Florence, Italy (2014)
      • Brihaye Thomas, "Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata" in "Troisième réunion Cassting" , Bruxelles, Belgique (2014)
      • Brihaye Thomas, "Banach-Mazur games and fairly correct systems" in "Réunion du NCM – Comité National de Mathématique" , Mons, Belgique (2014)
      • Brihaye Thomas, "Multiplayer cost games with simple Nash equilibria" in "Réunion annuelle du GT jeux du GDR-IM" , Paris, France (2014)
      Travail sans promoteur/Rapport de recherche
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On MITL and alternating timed automata over infinite words" , 2014-06-18 (2014)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Mathématiques, théorie des jeux et prix Nobel" , Exposé, CREM (Nivelles) (2014)
      • Brihaye Thomas, "Mathématiques : quand les jeux mènent aux prix Nobel" , Exposé, Collège Notre-Dame (Tournai) (2014)
      • Brihaye Thomas, "Applications de la théorie des jeux en informatique" , Exposé, Académie royale des sciences, des lettres et des beaux-arts de Belgique (2014)
      • Brihaye Thomas, "Mathématiques, théorie des jeux et prix Nobel" , Exposé, Université du Luxembourg (2014)
      • Brihaye Thomas, "Quand les jeux mènent aux prix Nobel" , Exposé, Institut Sainte Marie (La Louvière) (2014)
      Top
      2013
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Doyen Laurent, Geeraerts Gilles, Ouaknine Joël, Raskin Jean-François, Worrell James, "Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points" in Lecture Notes in Computer Science (2013)
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On MITL and alternating timed automata" in Lecture Notes in Computer Science, 47-61 (2013)
      • Brihaye Thomas, Bruyère Véronique, De Pril Julie, Gimbert Hugo, "On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games" in Logical Methods in Computer Science, 9, 1 (2013)
      • Brihaye Thomas, De Pril Julie, Schewe Sven, "Multiplayer Cost Games with Simple Nash Equilibria" in Lecture Notes in Computer Science, 7734, 59-73, LFCS 2013 (2013)
      • Brihaye Thomas, Bruyère Véronique, De Pril Julie, "On Equilibria in Quantitative Games with Reachability/Safety Objectives" in Theory of Computing Systems, 54, 2, 150-189, 10.1007/s00224-013-9495-7 (2013)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Menet Quentin, "Simple strategies for Banach-Mazur games and fairly correct systems" in "International Symposium on Games, Automata, Logics and Formal Verification" , Borca di Cadore, Italie (2013)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points" in "ATVA - International Symposium on Automated Technology for Verification and Analysis" , Hanoï, Viêt Nam (2013)
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On MITL and alternating timed automata" in "Second Cassting Meeting" , Aalborg, Danemark (2013)
      • Brihaye Thomas, "On the decidability of priced timed games" in "Highlights of Logic, Games and Automata" , Paris, France (2013)
      • Brihaye Thomas, "Simple strategies for Banach-Mazur games and fairly correct systems" in "Highlights of Logic, Games and Automata" , Paris, France (2013)
      • Rivière Cédric, Brihaye Thomas, "Introduction à la théorie des jeux" in "Ville numérique et agriculture bio-high-tech" , Paris , Cité des Sciences, France (2013)
      • Labie Marc, Périlleux Anaïs, Brihaye Thomas, De Pril Julie, "Positive incentives in microfinance: a game theory approach" in "Third European Research Conference on Microfinance" , University of Agder, Norway (2013)
      • Estievenart Morgane, Brihaye Thomas, Geeraerts Gilles, "On MITL and alternating timed automata" in "Méthodes Formelles et Vérification" , Bruxelles, Belgique (2013)
      Travail sans promoteur/Rapport de recherche
      • Brihaye Thomas, Estievenart Morgane, Geeraerts Gilles, "On MITL and alternating timed automata" , 2013-06-15 (2013)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Mathématiques: quand les jeux mènent aux prix Nobel" (2013)
      • Brihaye Thomas, "Quand les jeux mènent au prix Nobel" (2013)
      Vulgarisation/Presse écrite
      • Brihaye Thomas, Menet Quentin, "Topology, probability, games and verification " , Notes de la cinquième BSSM (2013)
      Top
      2012
      Article/Dans un journal avec peer-review
      • Bouyer Patricia, Brihaye Thomas, Jurdzinski Marcin, Menet Quentin, "Almost-Sure Model-Checking of Reactive Timed Automata." in Proceedings IEEE Computer Society Bioinformatics Conference, QEST 2012, 138-147 (2012)
      Article/Dans un journal sans peer-review
      • Brihaye Thomas, Bruyère Véronique, Mélot Hadrien, "Non, les ordinateurs ne seront jamais tout-puissants !" in Interstices (2012)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Bruyère Véronique, De Pril Julie, Gimbert Hugo, "Subgame Perfection for Equilibria in Quantitative Reachability Games." in "Foundations of Software Science and Computation Structure" , 7213, 286-300, Tallinn, Estonie (2012)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "Almost-Sure Model-Checking of Reactive Timed Automata." in "QEST" , Londres, Angleterre (2012)
      • Brihaye Thomas, "Almost-Sure Model-Checking of Reactive Timed Automata." in "ERC-Workshop on Quantitative and Game Models for the Synthesis of Reactive Systems" , Bruxelles, Belgique (2012)
      Colloque/Présentation - poster
      • Brihaye Thomas, "Topologie, probabilité, jeux et vérification de systèmes informatiques" in "Brussels Summer School of Mathematics" , Bruxelles, Belgique (2012)
      Divers/Vidéo
      • Brihaye Thomas, "Portrait de chercheur -- Thomas Brihaye" (2012)
      Vulgarisation/Autres media
      • Brihaye Thomas, "Trains, sécurité, math et jeux" (2012)
      • Brihaye Thomas, "Retour vers le futur, à toi de jouer!" (2012)
      • Brihaye Thomas, "Trains, sécurité, math et jeux" (2012)
      Vulgarisation/Presse écrite
      • Brihaye Thomas, "Enseigner les mathématiques à Port-au-Prince" (2012)
      Top
      2011
      Article/Compte-rendu
      • Brihaye Thomas, Doyen Laurent, Geeraerts Gilles, Ouaknine Joël, Raskin Jean-François, Worrell James, "On Reachability for Hybrid Automata over Bounded Time" in Lecture Notes in Computer Science (2011)
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Doyen Laurent, Geeraerts Gilles, Ouaknine Joël, Raskin Jean-François, Worrell James, "On Reachability for Hybrid Automata over Bounded Time" in Lecture Notes in Computer Science (2011)
      • Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, Stainer Amélie, "Emptiness and Universality Problems in Timed Automata with Positive Frequency" in Lecture Notes in Computer Science (2011)
      Article/Dans un journal sans peer-review
      • Brihaye Thomas, Bruyère Véronique, Mélot Hadrien, "Non, les ordinateurs ne seront jamais tout-puissants!" in Element : le Magazine de l'Université de Mons, 5 (2011)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Bruyère Véronique, Doyen Laurent, Ducobu Marc, Raskin Jean-François, "Antichain-Based QBF Solving" in "Automated Technology for Verification and Analysis" , 6996, 183-197, Taipei, Taiwan (2011)
      Colloque/Présentation - communication orale
      • Brihaye Thomas, "On Reachability for Hybrid Automata over Bounded Time" in "Séminaire 68NQRT" , Rennes, France (2011)
      • Brihaye Thomas, "On Reachability for Hybrid Automata over Bounded Time" in "Séminaire de vérification du LIAFA" , Paris, France (2011)
      • Brihaye Thomas, "Antichain based QBF solving" in "Séminaire du département d'informatique de l'université d'Oxford" , Oxford, Angleterre (2011)
      Top
      2010
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Bruyère Véronique, Render Elaine, "Formal languages properties of o-minimal hybrid systems" in RAIRO : Informatique Théorique et Applications = Theoretical Informatics and Applications, 44, 1, 79-111 (2010)
      • Bouyer Patricia, Brihaye Thomas, Chevalier Fabrice, "O-Minimal Hybrid Reachability Games" in Logical Methods in Computer Science (2010)
      Colloque/Article dans les actes avec comité de lecture
      • Brihaye Thomas, Bruyère Véronique, De Pril Julie, "Equilibria in Quantitative Reachability Games" in "Computer Science Symposium in Russia" , 6072, 72-83, Kazan, Russie (2010)
      Top
      2009
      Article/Dans un journal avec peer-review
      • Bouyer Patricia, Brihaye Thomas, Chevalier Fabrice, "Weighted o-minimal hybrid systems" in Annals of Pure & Applied Logic, 4514, 69 - 83 (2009)
      • Baier Christel, Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, "When Are Timed Automata Determinizable?" in Lecture Notes in Computer Science, 5556, 43-54 (2009)
      • Brihaye Thomas, Michaux Christian, Rivière Cédric, "Cell decomposition and dimension function in the theory of closed ordered differential fields" in Annals of Pure & Applied Logic, 159, Issues 1-2, 111-128 (2009)
      • Brihaye Thomas, Da Costa Lopes Arnaud, Laroussinie François, Markey Nicolas, "ATL with Strategy Contexts and Bounded Memory" in Lecture Notes in Computer Science, 5407, 92-106 (2009)
      Vulgarisation/Presse écrite
      • Brihaye Thomas, Michaux Christian, "Economie, environnement et mathématiques" (2009)
      Top
      2008
      Article/Dans un journal avec peer-review
      • Bouyer Patricia, Brihaye Thomas, Jurdzinski Marcin, Lazic Ranko, Rutkowski Michal, "Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets" in Lecture Notes in Computer Science, 5215, 63 - 77 (2008)
      • Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, Markey Nicolas, "Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics" in IEEE proceedings, 55-64 (2008)
      • Baier Christel, Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, Groesser Marcus, "Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata" in IEEE proceedings, 217-226 (2008)
      • Brihaye Thomas, Markey Nicolas, Ghannem Mohamed, Rieg Lionel, "Good Friends are Hard to Find!" in IEEE proceedings, 32-40 (2008)
      Top
      2007
      Article/Dans un journal avec peer-review
      • Baier Christel, Bertrand Nathalie, Bouyer Patricia, Brihaye Thomas, Groesser Marcus, "Probabilistic and Topological Semantics for Timed Automata" in Lecture Notes in Computer Science (2007)
      • Bouyer Patricia, Brihaye Thomas, Bruyère Véronique, Raskin Jean-François, "On the optimal reachability problem of weighted timed automata" in Formal Methods in System Design, 31, Issue 2, 135-175 (2007)
      • Brihaye Thomas, Laroussinie François, Markey Nicolas, Oreiby Ghassan, "Timed Concurrent Game Structures" in Lecture Notes in Computer Science (2007)
      • Brihaye Thomas, Henzinger Thomas A., Prabhu Vinayak S., Raskin Jean-François, "Minimum-Time Reachability in Timed Games" in Lecture Notes in Computer Science (2007)
      • Bouyer Patricia, Brihaye Thomas, Chevalier Fabrice, "Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!" in Lecture Notes in Computer Science (2007)
      • Brihaye Thomas, "Words and Bisimulations of Dynamical Systems" in Discrete Mathematics & Theoretical Computer Science, 9, Issue 2, 11-32 (2007)
      Top
      2006
      Article/Dans un journal avec peer-review
      • Bouyer Patricia, Brihaye Thomas, Chevalier Fabrice, "Control in o-minimal Hybrid Systems" in IEEE proceedings, 367-378 (2006)
      • Bouyer Patricia, Brihaye Thomas, Markey Nicolas, "Improved undecidability results on weighted timed automata" in Information Processing Letters, 98, Issue 5, 188-194 (2006)
      • Brihaye Thomas, "A note on the undecidability of the reachability problem for o-minimal dynamical systems" in Mathematical Logic Quarterly, 52, Issue 2, 165-170 (2006)
      • Brihaye Thomas, Bruyère Véronique, Raskin Jean-François, "On model-checking timed automata with stopwatch observers" in Information and Computation, 204, Issue 3, 408-433 (2006)
      • Brihaye Thomas, Michaux Christian, "Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]" in Journal of Complexity, 22 , Issue 3, 431-434 (2006)
      Top
      2005
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Bruyère Véronique, Raskin Jean-François, "On optimal timed strategies" in Lecture Notes in Computer Science, 3829, 49-64 (2005)
      • Brihaye Thomas, Michaux Christian, "On the expressiveness and decidability of o-minimal hybrid systems" in Journal of Complexity, 21, Issue 4, 447-478 (2005)
      Top
      2004
      Article/Compte-rendu
      • Brihaye Thomas, Bruyère Véronique, Raskin Jean-François, "Model-Checking for Weighted Timed Automata" in Lecture Notes in Computer Science (2004)
      Article/Dans un journal avec peer-review
      • Brihaye Thomas, Bruyère Véronique, "Model-Checking for Weighted Timed Automata" in Lecture Notes in Computer Science, 3253, 277-292 (2004)
      • Brihaye Thomas, Michaux Christian, Rivière Cédric, Troestler Christophe, "On O-Minimal Hybrid Systems" in Lecture Notes in Computer Science, 2993, 133-138 (2004)
      Top