Marcus Rossel

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Mathematical Expressions

Cyber Physical Systems

Embedded Systems

Top Venues

Publications

Marcus Rossel, Andrés Goens
Bridging Syntax and Semantics of Lean Expressions in E-Graphs. CoRR (2024)
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens
Provable Determinism for Software in Cyber-Physical Systems. VSTTE (2023)