Items where Author is "Saissi, H."

Metzler, P. and Saissi, H. and Bokor, P. and Suri, Neeraj (2017) Quick verification of concurrent programs by iteratively relaxed scheduling. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) :. IEEE, pp. 776-781. ISBN 9781538639764

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2017) Safety verification utilizing model-based development for safety critical cyber-physical systems. Journal of Information Processing Systems, 25. pp. 797-810. ISSN 0387-5806

Chan, A. and Winter, S. and Saissi, H. and Pattabiraman, K. and Suri, Neeraj (2017) IPA : Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) :. IEEE, pp. 184-195. ISBN 9781509060320

Metzler, P. and Saissi, H. and Bokor, P. and Hess, R. and Suri, Neeraj (2016) Efficient verification of program fragments : Eager POR. In: Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Springer-Verlag, pp. 375-391. ISBN 9783319465197

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2016) Practical Formal Verification for Model Based Development of Cyber-Physical Systems. In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) :. IEEE, pp. 1-8.

Saissi, H. and Bokor, P. and Suri, Neeraj (2015) PBMC : Symbolic slicing for the verification of concurrent programs. In: Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, pp. 344-360. ISBN 9783319249520

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2014) Practical use of formal verification for safety critical cyber-physical systems : A case study. In: 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications :. IEEE, pp. 7-12. ISBN 9781479953875

Saissi, H. and Bokor, P. and Muftuoglu, C.A. and Suri, Neeraj and Serafini, M. (2013) Efficient verification of distributed protocols using stateful model checking. In: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems :. IEEE, pp. 133-142. ISBN 9780769551159