Items where Author is "Bokor, P."

Journal Article

Serafini, M. and Bokor, P. and Suri, Neeraj and Vinter, J. and Ademaj, A. and Brandstätter, W. and Tagliabo, F. and Koch, J. (2011) Application-level diagnostic and membership protocols for generic time-triggered systems. IEEE Transactions on Dependable and Secure Computing, 8 (2). pp. 177-193. ISSN 1545-5971

Contribution in Book/Report/Proceedings

Metzler, P. and Saissi, H. and Bokor, P. and Suri, Neeraj (2017) Quick verification of concurrent programs by iteratively relaxed scheduling. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) :. IEEE, pp. 776-781. ISBN 9781538639764

Metzler, P. and Saissi, H. and Bokor, P. and Hess, R. and Suri, Neeraj (2016) Efficient verification of program fragments : Eager POR. In: Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Springer-Verlag, pp. 375-391. ISBN 9783319465197

Saissi, H. and Bokor, P. and Suri, Neeraj (2015) PBMC : Symbolic slicing for the verification of concurrent programs. In: Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, pp. 344-360. ISBN 9783319249520

Saissi, H. and Bokor, P. and Muftuoglu, C.A. and Suri, Neeraj and Serafini, M. (2013) Efficient verification of distributed protocols using stateful model checking. In: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems :. IEEE, pp. 133-142. ISBN 9780769551159

Muftuoglu, C.A. and Bokor, P. and Suri, Neeraj (2012) Brief announcement: MP-state : State-aware software model checking of message-passing systems. In: Stabilization, Safety, and Security of Distributed Systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. UNSPECIFIED, pp. 183-186. ISBN 9783642335358

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Supporting domain-specific state space reductions through local partial-order reduction. In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) :. IEEE, pp. 113-122. ISBN 9781457716386

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Efficient model checking of fault-tolerant distributed protocols. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 73-84. ISBN 9781424492329

Serafini, M. and Dobre, D. and Majuntke, M. and Bokor, P. and Suri, Neeraj (2010) Eventually linearizable shared objects. In: PODC '10 Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing :. ACM, pp. 95-104. ISBN 9781605588889

Serafini, M. and Bokor, P. and Dobre, D. and Majuntke, M. and Suri, Neeraj (2010) Scrooge : Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 353-362. ISBN 9781424475001

Bokor, P. and Serafini, M. and Suri, Neeraj (2010) On efficient models for model checking message-passing distributed protocols. In: Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, pp. 216-223. ISBN 3642134637

Bokor, P. and Serafini, M. and Suri, Neeraj and Veith, H. (2009) Role-based symmetry reduction of fault-tolerant distributed protocols with language support. In: Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, pp. 147-166. ISBN 3642103723

Sakurai, K. and Bokor, P. and Suri, Neeraj (2008) Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications. In: 2008 11th IEEE High Assurance Systems Engineering Symposium :. IEEE, pp. 261-270. ISBN 9780769534824

Bokor, P. and Serafini, M. and Sisak, Á. and Pataricza, A. and Suri, Neeraj (2007) Sustaining property verification of synchronous dependable protocols over implementation. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) :. IEEE, pp. 169-178. ISBN 0769530435