Travelled to:2 × USA
Collaborated with:Z.Qian A.Goldberg F.Giunchiglia P.Bertoli G.T.Leavens J.Abrial D.S.Batory M.J.Butler K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:sup (2) roadmap (1) project (1) languag (1) specif (1) method (1) formal (1) enhanc (1) verif (1) state (1)
Person: Alessandro Coglio
DBLP: Coglio:Alessandro
Contributed to:
2006
2000
1998Wrote 3 papers:
- GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
- Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
- OOPSLA-2000-QianGC #java #specification
- A formal specification of JavaTM class loading (ZQ, AG, AC), pp. 325–336.
- WRLA-1998-GiunchigliaBC #state of the art
- The OMRS project: state of the art (FG, PB, AC), pp. 127–146.