Efficient Verification of Distributed Protocols Using Stateful Model Checking. - Habib Saissi; Péter Bokor; Can Arda Muftuoglu; Neeraj Suri; Marco Serafini (SRDS, 2013)

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CPSNA, 2014)

PBMC: Symbolic Slicing for the Verification of Concurrent Programs. - Habib Saissi; Péter Bokor; Neeraj Suri (ATVA, 2015)

Efficient Verification of Program Fragments: Eager POR. - Patrick Metzler; Habib Saissi; Péter Bokor; Robin Hesse; Neeraj Suri (ATVA, 2016)

Practical Formal Verification for Model Based Development of Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CSE/EUC/DCABES, 2016)

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. - Abraham Chan; Stefan Winter 001; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (ICST, 2017)

Quick verification of concurrent programs by iteratively relaxed scheduling. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (ASE, 2017)

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (J. Inf. Process., 2017)

Scaling Out Acid Applications with Operation Partitioning. - Habib Saissi; Marco Serafini; Neeraj Suri (CoRR, 2018)

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (CoRR, 2018)

Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. - Habib Saissi; Marco Serafini; Neeraj Suri (SRDS, 2019)

On the Application of Formal Techniques for Dependable Concurrent Systems. - Habib Saissi (2019)

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. - Habib Saissi; Stefan Winter 001; Oliver Schwahn; Karthik Pattabiraman; Neeraj Suri (DSN, 2020)

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. - Stefan Winter 001; Abraham Chan; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (CoRR, 2023)