Tayssir Touili
Tayssir Touili
Senior researcher, CNRS
Verified email at lipn.fr - Homepage
Title
Cited by
Cited by
Year
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
International Conference on Computer Aided Verification, 403-418, 2000
3682000
A generic approach to the static analysis of concurrent programs with procedures
A Bouajjani, J Esparza, T Touili
International Journal of Foundations of Computer Science 14 (04), 551-582, 2003
2012003
Regular symbolic analysis of dynamic networks of pushdown systems
A Bouajjani, M Müller-Olm, T Touili
International Conference on Concurrency Theory, 473-487, 2005
1462005
Interprocedural analysis of concurrent programs under a context bound
A Lal, T Touili, N Kidd, T Reps
International conference on Tools and algorithms for the construction and …, 2008
1082008
Verifying concurrent message-passing C programs with recursive calls
S Chaki, E Clarke, N Kidd, T Reps, T Touili
International Conference on Tools and Algorithms for the Construction and …, 2006
882006
Verification by network decomposition
E Clarke, M Talupur, T Touili, H Veith
International Conference on Concurrency Theory, 276-291, 2004
872004
Pushdown model checking for malware detection
F Song, T Touili
International Journal on Software Tools for Technology Transfer 16 (2), 147-173, 2014
832014
Efficient malware detection using model-checking
F Song, T Touili
International Symposium on Formal Methods, 418-433, 2012
822012
Regular model checking using widening techniques
T Touili
Electronic Notes in Theoretical Computer Science 50 (4), 342-356, 2001
812001
Extrapolating tree transformations
A Bouajjani, T Touili
International Conference on Computer Aided Verification, 539-554, 2002
762002
Antichain-based universality and inclusion testing over nondeterministic finite tree automata
A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar
International Conference on Implementation and Application of Automata, 57-67, 2008
572008
Reachability analysis of process rewrite systems
A Bouajjani, T Touili
International Conference on Foundations of Software Technology and …, 2003
542003
On the reachability analysis of acyclic networks of pushdown systems
MF Atig, A Bouajjani, T Touili
International Conference on Concurrency Theory, 356-371, 2008
512008
On computing reachability sets of process rewrite systems
A Bouajjani, T Touili
International Conference on Rewriting Techniques and Applications, 484-499, 2005
512005
State/event software verification for branching-time specifications
S Chaki, E Clarke, O Grumberg, J Ouaknine, N Sharygina, T Touili, ...
International Conference on Integrated Formal Methods, 53-69, 2005
402005
Model-checking for android malware detection
F Song, T Touili
Asian Symposium on Programming Languages and Systems, 216-235, 2014
342014
Efficient CTL model-checking for pushdown systems
F Song, T Touili
Theoretical Computer Science 549, 127-145, 2014
342014
Permutation rewriting and algorithmic verification
A Bouajjani, A Muscholl, T Touili
Information and Computation 205 (2), 199-224, 2007
332007
PoMMaDe: pushdown model-checking for malware detection
F Song, T Touili
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
322013
LTL model-checking for malware detection
F Song, T Touili
International Conference on Tools and Algorithms for the Construction and …, 2013
322013
The system can't perform the operation now. Try again later.
Articles 1–20