Tayssir Touili

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 38

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Tayssir Touili, Xin Ye
Reachability Analysis of Self Modifying Code. Int. J. Found. Comput. Sci. 34 (5) (2023)
Tayssir Touili, Xin Ye
SMODIC: A Model Checker for Self-modifying Code. ARES (2022)
Tayssir Touili, Xin Ye
LTL model checking of self modifying code. Formal Methods Syst. Des. 60 (2) (2022)
Khanh-Huu-The Dam, Tayssir Touili
Extracting malicious behaviours. Int. J. Inf. Comput. Secur. 17 (3/4) (2022)
Tayssir Touili
Register Automata for Malware Specification. ARES (2022)
Khanh-Huu-The Dam, Tayssir Touili
MADLIRA: A Tool for Android Malware Detection. ICISSP (2021)
Adrien Pommellet, Tayssir Touili
LTL model checking for communicating concurrent programs. Innov. Syst. Softw. Eng. 16 (2) (2020)
Tayssir Touili, Xin Ye
CTL Model Checking of Self Modifying Code. ICECCS (2020)
Huu-Vu Nguyen, Tayssir Touili
BCARET Model Checking for Malware Detection. ICTAC (2019)
Adrien Pommellet, Tayssir Touili
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous. CoRR (2019)
Khanh-Huu-The Dam, Tayssir Touili
STAMAD: a STAtic MAlware Detector. ARES (2019)
Tayssir Touili, Xin Ye
LTL Model Checking of Self Modifying Code. ICECCS (2019)
Tayssir Touili, Xin Ye
LTL Model Checking of Self Modifying Code. CoRR (2019)
Tayssir Touili, Xin Ye
Reachability Analysis of Self Modifying Code. CoRR (2019)
Adrien Pommellet, Tayssir Touili
LTL Model-Checking for Communicating Concurrent Programs. VECoS (2018)
Adrien Pommellet, Tayssir Touili
Model-Checking HyperLTL for Pushdown Systems. SPIN (2018)
Khanh-Huu-The Dam, Tayssir Touili
Learning Malware Using Generalized Graph Kernels. ARES (2018)
Marcio Diaz, Tayssir Touili
Model Checking Dynamic Pushdown Networks with Locks and Priorities. NETYS (2018)
Huu-Vu Nguyen, Tayssir Touili
Branching Temporal Logic of Calls and Returns for Pushdown Systems. IFM (2018)
Huu-Vu Nguyen, Tayssir Touili
Branching Temporal Logic of Calls and Returns for Pushdown Systems. CoRR (2018)
Khanh-Huu-The Dam, Tayssir Touili
Precise Extraction of Malicious Behaviors. COMPSAC (1) (2018)
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Reachability Analysis of Pushdown Systems with an Upper Stack. CoRR (2018)
Adrien Pommellet, Tayssir Touili
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. APLAS (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET Analysis of Multithreaded Programs. LOPSTR (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET analysis of multithreaded programs. CoRR (2017)
Khanh-Huu-The Dam, Tayssir Touili
Extracting Android Malicious Behaviors. ICISSP (2017)
Marcio Diaz, Tayssir Touili
Dealing with Priorities and Locks for Concurrent Programs. ATVA (2017)
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Reachability Analysis of Pushdown Systems with an Upper Stack. LATA (2017)
Tayssir Touili, Xin Ye
Reachability Analysis of Self Modifying Code. ICECCS (2017)
Khanh-Huu-The Dam, Tayssir Touili
Learning Android Malware. ARES (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET model checking for pushdown systems. SAC (2017)
Marcio Diaz, Tayssir Touili
Reachability Analysis of Dynamic Pushdown Networks with Priorities. NETYS (2017)
Khanh-Huu-The Dam, Tayssir Touili
Malware Detection based on Graph Classification. ICISSP (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET model checking for malware detection. SPIN (2017)
Fu Song, Tayssir Touili
Model-checking software library API usage rules. Softw. Syst. Model. 15 (4) (2016)
Khanh-Huu-The Dam, Tayssir Touili
Automatic extraction of malicious behaviors. MALWARE (2016)
Fu Song, Tayssir Touili
LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks. CoRR (2016)
Fu Song, Tayssir Touili
Model checking dynamic pushdown networks. Formal Aspects Comput. 27 (2) (2015)
Fu Song, Tayssir Touili
Pushdown model checking for malware detection. Int. J. Softw. Tools Technol. Transf. 16 (2) (2014)
Fu Song, Tayssir Touili
Model-Checking for Android Malware Detection. APLAS (2014)
Fu Song, Tayssir Touili
Efficient CTL model-checking for pushdown systems. Theor. Comput. Sci. 549 (2014)
Fu Song, Tayssir Touili
Model-Checking Software Library API Usage Rules. IFM (2013)
Hugo Daniel Macedo, Tayssir Touili
Mining Malware Specifications through Static Reachability Analysis. CoRR (2013)
Fu Song, Tayssir Touili
PoMMaDe: pushdown model-checking for malware detection. ESEC/SIGSOFT FSE (2013)
Fu Song, Tayssir Touili
Model Checking Dynamic Pushdown Networks. APLAS (2013)
Tayssir Touili
Process Rewrite Systems for Software Model Checking. TASE (2013)
Hugo Daniel Macedo, Tayssir Touili
Mining Malware Specifications through Static Reachability Analysis. ESORICS (2013)
Fu Song, Tayssir Touili
LTL Model-Checking for Malware Detection. TACAS (2013)
Fu Song, Tayssir Touili
PuMoC: a CTL model-checker for sequential programs. ASE (2012)
Fu Song, Tayssir Touili
Pushdown Model Checking for Malware Detection. TACAS (2012)
Ahmed Bouajjani, Tayssir Touili
Widening techniques for regular tree model checking. Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Tayssir Touili
Preface. Formal Methods Syst. Des. 40 (2) (2012)
Fu Song, Tayssir Touili
Efficient Malware Detection Using Model-Checking. FM (2012)
Tayssir Touili
Computing transitive closures of hedge transformations. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)
Fu Song, Tayssir Touili
Efficient CTL Model-Checking for Pushdown Systems. CONCUR (2011)
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps
A decision procedure for detecting atomicity violations for communicating processes with locks. Int. J. Softw. Tools Technol. Transf. 13 (1) (2011)
Tayssir Touili, Mohamed Faouzi Atig
Verifying parallel programs with dynamic communication structures. Theor. Comput. Sci. 411 (38-39) (2010)
Mohamed Faouzi Atig, Tayssir Touili
Verifying Parallel Programs with Dynamic Communication Structures. CIAA (2009)
Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili
Verifying Multithreaded Recursive Programs with Integer Variables. INFINITY (2009)
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN (2009)
Mihaela Sighireanu, Tayssir Touili
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. INFINITY (2009)
Tayssir Touili
Constrained Reachability of Process Rewrite Systems. ICTAC (2009)
Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA (2008)
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps
Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS (2008)
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili
On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR (2008)
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili
Analyzing Asynchronous Programs with Preemption. FSTTCS (2008)
Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
Permutation rewriting and algorithmic verification. Inf. Comput. 205 (2) (2007)
Gaël Patin, Mihaela Sighireanu, Tayssir Touili
Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV (2007)
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
Abstract Error Projection. SAS (2007)
Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
Attenuation Regulation as a Term Rewriting System. AB (2007)
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS (2006)
Ahmed Bouajjani, Jan Strejcek, Tayssir Touili
On Symbolic Verification of Weakly Extended PAD. EXPRESS (2006)
Julien d'Orso, Tayssir Touili
Regular Hedge Model Checking. IFIP TCS (2006)
Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR (2005)
Ahmed Bouajjani, Tayssir Touili
On Computing Reachability Sets of Process Rewrite Systems. RTA (2005)
Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
State/Event Software Verification for Branching-Time Specifications. IFM (2005)
Tayssir Touili
Dealing with Communication for Dynamic Multithreaded Recursive Programs. VISSAS (2005)
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
Reachability Analysis of Synchronized PA Systems. INFINITY (2004)
Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
Verification by Network Decomposition. CONCUR (2004)
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
A generic approach to the static analysis of concurrent programs with procedures. POPL (2003)
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. Int. J. Found. Comput. Sci. 14 (4) (2003)
Ahmed Bouajjani, Tayssir Touili
Reachability Analysis of Process Rewrite Systems. FSTTCS (2003)
Ahmed Bouajjani, Tayssir Touili
Extrapolating Tree Transformations. CAV (2002)
Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
Permutation Rewriting and Algorithmic Verification. LICS (2001)
Tayssir Touili
Regular Model Checking using Widening Techniques. Electron. Notes Theor. Comput. Sci. 50 (4) (2001)
Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili
Regular Model Checking. CAV (2000)

Tayssir Touili.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tayssir Touili