Tayssir Touili

93 papers A* 7A 5B 24C 10Misc 2Journal 23Unranked 20

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