Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. - Péter Bokor; Marco Serafini; Áron Sisak; András Pataricza; Neeraj Suri (HASE, 2007)

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. - Kohei Sakurai; Péter Bokor; Neeraj Suri (HASE, 2008)

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. - Péter Bokor; Marco Serafini; Neeraj Suri; Helmut Veith (ICFEM, 2009)

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. - Péter Bokor; Marco Serafini; Neeraj Suri; Helmut Veith (DISC, 2009)

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. - Marco Serafini; Péter Bokor; Dan Dobre; Matthias Majuntke; Neeraj Suri (DSN, 2010)

On Efficient Models for Model Checking Message-Passing Distributed Protocols. - Péter Bokor; Marco Serafini; Neeraj Suri (FMOODS/FORTE, 2010)

Eventually linearizable shared objects. - Marco Serafini; Dan Dobre; Matthias Majuntke; Péter Bokor; Neeraj Suri (PODC, 2010)

Efficient model checking of fault-tolerant distributed protocols. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (DSN, 2011)

Supporting domain-specific state space reductions through local partial-order reduction. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (ASE, 2011)

Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems. - Marco Serafini; Péter Bokor; Neeraj Suri; Jonny Vinter; Astrit Ademaj; Wolfgang Brandstätter; Fulvio Tagliabo; Jens Koch (IEEE Trans. Dependable Secur. Comput., 2011)

Efficient verification of fault-tolerant message-passing protocols. - Péter Bokor (2011)

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. - Can Arda Muftuoglu; Péter Bokor; Neeraj Suri (SSS, 2012)

Efficient Verification of Distributed Protocols Using Stateful Model Checking. - Habib Saissi; Péter Bokor; Can Arda Muftuoglu; Neeraj Suri; Marco Serafini (SRDS, 2013)

PBMC: Symbolic Slicing for the Verification of Concurrent Programs. - Habib Saissi; Péter Bokor; Neeraj Suri (ATVA, 2015)

Efficient Verification of Program Fragments: Eager POR. - Patrick Metzler; Habib Saissi; Péter Bokor; Robin Hesse; Neeraj Suri (ATVA, 2016)

Quick verification of concurrent programs by iteratively relaxed scheduling. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (ASE, 2017)

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (CoRR, 2018)

Weighted multi-level deep learning analysis and framework for processing breast cancer WSIs. - Péter Bokor; Lukas Hudec; Ondrej Fabian; Wanda Benesova (CoRR, 2021)