Benjamin Lion

According to our database, Benjamin Lion authored at least 12 papers between 2018 and 2025.

Collaborative distances:

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

2025

Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.

Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab

Proceedings of the Coordination Models and Languages, 2025

Parallel Composition of Constraint Automata.

Benjamin Lion, Farhad Arbab

Proceedings of the Rebeca for Actor Analysis in Action, 2025

2023

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.

Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

A semantic model for interacting cyber-physical systems.

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

J. Log. Algebraic Methods Program., 2022

A formal framework for distributed cyber-physical systems.

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

J. Log. Algebraic Methods Program., 2022

From symbolic constraint automata to Promela.

Hui Feng, Marcello M. Bonsangue, Benjamin Lion

J. Log. Algebraic Methods Program., 2022

A Rewriting Framework for Cyber-Physical Systems.

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

CoRR, 2022

A Rewriting Framework for Interacting Cyber-Physical Agents.

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Runtime Composition of Systems of Interacting Cyber-Physical Components.

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

Soft constraint automata with memory.

Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini

J. Log. Algebraic Methods Program., 2021

2019

Soft component automata: Composition, compilation, logic, and verification.

Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

Sci. Comput. Program., 2019

2018

Compiling Protocols to Promela and Verifying their LTL Properties.

Benjamin Lion, Samir Chouali, Farhad Arbab

Proceedings of MODELS 2018 Workshops: ModComp, 2018