Tayssir Touili

发表

T. Reps, Tayssir Touili, Nicholas Kidd, 2009 .
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, POPL.
Helmut Veith, Edmund M. Clarke, Tayssir Touili, 2004, CONCUR.
Tayssir Touili, Huu-Vu Nguyen, Tayssir Touili, 2018, IFM.
Tayssir Touili, Fu Song, Tayssir Touili, 2011, Theor. Comput. Sci..
Tayssir Touili, Thomas W. Reps, Peter Lammich, 2009, International Journal on Software Tools for Technology Transfer.
Tayssir Touili, Mohamed Faouzi Atig, M. Atig, 2009, Theor. Comput. Sci..
Tayssir Touili, Thomas W. Reps, Akash Lal, 2008, TACAS.
Tayssir Touili, Thomas W. Reps, Akash Lal, 2007, SAS.
Sagar Chaki, Edmund M. Clarke, Tayssir Touili, 2006, TACAS.
Thomas Reps, Tayssir Touili, Akash Lal, 2006 .
Tayssir Touili, Ahmed Bouajjani, Markus Müller-Olm, 2005, CONCUR.
Tayssir Touili, Ahmed Bouajjani, A. Bouajjani, 2005, RTA.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2005, INFINITY.
Tayssir Touili, Ahmed Bouajjani, A. Bouajjani, 2003, FSTTCS.
Marcus Nilsson, Bengt Jonsson, Tayssir Touili, 2000, CAV.
Anca Muscholl, Tayssir Touili, Ahmed Bouajjani, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, Int. J. Found. Comput. Sci..
Tayssir Touili, Adrien Pommellet, Tayssir Touili, 2020, Innovations in Systems and Software Engineering.
Joël Ouaknine, Helmut Veith, Sagar Chaki, 2005, IFM.
Tayssir Touili, Tayssir Touili, 2009, ICTAC.
Tayssir Touili, Mohamed Faouzi Atig, Ahmed Bouajjani, 2008, CONCUR.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2018, ARES.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2017, ARES.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2017, ICISSP.
Tayssir Touili, Khanh-Huu-The Dam, 2022, Int. J. Inf. Comput. Secur..
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2016, 2016 11th International Conference on Malicious and Unwanted Software (MALWARE).
Hugo Daniel Macedo, Tayssir Touili, H. D. Macedo, 2013, ESORICS.
Tayssir Touili, Fu Song, Tayssir Touili, 2013, Software & Systems Modeling.
Tayssir Touili, Fu Song, Tayssir Touili, 2013, TACAS.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2017, ICISSP.
Tayssir Touili, Adrien Pommellet, Tayssir Touili, 2017, APLAS.
Tayssir Touili, Fu Song, 2013, International Journal on Software Tools for Technology Transfer.
Tayssir Touili, Xin Ye, Tayssir Touili, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Tayssir Touili, Adrien Pommellet, Tayssir Touili, 2018, Innovations in Systems and Software Engineering.