Tayssir Touili
Tayssir Touili
Senior researcher, CNRS
Dirección de correo verificada de lipn.fr - Página principal
Título
Citado por
Citado por
Año
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
International Conference on Computer Aided Verification, 403-418, 2000
3532000
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
1922003
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
1382005
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
1032008
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
852006
Verification by network decomposition
E Clarke, M Talupur, T Touili, H Veith
International Conference on Concurrency Theory, 276-291, 2004
822004
Regular model checking using widening techniques
T Touili
Electronic Notes in Theoretical Computer Science 50 (4), 342-356, 2001
792001
Extrapolating tree transformations
A Bouajjani, T Touili
International Conference on Computer Aided Verification, 539-554, 2002
772002
Efficient malware detection using model-checking
F Song, T Touili
International Symposium on Formal Methods, 418-433, 2012
762012
Pushdown model checking for malware detection
F Song, T Touili
International Journal on Software Tools for Technology Transfer 16 (2), 147-173, 2014
702014
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
582008
Reachability analysis of process rewrite systems
A Bouajjani, T Touili
International Conference on Foundations of Software Technology and …, 2003
542003
On computing reachability sets of process rewrite systems
A Bouajjani, T Touili
International Conference on Rewriting Techniques and Applications, 484-499, 2005
512005
On the reachability analysis of acyclic networks of pushdown systems
MF Atig, A Bouajjani, T Touili
International Conference on Concurrency Theory, 356-371, 2008
482008
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
PoMMaDe: pushdown model-checking for malware detection
F Song, T Touili
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
322013
Model-checking for android malware detection
F Song, T Touili
Asian Symposium on Programming Languages and Systems, 216-235, 2014
302014
Efficient CTL model-checking for pushdown systems
F Song, T Touili
Theoretical Computer Science 549, 127-145, 2014
302014
LTL model-checking for malware detection
F Song, T Touili
International Conference on Tools and Algorithms for the Construction and …, 2013
282013
Permutation rewriting and algorithmic verification
A Bouajjani, A Muscholl, T Touili
Information and Computation 205 (2), 199-224, 2007
282007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20