( en | de | ru )

 

Disambiguierung von "Lazic, Marijana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

, , , und . Log. Methods Comput. Sci., (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marijana Melvan

Boja Lazic

Matthias Lazica

Miroslav Lazic

Jasmina Lazic

 

Weitere Publikationen von Autoren mit dem selben Namen

A dynamic epistemic logic analysis of the equality negation task., , , und . CoRR, (2019)Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics, , , , und . Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Volume 11562 von Lecture Notes in Computer Science, Seite 245--266. Springer, (2019)#conference.Complexity of Verification and Synthesis of Threshold Automata., , und . CoRR, (2020)https://arxiv.org/abs/2007.06248.A Dynamic Epistemic Logic Analysis of the Equality Negation Task., , , und . DaLí, Volume 12005 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.Brief Announcement: Holistic Verification of Blockchain Consensus., , , , , und . PODC, Seite 424-426. ACM, (2022)Wait-Free Solvability of Equality Negation Tasks., , , und . DISC, Volume 146 von LIPIcs, Seite 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms., , , und . CoRR, (2016)Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries., , , und . CONCUR, Volume 140 von LIPIcs, Seite 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.Tutorial: Parameterized Verification with Byzantine Model Checker, , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 189-207. Springer, (2020)A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks, , , , und . Journal of Logical and Algebraic Methods in Programming, (2021)#journal.