Items where Author is "Metzler, P."

Contribution in Book/Report/Proceedings

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

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

Taha, A. and Metzler, P. and Trapero, R. and Luna, J. and Suri, Neeraj (2016) Identifying and utilizing dependencies across cloud security services. In: ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security :. ACM, pp. 329-340. ISBN 9781450342339