Péter Bokor

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas

Marco Serafini, Péter Bokor, Dan Dobre et al. · 2010 · 24 citations

Computing, Computer Engineering, Computer Science +16

Efficient model checking of fault-tolerant distributed protocols

Péter Bokor, Johannes Kinder, Marco Serafini et al. · 2011 · 23 citations

Computing, Computer Science, Computer Systems +16

Eventually linearizable shared objects

Marco Serafini, Dan Dobre, Matthias Majuntke et al. · 2010 · 22 citations

Computing, Computer Science, Computer Systems +11

Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems

Marco Serafini, Péter Bokor, Neeraj Suri et al. · IEEE Transactions on Dependable and Secure Computing · 2011 · 12 citations

Computing, Computer Engineering, Computer Science +15

Supporting domain-specific state space reductions through local partial-order reduction

Péter Bokor, Johannes Kinder, Marco Serafini et al. · 2011 · 10 citations · Full text

Computing, Computer Engineering, Computer Science +16