PARTI: A Multi-interval Theory Solver for Symbolic Execution

Publications

Year:

All :: 2005, ... , 2017, 2018, 2019, ... , 2023

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

39.	Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar PARTI: A Multi-interval Theory Solver for Symbolic Execution Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18) September 2018 DOI: 10.1145/3238147.3238179
38.	Jan Rüth, René Glebke, Klaus Wehrle, Vedad Causevic, and Sandra Hirche Towards In-Network Industrial Feedback Control Proceedings of the ACM SIGCOMM 2018 1st Workshop on In-Network Computing (NetCompute '18) Publisher: ACM, August 2018 DOI: 10.1145/3229591.3229592
37.	Quirin Scheitle, Taejoong Chung, Jens Hiller, Oliver Gasser, Johannes Naab, Roland van Rijswijk-Deij, Oliver Hohlfeld, Ralph Holz, Dave Choffnes, Alan Mislove, and Georg Carle A First Look at Certification Authority Authorization (CAA) ACM SIGCOMM Computer Communications Review (CCR), 48:10-23 April 2018 DOI: 10.1145/3213232.3213235 https://ccronline.sigcomm...hority-authorization-caa/

Export as: