BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Meinicke:Larissa

Contributed to:

FM 20142014
LICS 20122012
ICALP (2) 20102010
SAS 20102010
FM 20092009
IFM 20072007

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.