Travelled to:1 × Australia
1 × Germany
1 × Italy
1 × USA
Collaborated with:G.Collins A.Bundy I.Green R.H.Bordini B.Farwer M.Fisher M.Norrish R.J.Boulton K.Slind G.Robinson M.J.C.Gordon T.F.Melham
Talks about:verif (2) microsoft (1) generalis (1) descript (1) coinduct (1) toolkit (1) prosper (1) program (1) bisimul (1) system (1)
Person: Louise A. Dennis
DBLP: Dennis:Louise_A=
Contributed to:
2008
2000
20001997Wrote 4 papers:
- ASE-2008-BordiniDFF #automation #multi #source code #verification
- Automated Verification of Multi-Agent Programs (RHB, LAD, BF, MF), pp. 69–78.
- CADE-2000-CollinsD #verification
- System Description: Embedding Verification into Microsoft Excel (GC, LAD), pp. 497–501.
- TACAS-2000-DennisCNBSRGM #tool support
- The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
- CADE-1997-DennisBG #bisimulation #induction #proving #using
- Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs (LAD, AB, IG), pp. 276–290.