| 2016 | ATVA | Efficient Verification of Program Fragments: Eager POR. | Patrick Metzler, Habib Saissi, Pter Bokor, Robin Hesse, Neeraj Suri |
| 2015 | ATVA | PBMC: Symbolic Slicing for the Verification of Concurrent Programs. | Habib Saissi, Pter Bokor, Neeraj Suri |
| 2013 | SRDS | Efficient Verification of Distributed Protocols Using Stateful Model Checking. | Habib Saissi, Pter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini |
| 2012 | SSS | Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. | Can Arda Muftuoglu, Pter Bokor, Neeraj Suri |
| 2011 | DSN | Efficient model checking of fault-tolerant distributed protocols. | Pter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri |
| 2010 | DSN | Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. | Marco Serafini, Pter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri |
| 2010 | FORTE | On Efficient Models for Model Checking Message-Passing Distributed Protocols. | Pter Bokor, Marco Serafini, Neeraj Suri |
| 2010 | PODC | Eventually linearizable shared objects. | Marco Serafini, Dan Dobre, Matthias Majuntke, Pter Bokor, Neeraj Suri |
| 2009 | ICFEM | Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. | Pter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |