Tayssir Touili
Université Paris Cité(FR)Institut de Recherche en Informatique Fondamentale(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Advanced Malware Detection Techniques, Network Security and Intrusion Detection
Most-Cited Works
- → Regular Model Checking(2000)287 cited
- → A generic approach to the static analysis of concurrent programs with procedures(2003)146 cited
- → Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems(2005)115 cited
- → Interprocedural Analysis of Concurrent Programs Under a Context Bound(2008)86 cited
- → Regular Model Checking using Widening Techniques(2001)78 cited
- → Verification by Network Decomposition(2004)75 cited
- → Efficient Malware Detection Using Model-Checking(2012)72 cited