Larissa A. Meinicke

Available identifiers

zbMath Open meinicke.larissa-aMaRDI QIDQ1682287

List of research outcomes

Publication	Date of Publication	Type
Specifying and reasoning about shared-variable concurrency	2024-02-28	Paper
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

This page was built for person: Larissa A. Meinicke