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 × Hungary
1 × Ireland
1 × USA
Collaborated with:
N.Schirmer A.Starostin S.Böhme K.Mehlhorn C.Rizkallah V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:
verif (2) competit (1) softwar (1) certifi (1) verifi (1) report (1) pervas (1) mechan (1) formal (1) experi (1)

Person: Eyad Alkassar

DBLP DBLP: Alkassar:Eyad

Contributed to:

CAV 20112011
FM 20112011
TACAS 20082008

Wrote 3 papers:

CAV-2011-AlkassarBMR #verification
Verification of Certifying Computations (EA, SB, KM, CR), pp. 67–82.
FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
TACAS-2008-AlkassarSS #pervasive #verification
Formal Pervasive Verification of a Paging Mechanism (EA, NS, AS), pp. 109–123.

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.