Benjamin Lion

17 papers C 2Misc 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.
COORDINATION
Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab
2025 — conf
Parallel Composition of Constraint Automata.
Rebeca for Actor Analysis in Action
Benjamin Lion, Farhad Arbab
2025 C conf
Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq.
MEMOCODE
Benjamin Lion, David Nowak
2023 Misc conf
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.
SETTA
Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin
2022 J jnl
A Formal Framework for Distributed Cyber-Physical Systems.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
A Rewriting Framework for Cyber-Physical Systems.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 — conf
A Rewriting Framework for Interacting Cyber-Physical Agents.
ISoLA (3)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
A formal framework for distributed cyber-physical systems.
J. Log. Algebraic Methods Program.
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
A semantic model for interacting cyber-physical systems.
J. Log. Algebraic Methods Program.
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
From symbolic constraint automata to Promela.
J. Log. Algebraic Methods Program.
Hui Feng, Marcello M. Bonsangue, Benjamin Lion
2022 J jnl
Runtime Composition Of Systems of Interacting Cyber-Physical Components.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 — conf
Runtime Composition of Systems of Interacting Cyber-Physical Components.
WADT
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021 J jnl
A Semantic Model for Interacting Cyber-Physical Systems.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021 — conf
A Semantic Model for Interacting Cyber-Physical Systems.
ICE
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021 J jnl
Soft constraint automata with memory.
J. Log. Algebraic Methods Program.
Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini
2019 J jnl
Soft component automata: Composition, compilation, logic, and verification.
Sci. Comput. Program.
Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2018 — conf
Compiling Protocols to Promela and Verifying their LTL Properties.
MoDELS (Workshops)
Benjamin Lion, Samir Chouali, Farhad Arbab