Profil

Haddad Axel


Main Research Fields
Electrical & electronics engineering
Main Keywords
higher-order recursion schemes; Markov Decision Processes; Model-checking; Partial observation; Probabilities;
Main Unit & Research Centers
CREMMI - Modélisation mathématique et informatique
Main Co-authors
BRIHAYE, Thomas 
Geeraerts, Gilles
Monmege, Benjamin
Carayol, Arnaud
Serre, Olivier

Publications (total 9)

The most cited
18 citations (SCOPUS)
Carayol, A., Haddad, A., & Serre, O. (01 August 2014). Randomization in Automata on Infinite Trees. ACM Transactions on Computational Logic, 15 (3), 1-33. doi:10.1145/2629336 https://hdl.handle.net/20.500.12907/33511

Brihaye, T., Geeraerts, G., Haddad, A., Lefaucheux, E., & Monmege, B. (2015). Simple Priced Timed Games Are Not That Simple. Paper presented at Foundations of Software Technology and Theoretical Computer Science, Bangalore, India.

Brihaye, T., Geeraerts, G., Haddad, A., Monmege, B., Pérez, G., & Renault, G. (2015). Quantitative Games under Failures. Paper presented at Foundations of Software Technology and Theoretical Computer Science, Bangalore, India.

Brihaye, T., Haddad, A., & Menet, Q. (2015). Simple strategies for Banach-Mazur games and sets of probability 1. Information and Computation.
Peer Reviewed verified by ORBi

Brihaye, T., Geeraerts, G., Haddad, A., & Monmege, B. (2015). To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. Paper presented at International Conference on Concurrency Theory, Madrid, Spain.

Carayol, A., Haddad, A., & Serre, O. (01 August 2014). Randomization in Automata on Infinite Trees. ACM Transactions on Computational Logic, 15 (3), 1-33. doi:10.1145/2629336
Peer Reviewed verified by ORBi

Haddad, A. (2013). Model Checking and Functional Program Transformations. Paper presented at IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, Guwahati, India. doi:10.1109/LICS.2011.28

Haddad, A. (2013). Shape-Preserving Transformations of Higher-Order Recursion Schemes. Unpublished doctoral thesis, Université de Mons.
Jury: Serre, O. (Promotor), Carayol, A. (Promotor), Treinen, R., Ong, L., Walukiewicz, I., Murawski, A., & Talbot, J.-M.

Haddad, A. (2012). IO vs OI in Higher-Order Recursion Schemes. Paper presented at 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia. doi:10.4204/EPTCS.77.4

Carayol, A., Haddad, A., & Serre, O. (2011). Qualitative Tree Languages. Paper presented at 26th Annual IEEE Symposium on Logic in Computer Science, LICS, Toronto, Canada. doi:10.1109/LICS.2011.28

Contact ORBi