Not finding it? Sign in to also search OpenAlex live.
-
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
Database on Certified Reference Materials measured with PAT tools for validation and verification purposes2023 Zenodo (CERN European Organization for Nuclear Research) dataset Chemistry Spectroscopy and Chemometric Analyses Open access
Janique Hupperetz, Nicole M.M. Meulendijks, Daniel Mann, Luc Leufkens, Ad Gerich, Carl C. L. Schuurmans, +6 more
1citations -
Database on Certified Reference Materials measured with PAT tools for validation and verification purposes2023 Zenodo (CERN European Organization for Nuclear Research) dataset Chemistry Spectroscopy and Chemometric Analyses Open access
Janique Hupperetz, Nicole M.M. Meulendijks, Daniel Mann, Luc Leufkens, Ad Gerich, Carl C. L. Schuurmans, +6 more
0citations -
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
0citations -
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations