Péter Bokor

Affiliations:
  • TU Darmstadt, Department of Computer Science, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2018
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints.
CoRR, 2018

2017
Quick verification of concurrent programs by iteratively relaxed scheduling.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Efficient Verification of Program Fragments: Eager POR.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2013
Efficient Verification of Distributed Protocols Using Stateful Model Checking.
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.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011
Efficient verification of fault-tolerant message-passing protocols.
PhD thesis, 2011

Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
IEEE Trans. Dependable Secur. Comput., 2011

Supporting domain-specific state space reductions through local partial-order reduction.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Efficient model checking of fault-tolerant distributed protocols.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010
Eventually linearizable shared objects.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

On Efficient Models for Model Checking Message-Passing Distributed Protocols.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas.
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.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.
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.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007


  Loading...