Vincent Rebiscoul

According to our database, Vincent Rebiscoul authored at least 2 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Deriving Abstract Interpreters from Skeletal Semantics.

Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019