Not finding it? Sign in to also search OpenAlex live.
-
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations -
Modeling the composition of analysis components and automatic constraint checking for semantic soundness2025 Journal of Systems and Software article Computer Science Model-Driven Software Engineering Techniques Open access
Bahareh Taghavi, Sebastian Weber, Bernhard Rumpe⋆, Sebastian Stüber, Jörg Henß, Thomas R. Weber, +1 more
3citations -
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 -
NeuroFAIR curator: an AI-assisted framework for metadata enrichment, quality screening, curation prioritization, and FAIR readiness of brain tumor MRI data2026 Frontiers in Neuroinformatics article Computer Science Research Data Management Practices Open access
Faizan Ullah, Zaheer Abbas, Mohmmad Abrar, Farhan Amin, N. Jon Shah
0citations -
Towards a Quality Assurance and Quality Control Mechanism for Species List Building2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Olaf Bánki, Donald Hobern, Markus Döring, Geoff Ower, Yuri Roskov, Diana Hernández-Robles, +3 more
5citations