Larissa Meinicke

According to our database1, Larissa Meinicke
  • authored at least 27 papers between 2006 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Designing a semantic model for a wide-spectrum language with concurrency.
Formal Asp. Comput., 2017

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.
CoRR, 2017

Evaluating quality of security testing of the JDK.
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, 2017

2016
An algebra of synchronous atomic steps.
CoRR, 2016

Designing a semantic model for a wide-spectrum language with concurrency.
CoRR, 2016

An Algebra of Synchronous Atomic Steps.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Hidden-Markov program algebra with iteration.
Mathematical Structures in Computer Science, 2015

2014
Abstractions of non-interference security: probabilistic versus possibilistic.
Formal Asp. Comput., 2014

Abstract Channels and Their Robust Information-Leakage Ordering.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Invariants, Well-Founded Statements and Real-Time Program Algebra.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Linking Unifying Theories of Program refinement.
Sci. Comput. Program., 2013

2012
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Towards an Algebra for Real-Time Programs.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Hidden-Markov Program Algebra with iteration
CoRR, 2011

2010
Refinement algebra for probabilistic programs.
Formal Asp. Comput., 2010

Compositional closure for Bayes Risk in probabilistic noninterference
CoRR, 2010

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Unifying Theories of Programming That Distinguish Nontermination and Abort.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Compositional Closure for Bayes Risk in Probabilistic Noninterference.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009
Security, Probability and Nearly Fair Coins in the Cryptographers' Café.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Refinement Algebra for Probabilistic Programs.
Electr. Notes Theor. Comput. Sci., 2008

Algebraic reasoning for probabilistic action systems and while-loops.
Acta Inf., 2008

Probabilistic Choice in Refinement Algebra.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Reactive Probabilistic Programs and Refinement Algebra.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
Continuous Action System Refinement.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Reasoning Algebraically About Probabilistic Loops.
Proceedings of the Formal Methods and Software Engineering, 2006


  Loading...