`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:

### Wrote 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.