  | 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  Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer reviewed |
