M. Lazic

发表

0 : 2 Synthesis of Distributed Algorithms with Parameterized Threshold Guards 1 Introduction

I. Konnov, R. Bloem, M. Lazic, 2017 .

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

Sergio Rajsbaum, Hans van Ditmarsch, Marijana Lazic, 2021, J. Log. Algebraic Methods Program..

A dynamic epistemic logic analysis of the equality negation task pdf

Sergio Rajsbaum, Marijana Lazic, Eric Goubault, 2019, DaLí.

Verification of randomized consensus algorithms under round-rigid adversaries

Igor Konnov, Josef Widder, Nathalie Bertrand, 2019, International Journal on Software Tools for Technology Transfer.

Tutorial: Parameterized Verification with Byzantine Model Checker

Igor Konnov, Josef Widder, Ilina Stoilkovska, 2020, FORTE.

Finite generation of congruence preserving functions

M. Lazic, E. Aichinger, Nebojsa Mudrinski, 2015, 1503.08487.

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2016, POPL.

Brief Announcement: Holistic Verification of Blockchain Consensus

N. Bertrand, M. Lazic, Josef Widder, 2022, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.

Wait-Free Solvability of Equality Negation Tasks

Sergio Rajsbaum, Marijana Lazic, Éric Goubault, 2019, DISC.

Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto

Josef Widder, Cezara Drăgoi, Marijana Lazić, 2018 .

Synthesis of Distributed Algorithms with Parameterized Threshold Guards

Igor Konnov, Josef Widder, Roderick Bloem, 2018, OPODIS.

Para\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document}2: parameterized path reduction, acceleration, a

Helmut Veith, Igor Konnov, Josef Widder, 2017, Formal Methods in System Design.

Wait-free Solvability of Equality Negation Tasks ( Preliminary version )

S. Rajsbaum, M. Lazic, J. Ledent, 2019 .