引用次数
引用: 2,280
H-指数: 24
I10-指数 : 38
出版物: 92
Verifying concurrent message-passing c programs with recursive calls
S. Chaki , E. Clarke , N. Kidd , T. Reps
tools and algorithms for construction and analysis of systems 334 -349
72
2006
Regular hedge model checking
T Touili , J d’Orso
Proc. 4th Int. IFIP Conference on Theoretical Computer Science (TCS06)
2
2006
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Tayssir Touili , Byron Cook , Paul Jackson
In: Touili, T and Cook, B and Jackson, P, (eds.) Springer (2010)
2010
Dealing with communication for dynamic multithreaded recursive programs.
Tayssir Touili
VISSAS 213 -227
14
2005
Analyzing Asynchronous Programs with Preemption
Mohamed Faouzi Atig , Tayssir Touili , Ahmed Bouajjani
foundations of software technology and theoretical computer science 48
22
2008
Computing transitive closures of hedge transformations
Tayssir Touili
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems 51 -65
3
2007
Model Checking Concurrent Programs.
Vineet Kahlon , Tayssir Touili , Aarti Gupta , Shaz Qadeer
Handbook of Model Checking 573 -611
2018
Weighted Pushdown Systems and Weighted Transducers
Tayssir Touili , Thomas Reps , Nicholas Kidd , Akash Lal
University of Wisconsin-Madison Department of Computer Sciences
2006
Attenuation Regulation as a Term Rewriting System
Vassily Lyubetsky , Tayssir Touili , Eugene Asarin , Alexander Seliverstov
arXiv: Quantitative Methods
2007
MADLIRA: A Tool for Android Malware Detection.
Tayssir Touili , Khanh-Huu-The Dam
international conference on information systems security 670 -675
2021
Verification by Network Decomposition
Edmund Clarke , Muralidhar Talupur , Tayssir Touili , Helmut Veith
CONCUR 2004 - Concurrency Theory 276 -291
67
2004
PoMMaDe: pushdown model-checking for malware detection
Fu Song , Tayssir Touili
foundations of software engineering 607 -610
21
2013
Precise Extraction of Malicious Behaviors
Khanh Huu The Dam , Tayssir Touili
computer software and applications conference 229 -234
3
2018
Learning Malware Using Generalized Graph Kernels
Khanh Huu The Dam , Tayssir Touili
availability, reliability and security 28
4
2018
Verifying Parallel Programs with Dynamic Communication Structures
Mohamed Faouzi Atig , Tayssir Touili
international conference on implementation and application of automata 145 -154
9
2009
Model checking dynamic pushdown networks
Fu Song , Tayssir Touili
Formal Aspects of Computing 27 ( 2) 397 -421
6
2015
LTL model-checking for malware detection
Fu Song , Tayssir Touili
tools and algorithms for construction and analysis of systems 416 -431
27
2013
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
Adrien Pommellet , Tayssir Touili
asian symposium on programming languages and systems 235 -254
3
2017
Computing transitive closures of hedge transformations
Tayssir Touili
International Journal of Critical Computer-based Systems 3 ( 1) 132 -150
10
2012
Regular Model Checking using Widening Techniques
Tayssir Touili
Electronic Notes in Theoretical Computer Science 50 ( 4) 342 -356
70
2001