Legay, A., & Wolper, P. (2010). On (Omega-)regular model checking. ACM Transactions on Computational Logic, 12 (1), 46. doi:10.1145/1838552.1838554 |
Cantin, F., Legay, A., & Wolper, P. (2009). Computing Convex Hulls by Automata Iteration. International Journal of Foundations of Computer Science, 20 (4), 647-667. doi:10.1142/S0129054109006796 |
Cantin, F., Legay, A., & Wolper, P. (July 2008). Computing Convex Hulls by Automata Iteration. Lecture Notes in Computer Science, 5148, 112-121. doi:10.1007/978-3-540-70844-5_12 |
Legay, A. (2007). Generic Techniques for the verification of infinite-state systems [Doctoral thesis, Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/314995 |
Legay, A., & Wolper, P. (09 March 2006). On the Use of Automata-based Techniques in Symbolic Model Checking: invited address. Electronic Notes in Theoretical Computer Science, 150 (1), 3-8. doi:10.1016/j.entcs.2005.12.020 |
Bouajjani, A., Legay, A., & Wolper, P. (28 December 2005). Handling Liveness Properties in (ω-)Regular Model Checking. Electronic Notes in Theoretical Computer Science, 138 (3), 101-115. doi:10.1016/j.entcs.2005.02.061 |
Boigelot, B., Legay, A., & Wolper, P. (2004). Omega-regular model checking. Lecture Notes in Computer Science, 2988, 561-575. doi:10.1007/978-3-540-24730-2_41 |
Boigelot, B., Legay, A., & Wolper, P. (2003). Iterating transducers in the large. Lecture Notes in Computer Science, 2725, 223-235. doi:10.1007/978-3-540-45069-6_24 |