Follow
Habib Saissi
Habib Saissi
Verified email at deeds.informatik.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Method and system for testing control software of a controlled system
T Ishigooka, F Narisawa, K Sakurai, N Suri, H Saissi, T Piper, S Winter
US Patent 9,575,877, 2017
242017
Practical use of formal verification for safety critical cyber-physical systems: A case study
T Ishigooka, H Saissi, T Piper, S Winter, N Suri
2014 IEEE International Conference on Cyber-Physical Systems, Networks, and …, 2014
122014
Quick verification of concurrent programs by iteratively relaxed scheduling
P Metzler, H Saissi, P Bokor, N Suri
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
92017
Ipa: Error propagation analysis of multi-threaded programs using likely invariants
A Chan, S Winter, H Saissi, K Pattabiraman, N Suri
2017 IEEE International Conference on Software Testing, Verification and …, 2017
92017
Efficient verification of distributed protocols using stateful model checking
H Saissi, P Bokor, CA Muftuoglu, N Suri, M Serafini
2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 133-142, 2013
92013
Practical formal verification for model based development of cyber-physical systems
T Ishigooka, H Saissi, T Piper, S Winter, N Suri
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016
82016
Safety verification utilizing model-based development for safety critical cyber-physical systems
T Ishigooka, H Saissi, T Piper, S Winter, N Suri
Journal of Information Processing 25, 797-810, 2017
52017
Efficient Verification of Program Fragments: Eager POR
P Metzler, H Saissi, P Bokor, R Hesse, N Suri
International Symposium on Automated Technology for Verification and …, 2016
42016
Tracesanitizer-eliminating the effects of non-determinism on error propagation analysis
H Saissi, S Winter, O Schwahn, K Pattabiraman, N Suri
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems …, 2020
32020
Scalable verification of distributed systems implementations via messaging abstraction
CA Muftuoglu, H Saissi, P Bokor, N Suri
Proc. Symp. on Operating Systems Principles (SOSP) WiP section, 2011
32011
To Crash or Not To Crash: Efficient Modeling of Fail-Stop Faults
H Saissi, P Bokor, M Serafini, N Suri
Invited paper, Proc. of Workshop on Logical Aspects of Fault-Tolerance (LAFT …, 2011
22011
Gyro: A Modular Scale-Out Layer for Single-Server DBMSs
H Saissi, M Serafini, N Suri
2019 38th Symposium on Reliable Distributed Systems (SRDS), 71-7111, 2019
12019
On the Application of Formal Techniques for Dependable Concurrent Systems
H Saissi
Technische Universität, 2019
12019
PBMC: Symbolic Slicing for the Verification of Concurrent Programs
H Saissi, P Bokor, N Suri
Automated Technology for Verification and Analysis: 13th International …, 2015
12015
Error Propagation Analysis for Multithreaded Programs: An Empirical Approach
S Winter, A Chan, H Saissi, K Pattabiraman, N Suri
arXiv preprint arXiv:2312.16791, 2023
2023
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
P Metzler, H Saissi, P Bokor, N Suri
arXiv preprint arXiv:1809.01955, 2018
2018
Scaling Out Acid Applications with Operation Partitioning
H Saissi, M Serafini, N Suri
arXiv preprint arXiv:1804.01942, 2018
2018
PBMC: Symbolic Program Slicing for Program Verification
H Saissi, P Bokor, N Suri
CSE-EUC-DCABES 2016
T Ishigooka, H Saissi, T Piper, S Winter, N Suri
The system can't perform the operation now. Try again later.
Articles 1–19