Benjamin Lion
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2018–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Coordination | Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. | Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab |
| 2025 | MEMOCODE | Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq. | Benjamin Lion, David Nowak |
| 2023 | SETTA | Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. | Shenghao Yuan, Benjamin Lion, Frdric Besson, Jean-Pierre Talpin |
| 2022 | ISoLA | A Rewriting Framework for Interacting Cyber-Physical Agents. | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
| 2018 | MODELS | Compiling Protocols to Promela and Verifying their LTL Properties. | Benjamin Lion, Samir Chouali, Farhad Arbab |