| 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 | 27 | 2017 |
| 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 | 11 | 2017 |
| 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 | 11 | 2014 |
| 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 | 11 | 2013 |
| 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 | 9 | 2017 |
| 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 | 9 | 2016 |
| 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 | 5 | 2017 |
| 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 | 4 | 2016 |
| 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 | 3 | 2020 |
| 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 | 3 | 2011 |
| 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 | 2 | 2011 |
| 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 | 1 | 2019 |
| On the Application of Formal Techniques for Dependable Concurrent Systems H Saissi Technische Universität, 2019 | 1 | 2019 |
| PBMC: Symbolic Slicing for the Verification of Concurrent Programs H Saissi, P Bokor, N Suri International Symposium on Automated Technology for Verification and …, 2015 | 1 | 2015 |
| 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 | | |
Neeraj SuriDistinguished Chair Professor, Lancaster Universityכתובת אימייל מאומתת בדומיין lancaster.ac.uk