Vincent Rebiscoul

Publication Activity (10 Years)

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

Top Topics

Graphical Representation

Application Server

Top Venues

Publications

Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt
Deriving Abstract Interpreters from Skeletal Semantics. EXPRESS/SOS (2023)
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN (2019)