A Game-Theoretic Approach for the Synthesis of Complex Systems

von Bruyère, Véronique
Veröffentlicht in CiE (Veranstaltung : 18. : 2022 : Swansea) Revolutions and revelations in computability (2022)

Fibonacci index and stability number of graphs : a polyhedral study

von Bruyère, Véronique
Veröffentlicht in Journal of combinatorial optimization (2009)

Leaming Realtime One-Counter Automata

von Bruyére, Veronique
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Validating Streaming JSON Documents with Learned VPAs

von Bruyère, Véronique
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Special issue 12th "Journées Montoises d'Informatique Théorique"

Veröffentlicht 2010

Automata with Timers

von Bruyère, Véronique
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)