Travelled to:1 × Croatia
1 × Singapore
1 × The Netherlands
1 × United Kingdom
2 × France
Collaborated with:A.McIver C.Morgan I.J.Hayes G.Smith J.Katoen C.C.Morgan
Talks about:probabilist (2) program (2) probabl (2) invari (2) time (2) real (2) powerdomain (1) noninterfer (1) nondetermin (1) kantorovich (1)
Person: Larissa Meinicke
DBLP: Meinicke:Larissa
Contributed to:
2014
2012
2010
20102009
2007Wrote 6 papers:
- FM-2014-HayesM #algebra #invariant #realtime
- Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
- LICS-2012-McIverMM #information management #nondeterminism #probability
- A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (AM, LM, CM), pp. 461–470.
- ICALP-v2-2010-McIverMM #composition #probability
- Compositional Closure for Bayes Risk in Probabilistic Noninterference (AM, LM, CM), pp. 223–235.
- 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-McIverMM #probability #security
- Security, Probability and Nearly Fair Coins in the Cryptographers’ Café (AM, LM, CM), pp. 41–71.
- IFM-2007-MeinickeS #development #process #realtime #reasoning #reliability
- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.