Habib Saissi

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 10

Top Venues

CoRR

ATVA

SRDS

ICST

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Stefan Winter, Abraham Chan, Habib Saissi, Karthik Pattabiraman, Neeraj Suri
Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. CoRR (2023)
Habib Saissi, Stefan Winter, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri
TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. DSN (2020)
Habib Saissi, Marco Serafini, Neeraj Suri
Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. SRDS (2019)
Habib Saissi, Marco Serafini, Neeraj Suri
Scaling Out Acid Applications with Operation Partitioning. CoRR (2018)
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. CoRR (2018)
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
Quick verification of concurrent programs by iteratively relaxed scheduling. ASE (2017)
Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. ICST (2017)
Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. J. Inf. Process. 25 (2017)
Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
Practical Formal Verification for Model Based Development of Cyber-Physical Systems. CSE/EUC/DCABES (2016)
Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri
Efficient Verification of Program Fragments: Eager POR. ATVA (2016)
Habib Saissi, Péter Bokor, Neeraj Suri
PBMC: Symbolic Slicing for the Verification of Concurrent Programs. ATVA (2015)
Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. CPSNA (2014)
Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini
Efficient Verification of Distributed Protocols Using Stateful Model Checking. SRDS (2013)

Habib Saissi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Habib Saissi