Tayssir Touili

发表

Tayssir Touili, Xin Ye, 2019, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).
Tayssir Touili, Adrien Pommellet, Tayssir Touili, 2020, Innovations in Systems and Software Engineering.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2018, ARES.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, Int. J. Found. Comput. Sci..
Laure Petrucci, Benoît Delahaye, Tayssir Touili, 2014 .
Tayssir Touili, Fu Song, 2012, TACAS.
Tayssir Touili, Eugene Asarin, Vassily A. Lyubetsky, 2007, AB.
Helmut Veith, Edmund M. Clarke, Tayssir Touili, 2004, CONCUR.
Tayssir Touili, Adrien Pommellet, Tayssir Touili, 2018, Innovations in Systems and Software Engineering.
Tayssir Touili, Mohamed Faouzi Atig, M. Atig, 2009, Theor. Comput. Sci..
Tayssir Touili, Vineet Kahlon, Aarti Gupta, 2018, Handbook of Model Checking.
Anca Muscholl, Tayssir Touili, Ahmed Bouajjani, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Tayssir Touili, Fu Song, Tayssir Touili, 2013, TACAS.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, Int. J. Found. Comput. Sci..
Tayssir Touili, Mihaela Sighireanu, Gaël Patin, 2007, CAV.
Sagar Chaki, Edmund M. Clarke, Tayssir Touili, 2006, TACAS.
Tayssir Touili, Thomas W. Reps, Peter Lammich, 2009, International Journal on Software Tools for Technology Transfer.
Tayssir Touili, Huu-Vu Nguyen, Tayssir Touili, 2018, IFM.
Tayssir Touili, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
Tayssir Touili, Fu Song, 2013, International Journal on Software Tools for Technology Transfer.
Tayssir Touili, Ahmed Bouajjani, 2002, CAV.
Tayssir Touili, Fu Song, 2013, ESEC/FSE 2013.
Tayssir Touili, Julien d'Orso, 2006, IFIP TCS.
Tayssir Touili, Mohamed Faouzi Atig, Ahmed Bouajjani, 2008, FSTTCS.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2017, ICISSP.
Tayssir Touili, Tayssir Touili, 2009, ICTAC.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2017, ICISSP.
Marcus Nilsson, Bengt Jonsson, Tayssir Touili, 2000, CAV.
Tayssir Touili, Thomas W. Reps, Akash Lal, 2007, SAS.
Joël Ouaknine, Helmut Veith, Sagar Chaki, 2005, IFM.
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2005, INFINITY.
Tayssir Touili, Adrien Pommellet, Tayssir Touili, 2017, APLAS.
Tayssir Touili, Fu Song, 2011, CONCUR.
Tayssir Touili, Khanh-Huu-The Dam, 2019, ARES.
Tayssir Touili, Huu-Vu Nguyen, 2017, SAC.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2017, ARES.
Tayssir Touili, Thomas W. Reps, Akash Lal, 2008, TACAS.
Tayssir Touili, Fu Song, 2014, Formal Aspects of Computing.
Tayssir Touili, Marcio Diaz, 2017, ATVA.
Tayssir Touili, Adrien Pommellet, 2018, SPIN.
Tayssir Touili, Khanh-Huu-The Dam, Tayssir Touili, 2016, 2016 11th International Conference on Malicious and Unwanted Software (MALWARE).
Tayssir Touili, Fu Song, 2013, APLAS.
Tayssir Touili, Huu-Vu Nguyen, 2017, SPIN.
Anca Muscholl, Tayssir Touili, Ahmed Bouajjani, 2007, Inf. Comput..
Tayssir Touili, Huu-Vu Nguyen, 2019, ICTAC.
Thomas Reps, Tayssir Touili, Akash Lal, 2006 .
Tayssir Touili, Javier Esparza, Ahmed Bouajjani, 2003, POPL.
Hugo Daniel Macedo, Tayssir Touili, H. D. Macedo, 2013, ESORICS.
Tayssir Touili, Fu Song, Tayssir Touili, 2011, Theor. Comput. Sci..
Tayssir Touili, Fu Song, 2015, Software & Systems Modeling.
Tayssir Touili, Fu Song, 2012, FM.
Tayssir Touili, Narjes Ben Rajeb, Riadh Robbana, 2009, INFINITY.
Tayssir Touili, Fu Song, 2014, APLAS.
Tayssir Touili, Mohamed Faouzi Atig, Ahmed Bouajjani, 2008, CONCUR.
Tayssir Touili, 2012, Formal Methods Syst. Des..
Tayssir Touili, Adrien Pommellet, Marcio Diaz, 2017, LATA.
Tayssir Touili, Huu-Vu Nguyen, 2017, LOPSTR.
Tayssir Touili, Ahmed Bouajjani, A. Bouajjani, 2005, RTA.
Tayssir Touili, 2012, Int. J. Crit. Comput. Based Syst..
Tayssir Touili, Xin Ye, Tayssir Touili, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Tayssir Touili, Ahmed Bouajjani, Markus Müller-Olm, 2005, CONCUR.
Tayssir Touili, Fu Song, 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Tayssir Touili, Ahmed Bouajjani, A. Bouajjani, 2003, FSTTCS.
Tayssir Touili, Ahmed Bouajjani, Jan Strejcek, 2006, EXPRESS.
Tayssir Touili, Ahmed Bouajjani, 2011, International Journal on Software Tools for Technology Transfer.
Tayssir Touili, Mohamed Faouzi Atig, 2009, CIAA.
Tayssir Touili, Fu Song, Tayssir Touili, 2013, Software & Systems Modeling.
Tayssir Touili, 2001, Electron. Notes Theor. Comput. Sci..
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, 2021, ICISSP.