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 × China
1 × Germany
1 × Greece
1 × India
1 × Italy
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
N.Belblidia M.Saleh N.Tawbi B.C.M.Fung S.Doyon S.Ouchani O.A.Mohamed N.Mohammed A.Mourad A.Faour F.Iqbal L.A.Khan D.Alhadidi P.Bhattacharya A.Soeanu S.Ray J.Berger A.Boukhtouta
Talks about:
analysi (2) verifi (2) java (2) arm (2) cryptoprotocol (1) probabilist (1) trajectori (1) authorship (1) processor (1) algorithm (1)

Person: Mourad Debbabi

DBLP DBLP: Debbabi:Mourad

Contributed to:

SAC 20122012
SEFM 20122012
SAC 20102010
CIKM 20092009
SEFM 20072007
SEFM 20062006
SAC 20052005
SAC 20002000
IFL 19961996

Wrote 10 papers:

SAC-2012-SalehSRDBB #design #distributed #problem
Mechanism design for decentralized vehicle routing problem (MS, AS, SR, MD, JB, AB), pp. 749–754.
SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process
Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
SAC-2010-IqbalKFD #email #forensics #verification
e-mail authorship verification for forensic investigation (FI, LAK, BCMF, MD), pp. 1591–1598.
CIKM-2009-MohammedFD #analysis
Walking in the crowd: anonymizing trajectory data for pattern analysis (NM, BCMF, MD), pp. 1441–1444.
SEFM-2007-AlhadidiBDB #aspect-oriented #λ-calculus
An AOP Extended λ-Calculus (DA, NB, MD, PB), pp. 183–194.
SEFM-2007-SalehD #approach #novel #security #verification
Verifying Security Properties of Cryptoprotocols: A Novel Approach (MS, MD), pp. 349–360.
SEFM-2006-BelblidiaD #aspectj #formal method #weaving
Formalizing AspectJ Weaving for Static Pointcuts (NB, MD), pp. 50–59.
SAC-2005-DebbabiMT #compilation #embedded #java #virtual machine
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
SAC-2000-DoyonD #bytecode #java #verification
Verifying Object Initialization in the Java Bytecode Language (SD, MD), pp. 821–830.
IFL-1996-DebbabiFT #algorithm #analysis #concurrent #control flow #higher-order #source code #type system
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs (MD, AF, NT), pp. 247–266.
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.