Marijana Lazic
Affiliations: TU Munich, Department of Informatics, Germany
 TU Vienna, LogiCS, Austria
According to our database^{1},
Marijana Lazic
authored at least 13 papers
between 2017 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
Correction to: Verification of randomized consensus algorithms under roundrigid adversaries.
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.
J. Log. Algebraic Methods Program., 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2020
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
CoRR, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the 33rd International Symposium on Distributed Computing, 2019
Proceedings of the Dynamic Logic. New Trends and Applications, 2019
Verification of ThresholdBased Distributed Algorithms by Decomposition to Decidable Logics.
Proceedings of the Computer Aided Verification  31st International Conference, 2019
2017
Para<sup>2</sup>: parameterized path reduction, acceleration, and SMT for reachability in thresholdguarded distributed algorithms.
Formal Methods Syst. Des., 2017
A short counterexample property for safety and liveness verification of faulttolerant distributed algorithms.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017