BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Estonia
1 × Finland
1 × France
1 × Hungary
1 × Italy
1 × Japan
1 × Russia
1 × The Netherlands
2 × Denmark
2 × Germany
4 × USA
Collaborated with:
F.Song A.Bouajjani N.Kidd T.W.Reps M.F.Atig A.Lal S.Chaki E.M.Clarke G.Patin M.Sighireanu J.Esparza A.Muscholl B.Jonsson M.Nilsson P.Habermehl L.Holík T.Vojnar O.Grumberg J.Ouaknine N.Sharygina H.Veith
Talks about:
model (7) program (6) check (6) malwar (4) detect (4) concurr (3) verif (3) pushdown (2) softwar (2) analysi (2)

Person: Tayssir Touili

DBLP DBLP: Touili:Tayssir

Facilitated 1 volumes:

CAV 2010Ed

Contributed to:

ESEC/FSE 20132013
IFM 20132013
TACAS 20132013
ASE 20122012
FM 20122012
TACAS 20122012
CIAA 20092009
CIAA 20082008
TACAS 20082008
CAV 20072007
SAS 20072007
TACAS 20062006
IFM 20052005
RTA 20052005
POPL 20032003
CAV 20022002
LICS 20012001
CAV 20002000

Wrote 18 papers:

ESEC-FSE-2013-SongT #automaton #detection #model checking #named
PoMMaDe: pushdown model-checking for malware detection (FS, TT), pp. 607–610.
IFM-2013-SongT #api #library #model checking
Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.
TACAS-2013-SongT #detection #ltl #model checking
LTL Model-Checking for Malware Detection (FS, TT), pp. 416–431.
ASE-2012-SongT #model checking #named #source code
PuMoC: a CTL model-checker for sequential programs (FS, TT), pp. 346–349.
FM-2012-SongT #detection #model checking #performance #using
Efficient Malware Detection Using Model-Checking (FS, TT), pp. 418–433.
TACAS-2012-SongT #automaton #detection #model checking
Pushdown Model Checking for Malware Detection (FS, TT), pp. 110–125.
CIAA-2009-AtigT #communication #parallel #source code #verification
Verifying Parallel Programs with Dynamic Communication Structures (MFA, TT), pp. 145–154.
CIAA-2008-BouajjaniHHTV #automaton #finite #nondeterminism #testing
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata (AB, PH, LH, TT, TV), pp. 57–67.
TACAS-2008-LalTKR #analysis #bound #concurrent #interprocedural #source code
Interprocedural Analysis of Concurrent Programs Under a Context Bound (AL, TT, NK, TWR), pp. 282–298.
CAV-2007-PatinST #named #parallel #recursion #source code #thread #verification
Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.
SAS-2007-LalKRT #fault
Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.
TACAS-2006-ChakiCKRT #c #concurrent #message passing #recursion #source code #verification
Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.
IFM-2005-ChakiCGOSTV #specification #verification
State/Event Software Verification for Branching-Time Specifications (SC, EMC, OG, JO, NS, TT, HV), pp. 53–69.
RTA-2005-BouajjaniT #on the #process #reachability #set #term rewriting
On Computing Reachability Sets of Process Rewrite Systems (AB, TT), pp. 484–499.
POPL-2003-BouajjaniET #approach #concurrent #source code #static analysis
A generic approach to the static analysis of concurrent programs with procedures (AB, JE, TT), pp. 62–73.
CAV-2002-BouajjaniT #program transformation
Extrapolating Tree Transformations (AB, TT), pp. 539–554.
LICS-2001-BouajjaniMT #algorithm #permutation #verification
Permutation Rewriting and Algorithmic Verification (AB, AM, TT), pp. 399–408.
CAV-2000-BouajjaniJNT #model checking
Regular Model Checking (AB, BJ, MN, TT), pp. 403–418.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.