Vincent Rebiscoul

According to our database¹, Vincent Rebiscoul authored at least 3 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Analyses statiques pour sémantiques squelettiques. (Static analysis for skeletal semantics).

[BibT_eX]

[DOI]

Vincent Rebiscoul

PhD thesis, 2024

2023

Deriving Abstract Interpreters from Skeletal Semantics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Vincent Rebiscoul

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...