Marijana Lazic

According to our database, Marijana Lazic authored at least 13 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Correction to: Verification of randomized consensus algorithms under round-rigid adversaries.

Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder

Int. J. Softw. Tools Technol. Transf., 2021

Verification of randomized consensus algorithms under round-rigid adversaries.

Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder

Int. J. Softw. Tools Technol. Transf., 2021

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

Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum

J. Log. Algebraic Methods Program., 2021

A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries.

Nathalie Bertrand, Marijana Lazic, Josef Widder

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder

CoRR, 2020

Tutorial: Parameterized Verification with Byzantine Model Checker.

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Complexity of Verification and Synthesis of Threshold Automata.

A. R. Balasubramanian, Javier Esparza, Marijana Lazic

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Wait-Free Solvability of Equality Negation Tasks.

Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

A Dynamic Epistemic Logic Analysis of the Equality Negation Task.

Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.

Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

Para²: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.

Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder

Formal Methods Syst. Des., 2017

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

Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Synthesis of Distributed Algorithms with Parameterized Threshold Guards.

Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017