Not finding it? Sign in to also search OpenAlex live.
-
VPS: Excavating High-Level C++ Constructs from Low-Level Binaries to Protect Dynamic Dispatching2020 arXiv (Cornell University) preprint Computer Science Security and Verification in Computing Open access
Andre Pawlowski, Victor van der Veen, Dennis Andriesse, Erik van der Kouwe, Thorsten Holz, Cristiano Giuffrida, +1 more
0citations -
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations -
An introduction to interoperability in the research context2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Research Data Management Practices Open access
Maryam Mazaheri, Kimberley C. Zwiers, Walter Baccinelli, A. Sreenithya, Jessica R. Verhein, Ingrid van Gorkum
0citations