Tayssir Touili
Tayssir Touili
Senior researcher, CNRS
Verified email at - Homepage
Cited by
Cited by
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
A generic approach to the static analysis of concurrent programs with procedures
A Bouajjani, J Esparza, T Touili
ACM SIGPLAN Notices 38 (1), 62-73, 2003
Regular symbolic analysis of dynamic networks of pushdown systems
A Bouajjani, M Müller-Olm, T Touili
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
Interprocedural analysis of concurrent programs under a context bound
A Lal, T Touili, N Kidd, T Reps
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
Verification by network decomposition
E Clarke, M Talupur, T Touili, H Veith
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
Verifying concurrent message-passing C programs with recursive calls
S Chaki, E Clarke, N Kidd, T Reps, T Touili
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
Pushdown model checking for malware detection
F Song, T Touili
International Journal on Software Tools for Technology Transfer 16 (2), 147-173, 2014
Efficient malware detection using model-checking
F Song, T Touili
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
Regular model checking using widening techniques
T Touili
Electronic Notes in Theoretical Computer Science 50 (4), 342-356, 2001
Extrapolating tree transformations
A Bouajjani, T Touili
CAV 2, 539-554, 2002
Antichain-based universality and inclusion testing over nondeterministic finite tree automata
A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar
Implementation and Applications of Automata: 13th International Conference …, 2008
Reachability analysis of process rewrite systems
A Bouajjani, T Touili
FST TCS 2003: Foundations of Software Technology and Theoretical Computer …, 2003
On the reachability analysis of acyclic networks of pushdown systems
MF Atig, A Bouajjani, T Touili
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
On computing reachability sets of process rewrite systems
A Bouajjani, T Touili
RTA 3467, 484-499, 2005
Mining malware specifications through static reachability analysis
HD Macedo, T Touili
Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
State/event software verification for branching-time specifications
S Chaki, E Clarke, O Grumberg, J Ouaknine, N Sharygina, T Touili, ...
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005
Model-checking for android malware detection
F Song, T Touili
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014 …, 2014
Efficient CTL model-checking for pushdown systems
F Song, T Touili
Theoretical Computer Science 549, 127-145, 2014
PoMMaDe: pushdown model-checking for malware detection
F Song, T Touili
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
LTL model-checking for malware detection
F Song, T Touili
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20