Author of the publication

Ariadne: Hybridizing Directed Model Checking and Static Analysis.

, and . ICST, page 442-447. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lightweight runtime checking of C programs with RTC., , , , and . Comput. Lang. Syst. Struct., (2016)A cast of thousands: How the IDEAS Productivity project has advanced software productivity and sustainability., , , , , , , , , and 24 other author(s). CoRR, (2023)How remote work can foster a more inclusive environment for transgender developers., , and . GE@ICSE, page 9-12. IEEE / ACM, (2019)Talk to Me: A Case Study on Coordinating Expertise in Large-Scale Scientific Software Projects., and . eScience, page 9-18. IEEE Computer Society, (2018)Seeking Enlightenment: Incorporating Evidence-Based Practice Techniques in a Research Software Engineering Team., , , and . CoRR, (2024)Research, Develop, Deploy: Building a Full Spectrum Software Engineering and Research Department., , and . CoRR, (2020)A Secure Future for Open-Source Computational Science and Engineering., , , and . CoRR, (2022)First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014., , , , , , , , , and 5 other author(s). Int. J. Softw. Tools Technol. Transf., 21 (1): 31-70 (2019)Half-Precision Scalar Support in Kokkos and Kokkos Kernels: An Engineering Study and Experience Report., , , , and . e-Science, page 551-560. IEEE, (2022)Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries., , , and . ACM-REP, page 74-84. ACM, (2023)