Compiling Protocols to Promela and Verifying their LTL Properties. - Benjamin Lion; Samir Chouali; Farhad Arbab (MoDELS (Workshops), 2018)

Soft component automata: Composition, compilation, logic, and verification. - Tobias Kappé; Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (Sci. Comput. Program., 2019)

Soft constraint automata with memory. - Kasper Dokter; Fabio Gadducci; Benjamin Lion; Francesco Santini 001 (J. Log. Algebraic Methods Program., 2021)

Runtime Composition of Systems of Interacting Cyber-Physical Components. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (WADT, 2022)

A Rewriting Framework for Interacting Cyber-Physical Agents. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (ISoLA (3), 2022)

A Rewriting Framework for Cyber-Physical Systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (CoRR, 2022)

From symbolic constraint automata to Promela. - Hui Feng; Marcello M. Bonsangue; Benjamin Lion (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)

A semantic model for interacting cyber-physical systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. - Shenghao Yuan; Benjamin Lion; Frédéric Besson; Jean-Pierre Talpin (SETTA, 2023)

Parallel Composition of Constraint Automata. - Benjamin Lion; Farhad Arbab (Rebeca for Actor Analysis in Action, 2025)

Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. - Christopher A. Esterhuyse; Benjamin Lion; Hans-Dieter A. Hiep; Farhad Arbab (COORDINATION, 2025)