Profil

Legay Axel

Dép. d'électric., électron. et informat. (Inst.Montefiore)

See author's contact details
Main Referenced Co-authors
Wolper, Pierre  (7)
Boigelot, Bernard  (2)
Cantin, François  (2)
Bouajjani, Ahmed (1)
Main Referenced Keywords
verification (3); automata (2); model checking (2); Regular Model Checking (2); (omega)-regular model checking (1);
Main Referenced Disciplines
Computer science (8)

Publications (total 8)

The most downloaded
82 downloads
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 https://hdl.handle.net/2268/18666

The most cited

68 citations (Scopus®)

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 https://hdl.handle.net/2268/18766

Legay, A., & Wolper, P. (2010). On (Omega-)regular model checking. ACM Transactions on Computational Logic, 12 (1), 46. doi:10.1145/1838552.1838554
Peer Reviewed verified by ORBi

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
Peer Reviewed verified by ORBi

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

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

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

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

Contact ORBi