Concepedia

Tayssir Touili

TT

18

Publications

694

Citations

13

H-Index

2001

Active since

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Délégation Paris 7

Laboratoire d'Informatique de Paris-Nord

Tayssir Touili is an author at Université Paris Cité specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsSoftware AnalysisProgram AnalysisAutomated ReasoningSystem SoftwareSoftware Testing

Publications per year

2001–2017

18

Publications

18

A generic approach to the static analysis of concurrent programs with procedures

Ahmed Bouajjani, Javier Esparza, Tayssir Touili · 2003 · 146 citations

Engineering, Verification, Generic Approach +24

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili · Lecture notes in computer science · 2005 · 115 citations

Regular Model Checking using Widening Techniques

Tayssir Touili · Electronic Notes in Theoretical Computer Science · 2001 · 78 citations · Full text

Formal Specification, Engineering, Reachability Problem +15

Verifying Concurrent Message-Passing C Programs with Recursive Calls

Sagar Chaki, E. M. Clarke, Nicholas Kidd et al. · Lecture notes in computer science · 2006 · 71 citations · Full text

Pushdown model checking for malware detection

Fu Song, Tayssir Touili · International Journal on Software Tools for Technology Transfer · 2013 · 35 citations

Engineering, Evasion Technique, Program Analysis +8

Rows per page

1–5 of 18