Not finding it? Sign in to also search OpenAlex live.
-
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 -
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations -
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆
0citations -
Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions2024 Automated Software Engineering article Computer Science Software Testing and Debugging Techniques Open access
Max‐Arno Meyer, Mehdi Zouari, Sebastian Bannenberg, Markus Deppe, Sébastien Christiaens, Sung-Yong Lee, +1 more
2citations -
Enabling Community Curation of Biological Source Annotations of Molecular Data Through PlutoF and the ELIXIR Contextual Data Clearinghouse2022 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Vishnukumar Balavenkataraman Kadhirvelu, Kessy Abarenkov, Allan Zirk, Joana Paupério, Guy Cochrane, Suran Jayathilaka, +6 more
3citations
25 results