Marijana Lazic

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 22

Top Topics

Dynamic Epistemic Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Log. Algebraic Methods Program.

Publications

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