Péter Bokor

According to our database, Péter Bokor authored at least 18 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Weighted multi-level deep learning analysis and framework for processing breast cancer WSIs.

Péter Bokor, Lukas Hudec, Ondrej Fabian, Wanda Benesova

CoRR, 2021

2018

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints.

Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri

CoRR, 2018

2017

Quick verification of concurrent programs by iteratively relaxed scheduling.

Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Efficient Verification of Program Fragments: Eager POR.

Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

PBMC: Symbolic Slicing for the Verification of Concurrent Programs.

Habib Saissi, Péter Bokor, Neeraj Suri

Proceedings of the Automated Technology for Verification and Analysis, 2015

2013

Efficient Verification of Distributed Protocols Using Stateful Model Checking.

Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

2012

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems.

Can Arda Muftuoglu, Péter Bokor, Neeraj Suri

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011

Efficient verification of fault-tolerant message-passing protocols.

Péter Bokor

PhD thesis, 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

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

Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Efficient model checking of fault-tolerant distributed protocols.

Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

Eventually linearizable shared objects.

Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

On Efficient Models for Model Checking Message-Passing Distributed Protocols.

Péter Bokor, Marco Serafini, Neeraj Suri

Proceedings of the Formal Techniques for Distributed Systems, 2010

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

Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.

Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.

Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.

Kohei Sakurai, Péter Bokor, Neeraj Suri

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.

Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007