From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “range verification” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

0

citations
Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

20

citations
Using internal standards in time-resolved X-ray micro-computed tomography to quantify grain-scale developments in solid-state mineral reactions
2024 Solid Earth article Computer Science Medical Image Segmentation Techniques Open access

Roberto Emanuele Rizzo, Damien Freitas, James Gilgannon, Sohan Seth, Ian B. Butler, Gina McGill, +1 more

4

citations
Enabling Community Curation of Biological Source Annotations of Molecular Data Through PlutoF and the ELIXIR Contextual Data Clearinghouse
2022 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

3

citations
Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions
2024 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

2

citations

5 results