Larissa A. Meinicke

Available identifiers

zbMath Open meinicke.larissa-aMaRDI QIDQ1682287

List of research outcomes

Publication	Date of Publication	Type
Encoding fairness in a synchronous concurrent program algebra	2021-05-04	Paper
Cylindric Kleene lattices for program construction	2020-05-05	Paper
Developing an algebra for rely/guarantee concurrency: design decisions and challenges	2020-02-18	Paper
An algebra of synchronous atomic steps	2020-01-03	Paper
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency	2019-05-10	Paper
Designing a semantic model for a wide-spectrum language with concurrency	2017-11-29	Paper
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism	2017-05-16	Paper
Hidden-Markov program algebra with iteration	2016-07-27	Paper
Abstractions of non-interference security: probabilistic versus possibilistic	2015-03-25	Paper
Towards an Algebra for Real-Time Programs	2012-09-21	Paper
Linear-Invariant Generation for Probabilistic Programs:	2010-10-01	Paper
Compositional Closure for Bayes Risk in Probabilistic Noninterference	2010-09-07	Paper
Unifying Theories of Programming That Distinguish Nontermination and Abort	2010-07-26	Paper
Refinement algebra for probabilistic programs	2010-03-08	Paper
Continuous Action System Refinement	2009-04-02	Paper
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems	2009-03-06	Paper
Probabilistic Choice in Refinement Algebra	2008-08-28	Paper
Algebraic reasoning for probabilistic action systems and while-loops	2008-08-19	Paper
Reactive Probabilistic Programs and Refinement Algebra	2008-05-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Larissa A. Meinicke