BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × The Netherlands
Collaborated with:
F.Martinelli M.Ceccato T.R.Dean P.Tonella
Talks about:
cryptograph (1) techniqu (1) protocol (1) composit (1) automat (1) analysi (1) system (1) revers (1) migrat (1) legaci (1)

Person: Davide Marchignoli

DBLP DBLP: Marchignoli:Davide

Contributed to:

WCRE 20082008
TACAS 19991999

Wrote 2 papers:

WCRE-2008-CeccatoDTM #java #legacy #migration #reverse engineering
Data Model Reverse Engineering in Migrating a Legacy System to Java (MC, TRD, PT, DM), pp. 177–186.
TACAS-1999-MarchignoliM #analysis #automation #composition #encryption #protocol #verification
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques (DM, FM), pp. 148–162.

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.