Péter Bokor

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 5

Top Venues

CoRR

ATVA

SRDS

ASE

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Péter Bokor, Lukas Hudec, Ondrej Fabian, Wanda Benesova
Weighted multi-level deep learning analysis and framework for processing breast cancer WSIs. CoRR (2021)
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. CoRR (2018)
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
Quick verification of concurrent programs by iteratively relaxed scheduling. ASE (2017)
Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri
Efficient Verification of Program Fragments: Eager POR. ATVA (2016)
Habib Saissi, Péter Bokor, Neeraj Suri
PBMC: Symbolic Slicing for the Verification of Concurrent Programs. ATVA (2015)
Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini
Efficient Verification of Distributed Protocols Using Stateful Model Checking. SRDS (2013)
Can Arda Muftuoglu, Péter Bokor, Neeraj Suri
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. SSS (2012)
Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
Efficient model checking of fault-tolerant distributed protocols. DSN (2011)
Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
Supporting domain-specific state space reductions through local partial-order reduction. ASE (2011)
Marco Serafini, Péter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems. IEEE Trans. Dependable Secur. Comput. 8 (2) (2011)
Péter Bokor, Marco Serafini, Neeraj Suri
On Efficient Models for Model Checking Message-Passing Distributed Protocols. FMOODS/FORTE (2010)
Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. DSN (2010)
Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri
Eventually linearizable shared objects. PODC (2010)
Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. DISC (2009)
Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ICFEM (2009)
Kohei Sakurai, Péter Bokor, Neeraj Suri
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. HASE (2008)
Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. HASE (2007)

Péter Bokor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Péter Bokor