Larissa A. Meinicke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Specifying and reasoning about shared-variable concurrency	2024-02-28	Paper
Encoding fairness in a synchronous concurrent program algebra (available as arXiv preprint)	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 (available as arXiv preprint)	2020-01-03	Paper
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency Formal Aspects of Computing	2019-05-10	Paper
Designing a semantic model for a wide-spectrum language with concurrency Formal Aspects of Computing	2017-11-29	Paper
A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
Hidden-Markov program algebra with iteration Mathematical Structures in Computer Science	2016-07-27	Paper
Abstractions of non-interference security: probabilistic versus possibilistic Formal Aspects of Computing	2015-03-25	Paper
Towards an algebra for real-time programs Relational and Algebraic Methods in Computer Science	2012-09-21	Paper
Linear-invariant generation for probabilistic programs: automated support for proof-based methods Static Analysis	2010-10-01	Paper
Compositional closure for Bayes risk in probabilistic noninterference Automata, Languages and Programming	2010-09-07	Paper
Unifying theories of programming that distinguish nontermination and abort Lecture Notes in Computer Science	2010-07-26	Paper
Refinement algebra for probabilistic programs Formal Aspects of Computing	2010-03-08	Paper
Continuous Action System Refinement Lecture Notes in Computer Science	2009-04-02	Paper
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems Lecture Notes in Computer Science	2009-03-06	Paper
Probabilistic Choice in Refinement Algebra Lecture Notes in Computer Science	2008-08-28	Paper
Algebraic reasoning for probabilistic action systems and while-loops Acta Informatica	2008-08-19	Paper
Reactive Probabilistic Programs and Refinement Algebra Relations and Kleene Algebra in Computer Science	2008-05-15	Paper

Research outcomes over time

This page was built for person: Larissa A. Meinicke