Benjamin Lion

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 14

Top Topics

Soft Constraints

Virtual Machine

Deterministic Automata

Top Venues

J. Log. Algebraic Methods Program.

MoDELS (Workshops)

Publications

Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. SETTA (2023)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Rewriting Framework for Cyber-Physical Systems. CoRR (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Runtime Composition Of Systems of Interacting Cyber-Physical Components. CoRR (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A formal framework for distributed cyber-physical systems. J. Log. Algebraic Methods Program. 128 (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A semantic model for interacting cyber-physical systems. J. Log. Algebraic Methods Program. 129 (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Formal Framework for Distributed Cyber-Physical Systems. CoRR (2022)
Hui Feng, Marcello M. Bonsangue, Benjamin Lion
From symbolic constraint automata to Promela. J. Log. Algebraic Methods Program. 128 (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Semantic Model for Interacting Cyber-Physical Systems. CoRR (2021)
Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118 (2021)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Semantic Model for Interacting Cyber-Physical Systems. ICE (2021)
Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. 183 (2019)
Benjamin Lion, Samir Chouali, Farhad Arbab
Compiling Protocols to Promela and Verifying their LTL Properties. MoDELS (Workshops) (2018)