Publications
Gaëtan STAQUET
Accéder au dépôt institutionnel
Nombre de publications : 33
    2024
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Staquet, G. (20 November 2024). "Active Learning of Mealy Machines with Timers" [Paper presentation]. WG Verifications & SCALP Days (Journées des GT Vérification et SCALP), Lille, France.
    • Staquet, G. (20 September 2024). "Active Learning of Mealy Machines with Timers" [Paper presentation]. Highlights of Logic, Games and Automata, Bordeaux, France.
    • Staquet, G. (30 May 2024). "Active Learning of Mealy Machines with Timers" [Paper presentation]. MOVEP'24: 16th school on modelling and verification of parallel processes, Rennes, France.
    • Staquet, G. (06 April 2024). "Validating Streaming JSON Documents with Learned Visibly Pushdown Automata" [Paper presentation]. LiVe 2024: 8th Workshop on Learning in Verification, Luxembourg, Luxembourg.
    Mémoires et thèses/Thèse de doctorat
    • Staquet, G. (2024). "Active Learning of Automata with Resources" [Doctoral thesis, UMONS - Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/49676doi:10.63028/10067/2079640151162165141
    E-prints, Working papers et Carnets de recherche/Eprint diffusé à l'origine sur un autre site
    • Bruyère, V., Garhewal, B., Pérez, G. A., Staquet, G., & Vaandrager, F. W. (2024). "Active Learning of Mealy Machines with Timers". ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/50336.
    Conférences scientifiques dans des universités ou centres de recherche/Conférence scientifique dans des universités ou centres de recherche
    • Staquet, G. (06 December 2024). "Active Learning of Mealy Machines with Timers" [Paper presentation]. Seminary of the Formal Methods and Verification Research Group, Bruxelles, Belgium.
    • Staquet, G. (28 November 2024). "Active Learning of Mealy Machines with Timers" [Paper presentation]. Seminary of the LoVe team, Paris, France.
    Top
    2023
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Staquet, G. (15 December 2023). "Automata with Timers" [Paper presentation]. Centre Fédéré en Vérification, Brussels, Belgium.
    • Staquet, G. (30 November 2023). "Automata with Timers" [Paper presentation]. WG Verification Days (Journées du GT Vérification), Paris, France.
    • Staquet, G. (20 September 2023). "Automata with Timers" [Paper presentation]. International Conference on Formal Modeling and Analysis of Timed Systems, Anvers, Belgium.
    • Staquet, G. (25 July 2023). "Automata with Timers" [Paper presentation]. Highlights of Logic, Games and Automata 2023, Kassel, Germany.
    • Staquet, G. (24 May 2023). "Verification of Computer Systems thanks to State Machines" [Paper presentation]. Day of the research institute INFORTECH, Mons, Belgium.
    • Staquet, G. (24 April 2023). "Validating Streaming JSON Documents with Learned Visibly Pushdown Automata" [Paper presentation]. International Conference on Tools and Algorithms for Construction and Analysis of Systems, Paris, France.
    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
    Allocutions et communications diverses/Autre
    • Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). "À vous de jouer !"
    Conférences scientifiques dans des universités ou centres de recherche/Conférence scientifique dans des universités ou centres de recherche
    • Staquet, G. (07 November 2023). "Automata with Timers" [Paper presentation]. 68NQRT - Formal Methods Seminar of IRISA and INRIA, Rennes, France.
    • Staquet, G. (10 October 2023). "Automata with Timers" [Paper presentation]. Seminary of the Software Science Department of Radboud Universiteit, Nijmegen, Netherlands.
    Top
    2022
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Staquet, G. (29 June 2022). "Active Learning of Automata for JSON-Streaming Validation" [Paper presentation]. Highlights 2022 of Logic, Games and Automata.
    • Staquet, G. (06 May 2022). "Vérifier efficacement un document JSON grâce à un automate" [Paper presentation]. Séminaire Jeune, Mons, Belgium.
    • Staquet, G. (2022). "Learning Realtime One-Counter Automata" [Paper presentation]. International Conference on Tools and Algorithms for Construction and Analysis of Systems, Munich, Germany.
    • Staquet, G. (2022). "Vérifier un système informatique grâce à un automate" [Paper presentation]. Séminaire Jeune.
    • Staquet, G. (2022). "Verification of computer systems thanks to state machines" [Paper presentation]. Annual meeting of the thematic doctoral school COMPLEX.
    Colloques et congrès scientifiques/Communication publiée dans un ouvrage
    • 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
    Allocutions et communications diverses/Autre
    • Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). "À vous de jouer !"
    Conférences scientifiques dans des universités ou centres de recherche/Conférence scientifique dans des universités ou centres de recherche
    • Staquet, G. (26 October 2022). "Learning Realtime One-Counter Automata" [Paper presentation]. Seminary of the LRDE (Laboratoire de Recherche et Développement de l'EPITA), Paris, France.
    • Staquet, G. (21 October 2022). "Learning Realtime One-Counter Automata" [Paper presentation]. Formal Methods and Verification (FMV) seminary, Brussels, Belgium.
    Top
    2021
    Colloques et congrès scientifiques/Communication orale non publiée/Abstract
    • Staquet, G. (17 November 2021). "Learning Realtime One-Counter Automata" [Paper presentation]. Journées du GT Vérif, Gif-sur-Yvette, France.
    • Staquet, G. (10 September 2021). "Learning Realtime One-Counter Automata" [Paper presentation]. Highlights of Logic, Games and Automata.
    • Staquet, G. (10 March 2021). "L'apprentissage d'automates et ses applications" [Paper presentation]. Les doctorants prennent le pouvoir, Mons, Belgium.
    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
    Top
    2020
    Colloques et congrès scientifiques/Communication publiée dans un ouvrage
    • Amezian El Khalfioui, A., Joertz, J., Labeeuw, D., Staquet, G., & Wijsen, J. (2020). Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. In M. d'Aquin & S. Dietze, "CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management". New York, United States: ACM - Association for Computing Machinery. doi:10.1145/3340531.3411911
    Top