Constantin Venhoff

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Natural Language

Temporal Constraints

Consistency Checking

Stochastic Search

Top Venues

Publications

Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe, Constantin Venhoff
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements. RE (2023)