Habib Saissi

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