Habib Saissi

According to our database, Habib Saissi authored at least 14 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach.

Stefan Winter, Abraham Chan, Habib Saissi, Karthik Pattabiraman, Neeraj Suri

CoRR, 2023

2020

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis.

Habib Saissi, Stefan Winter, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

2019

On the Application of Formal Techniques for Dependable Concurrent Systems.

Habib Saissi

PhD thesis, 2019

Gyro: A Modular Scale-Out Layer for Single-Server DBMSs.

Habib Saissi, Marco Serafini, Neeraj Suri

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

2018

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints.

Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri

CoRR, 2018

Scaling Out Acid Applications with Operation Partitioning.

Habib Saissi, Marco Serafini, Neeraj Suri

CoRR, 2018

2017

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems.

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri

J. Inf. Process., 2017

Quick verification of concurrent programs by iteratively relaxed scheduling.

Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants.

Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Practical Formal Verification for Model Based Development of Cyber-Physical Systems.

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Efficient Verification of Program Fragments: Eager POR.

Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

PBMC: Symbolic Slicing for the Verification of Concurrent Programs.

Habib Saissi, Péter Bokor, Neeraj Suri

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study.

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013

Efficient Verification of Distributed Protocols Using Stateful Model Checking.

Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013