Markus Kuppe

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 2

Top Topics

Benchmark Datasets

Reactive Systems

Linear Temporal Logic

Top Venues

Publications

Igor Konnov, Markus Kuppe, Stephan Merz
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. CoRR (2022)
Igor Konnov, Markus Kuppe, Stephan Merz
Trifecta: TLC, Apalache, and TLAPS. ISoLA (1) (2022)
Thomas Speer, Markus Kuppe, Josef Hoschek
Global reparametrization for curve approximation. Comput. Aided Geom. Des. 15 (9) (1998)