Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marijana Lazic
@article{DBLP:journals/lmcs/0001LSW23,
author = {Igor Konnov and
Marijana Lazic and
Ilina Stoilkovska and
Josef Widder},
title = {Survey on Parameterized Verification with Threshold Automata and the
Byzantine Model Checker},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:5)2023},
doi = {10.46298/LMCS-19(1:5)2023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/0001LSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/0001G0LTW22,
author = {Nathalie Bertrand and
Vincent Gramoli and
Igor Konnov and
Marijana Lazic and
Pierre Tholoniat and
Josef Widder},
editor = {Alessia Milani and
Philipp Woelfel},
title = {Brief Announcement: Holistic Verification of Blockchain Consensus},
booktitle = {{PODC} '22: {ACM} Symposium on Principles of Distributed Computing,
Salerno, Italy, July 25 - 29, 2022},
pages = {424--426},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519270.3538468},
doi = {10.1145/3519270.3538468},
timestamp = {Mon, 25 Jul 2022 15:01:51 +0200},
biburl = {https://dblp.org/rec/conf/podc/0001G0LTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/0001G0LTW22,
author = {Nathalie Bertrand and
Vincent Gramoli and
Igor Konnov and
Marijana Lazic and
Pierre Tholoniat and
Josef Widder},
editor = {Christian Scheideler},
title = {Holistic Verification of Blockchain Consensus},
booktitle = {36th International Symposium on Distributed Computing, {DISC} 2022,
October 25-27, 2022, Augusta, Georgia, {USA}},
series = {LIPIcs},
volume = {246},
pages = {10:1--10:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.DISC.2022.10},
doi = {10.4230/LIPICS.DISC.2022.10},
timestamp = {Mon, 17 Oct 2022 16:44:53 +0200},
biburl = {https://dblp.org/rec/conf/wdag/0001G0LTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-04489,
author = {Nathalie Bertrand and
Vincent Gramoli and
Igor Konnov and
Marijana Lazic and
Pierre Tholoniat and
Josef Widder},
title = {Holistic Verification of Blockchain Consensus},
journal = {CoRR},
volume = {abs/2206.04489},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.04489},
doi = {10.48550/ARXIV.2206.04489},
eprinttype = {arXiv},
eprint = {2206.04489},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-04489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/DitmarschGLLR21,
author = {Hans van Ditmarsch and
{\'{E}}ric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {A dynamic epistemic logic analysis of equality negation and other
epistemic covering tasks},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100662},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100662},
doi = {10.1016/J.JLAMP.2021.100662},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/DitmarschGLLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BertrandKLW21,
author = {Nathalie Bertrand and
Igor Konnov and
Marijana Lazic and
Josef Widder},
title = {Verification of randomized consensus algorithms under round-rigid
adversaries},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {797--821},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00603-x},
doi = {10.1007/S10009-020-00603-X},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BertrandKLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BertrandKLW21a,
author = {Nathalie Bertrand and
Igor Konnov and
Marijana Lazic and
Josef Widder},
title = {Correction to: Verification of randomized consensus algorithms under
round-rigid adversaries},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {823},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00612-4},
doi = {10.1007/S10009-021-00612-4},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BertrandKLW21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BertrandLW21,
author = {Nathalie Bertrand and
Marijana Lazic and
Josef Widder},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {A Reduction Theorem for Randomized Distributed Algorithms Under Weak
Adversaries},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {219--239},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_11},
doi = {10.1007/978-3-030-67067-2\_11},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BertrandLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Balasubramanian20,
author = {A. R. Balasubramanian and
Javier Esparza and
Marijana Lazic},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Complexity of Verification and Synthesis of Threshold Automata},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {144--160},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_8},
doi = {10.1007/978-3-030-59152-6\_8},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Balasubramanian20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/0001LSW20,
author = {Igor Konnov and
Marijana Lazic and
Ilina Stoilkovska and
Josef Widder},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Tutorial: Parameterized Verification with Byzantine Model Checker},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {189--207},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_11},
doi = {10.1007/978-3-030-50086-3\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/0001LSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06248,
author = {A. R. Balasubramanian and
Javier Esparza and
Marijana Lazic},
title = {Complexity of Verification and Synthesis of Threshold Automata},
journal = {CoRR},
volume = {abs/2007.06248},
year = {2020},
url = {https://arxiv.org/abs/2007.06248},
eprinttype = {arXiv},
eprint = {2007.06248},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14789,
author = {Igor Konnov and
Marijana Lazic and
Ilina Stoilkovska and
Josef Widder},
title = {Survey on Parameterized Verification with Threshold Automata and the
Byzantine Model Checker},
journal = {CoRR},
volume = {abs/2011.14789},
year = {2020},
url = {https://arxiv.org/abs/2011.14789},
eprinttype = {arXiv},
eprint = {2011.14789},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerkovitsLLPS19,
author = {Idan Berkovits and
Marijana Lazic and
Giuliano Losa and
Oded Padon and
Sharon Shoham},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Verification of Threshold-Based Distributed Algorithms by Decomposition
to Decidable Logics},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {245--266},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_15},
doi = {10.1007/978-3-030-25543-5\_15},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/BerkovitsLLPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BertrandKLW19,
author = {Nathalie Bertrand and
Igor Konnov and
Marijana Lazic and
Josef Widder},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Verification of Randomized Consensus Algorithms Under Round-Rigid
Adversaries},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {33:1--33:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.33},
doi = {10.4230/LIPICS.CONCUR.2019.33},
timestamp = {Mon, 18 May 2020 10:45:19 +0200},
biburl = {https://dblp.org/rec/conf/concur/BertrandKLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GoubaultLLR19,
author = {{\'{E}}ric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Lu{\'{\i}}s Soares Barbosa and
Alexandru Baltag},
title = {A Dynamic Epistemic Logic Analysis of the Equality Negation Task},
booktitle = {Dynamic Logic. New Trends and Applications - Second International
Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12005},
pages = {53--70},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38808-9\_4},
doi = {10.1007/978-3-030-38808-9\_4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/GoubaultLLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GoubaultLLR19,
author = {{\'{E}}ric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Jukka Suomela},
title = {Wait-Free Solvability of Equality Negation Tasks},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.21},
doi = {10.4230/LIPICS.DISC.2019.21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/GoubaultLLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07805,
author = {Idan Berkovits and
Marijana Lazic and
Giuliano Losa and
Oded Padon and
Sharon Shoham},
title = {Verification of Threshold-Based Distributed Algorithms by Decomposition
to Decidable Logics},
journal = {CoRR},
volume = {abs/1905.07805},
year = {2019},
url = {http://arxiv.org/abs/1905.07805},
eprinttype = {arXiv},
eprint = {1905.07805},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03263,
author = {Eric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {A dynamic epistemic logic analysis of the equality negation task},
journal = {CoRR},
volume = {abs/1909.03263},
year = {2019},
url = {http://arxiv.org/abs/1909.03263},
eprinttype = {arXiv},
eprint = {1909.03263},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KonnovLVW17,
author = {Igor Konnov and
Marijana Lazic and
Helmut Veith and
Josef Widder},
title = {Para\({}^{\mbox{2}}\): parameterized path reduction, acceleration,
and {SMT} for reachability in threshold-guarded distributed algorithms},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {2},
pages = {270--307},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0297-4},
doi = {10.1007/S10703-017-0297-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KonnovLVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Lazic0WB17,
author = {Marijana Lazic and
Igor Konnov and
Josef Widder and
Roderick Bloem},
editor = {James Aspnes and
Alysson Bessani and
Pascal Felber and
Jo{\~{a}}o Leit{\~{a}}o},
title = {Synthesis of Distributed Algorithms with Parameterized Threshold Guards},
booktitle = {21st International Conference on Principles of Distributed Systems,
{OPODIS} 2017, Lisbon, Portugal, December 18-20, 2017},
series = {LIPIcs},
volume = {95},
pages = {32:1--32:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.32},
doi = {10.4230/LIPICS.OPODIS.2017.32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Lazic0WB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KonnovLVW17,
author = {Igor V. Konnov and
Marijana Lazic and
Helmut Veith and
Josef Widder},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {A short counterexample property for safety and liveness verification
of fault-tolerant distributed algorithms},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {719--734},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009860},
doi = {10.1145/3009837.3009860},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/KonnovLVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonnovLVW16,
author = {Igor Konnov and
Marijana Lazic and
Helmut Veith and
Josef Widder},
title = {A Short Counterexample Property for Safety and Liveness Verification
of Fault-tolerant Distributed Algorithms},
journal = {CoRR},
volume = {abs/1608.05327},
year = {2016},
url = {http://arxiv.org/abs/1608.05327},
eprinttype = {arXiv},
eprint = {1608.05327},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KonnovLVW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
