Travelled to:1 × Finland
1 × France
1 × The Netherlands
Collaborated with:A.McIver A.K.McIver C.Gonzalia J.Katoen L.Meinicke
Talks about:probabilist (2) refin (2) proof (2) composit (1) support (1) program (1) generat (1) method (1) linear (1) invari (1)
Person: Carroll C. Morgan
DBLP: Morgan:Carroll_C=
Contributed to:
2010
20092008Wrote 3 papers:
- SAS-2010-KatoenMMM #automation #generative #invariant #probability #source code
- Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
- FM-2009-McIverM #case study #composition #refinement #security
- Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.
- FM-2008-McIverMG #probability #proving #refinement
- Proofs and Refutations for Probabilistic Refinement (AKM, CCM, CG), pp. 100–115.