Habib Saissi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2020
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DSN | TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. | Habib Saissi, Stefan Winter, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri |
| 2019 | SRDS | Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. | Habib Saissi, Marco Serafini, Neeraj Suri |
| 2017 | ICST | IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. | Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri |
| 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 |