Péter Bokor

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