| 2026 | SAC | CTL Model Checking of Concurrent Self Modifying Code. | Tayssir Touili, Olzhas Zhangeldinov |
| 2026 | TASE | CARET Model Checking of Self Modifying Code. | Tayssir Touili, Olzhas Zhangeldinov |
| 2025 | ICECCS | LTL Model Checking of Concurrent Self Modifying Code. | Tayssir Touili, Olzhas Zhangeldinov |
| 2025 | ICISSP | Analyzing a Concurrent Self-Modifying Program: Application to Malware Detection. | Walid Messahel, Tayssir Touili |
| 2025 | SEFM | Reachability Analysis of Upper-Stack Manipulating Binary Code. | Shijie Lin, Tayssir Touili |
| 2024 | ICECCS | Reachability Analysis of Concurrent Self-modifying Code. | Walid Messahel, Tayssir Touili |
| 2021 | ICISSP | MADLIRA: A Tool for Android Malware Detection. | Khanh-Huu-The Dam, Tayssir Touili |
| 2020 | ICECCS | CTL Model Checking of Self Modifying Code. | Tayssir Touili, Xin Ye |
| 2019 | ICECCS | LTL Model Checking of Self Modifying Code. | Tayssir Touili, Xin Ye |
| 2019 | ICTAC | BCARET Model Checking for Malware Detection. | Huu-Vu Nguyen, Tayssir Touili |
| 2018 | COMPSAC | Precise Extraction of Malicious Behaviors. | Khanh-Huu-The Dam, Tayssir Touili |
| 2018 | IFM | Branching Temporal Logic of Calls and Returns for Pushdown Systems. | Huu-Vu Nguyen, Tayssir Touili |
| 2018 | VECoS | LTL Model-Checking for Communicating Concurrent Programs. | Adrien Pommellet, Tayssir Touili |
| 2017 | APLAS | Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. | Adrien Pommellet, Tayssir Touili |
| 2017 | ATVA | Dealing with Priorities and Locks for Concurrent Programs. | Marcio Diaz, Tayssir Touili |
| 2017 | ICECCS | Reachability Analysis of Self Modifying Code. | Tayssir Touili, Xin Ye |
| 2017 | ICISSP | Malware Detection based on Graph Classification. | Khanh-Huu-The Dam, Tayssir Touili |
| 2017 | ICISSP | Extracting Android Malicious Behaviors. | Khanh-Huu-The Dam, Tayssir Touili |
| 2017 | LATA | Reachability Analysis of Pushdown Systems with an Upper Stack. | Adrien Pommellet, Marcio Diaz, Tayssir Touili |
| 2017 | LOPSTR | CARET Analysis of Multithreaded Programs. | Huu-Vu Nguyen, Tayssir Touili |
| 2017 | SAC | CARET model checking for pushdown systems. | Huu-Vu Nguyen, Tayssir Touili |
| 2014 | APLAS | Model-Checking for Android Malware Detection. | Fu Song, Tayssir Touili |
| 2013 | APLAS | Model Checking Dynamic Pushdown Networks. | Fu Song, Tayssir Touili |
| 2013 | ESORICS | Mining Malware Specifications through Static Reachability Analysis. | Hugo Daniel Macedo, Tayssir Touili |
| 2013 | IFM | Model-Checking Software Library API Usage Rules. | Fu Song, Tayssir Touili |
| 2013 | TACAS | LTL Model-Checking for Malware Detection. | Fu Song, Tayssir Touili |
| 2013 | TASE | Process Rewrite Systems for Software Model Checking. | Tayssir Touili |
| 2012 | FM | Efficient Malware Detection Using Model-Checking. | Fu Song, Tayssir Touili |
| 2012 | TACAS | Pushdown Model Checking for Malware Detection. | Fu Song, Tayssir Touili |
| 2011 | CONCUR | Efficient CTL Model-Checking for Pushdown Systems. | Fu Song, Tayssir Touili |
| 2009 | ICTAC | Constrained Reachability of Process Rewrite Systems. | Tayssir Touili |
| 2008 | CONCUR | On the Reachability Analysis of Acyclic Networks of Pushdown Systems. | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
| 2008 | TACAS | Interprocedural Analysis of Concurrent Programs Under a Context Bound. | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
| 2007 | CAV | Spade: Verification of Multithreaded Dynamic and Recursive Programs. | Gal Patin, Mihaela Sighireanu, Tayssir Touili |
| 2007 | SAS | Abstract Error Projection. | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2006 | TACAS | Verifying Concurrent Message-Passing C Programs with Recursive Calls. | Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2005 | CONCUR | Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. | Ahmed Bouajjani, Markus Mller-Olm, Tayssir Touili |
| 2005 | IFM | State/Event Software Verification for Branching-Time Specifications. | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Jol Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
| 2004 | CONCUR | Verification by Network Decomposition. | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
| 2003 | POPL | A generic approach to the static analysis of concurrent programs with procedures. | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
| 2002 | CAV | Extrapolating Tree Transformations. | Ahmed Bouajjani, Tayssir Touili |
| 2001 | LICS | Permutation Rewriting and Algorithmic Verification. | Ahmed Bouajjani, Anca Muscholl, Tayssir Touili |
| 2000 | CAV | Regular Model Checking. | Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili |