Marijana Lazic

22 papers A* 2A 2B 4C 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Log. Methods Comput. Sci.
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2022 A* conf
Brief Announcement: Holistic Verification of Blockchain Consensus.
PODC
Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022 A conf
Holistic Verification of Blockchain Consensus.
DISC
Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022 J jnl
Holistic Verification of Blockchain Consensus.
CoRR
Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2021 B conf
A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries.
VMCAI
Nathalie Bertrand, Marijana Lazic, Josef Widder
2021 J jnl
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.
J. Log. Algebraic Methods Program.
Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2021 J jnl
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries.
Int. J. Softw. Tools Technol. Transf.
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2021 J jnl
Verification of randomized consensus algorithms under round-rigid adversaries.
Int. J. Softw. Tools Technol. Transf.
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2020 B conf
Complexity of Verification and Synthesis of Threshold Automata.
ATVA
A. R. Balasubramanian, Javier Esparza, Marijana Lazic
2020 J jnl
Complexity of Verification and Synthesis of Threshold Automata.
CoRR
A. R. Balasubramanian, Javier Esparza, Marijana Lazic
2020 J jnl
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
CoRR
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2020 C conf
Tutorial: Parameterized Verification with Byzantine Model Checker.
FORTE
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2019 — conf
A Dynamic Epistemic Logic Analysis of the Equality Negation Task.
DaLí
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2019 J jnl
A dynamic epistemic logic analysis of the equality negation task.
CoRR
Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2019 B conf
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries.
CONCUR
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2019 — conf
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.
CAV (2)
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
2019 J jnl
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.
CoRR
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
2019 A conf
Wait-Free Solvability of Equality Negation Tasks.
DISC
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2017 A* conf
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.
POPL
Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2017 J jnl
Para
Formal Methods Syst. Des.
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2017 B conf
Synthesis of Distributed Algorithms with Parameterized Threshold Guards.
OPODIS
Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
2016 J jnl
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms.
CoRR
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder