Benjamin Lion

Full Name

B. Lion

Email

Phone

+31 20 592 4140

Room

L333

Department(s)

Computer Security

Function(s)

PhD student

Benjamin Lion

Lion, B., Arbab, F., & Talcott, C. (2023). Runtime Composition of Systems of Interacting Cyber-Physical Components. In Recent Trends in Algebraic Development Techniques - Proceedings of the 26th IFIP WG 1.3 International Workshop, WADT 2022 (pp. 141–162). doi:10.1007/978-3-031-43345-0_7
Lion, B. (2023, June). An algebra for interaction of cyber-physical components.
Lion, B., Arbab, F., & Talcott, C. (2022). A semantic model for interacting cyber-physical systems. Journal of Logical and Algebraic Methods in Programming, 129, 100807:1–100807:25. doi:10.1016/j.jlamp.2022.100807
Lion, B., Arbab, F., & Talcott, C. (2022). A formal framework for distributed cyber-physical systems. Journal of Logical and Algebraic Methods in Programming, 128, 100795:1–100795:14. doi:10.1016/j.jlamp.2022.100795
Feng, H., Bonsangue, M., & Lion, B. (2022). From symbolic constraint automata to Promela. Journal of Logical and Algebraic Methods in Programming, 128, 100794:1–100794:19. doi:10.1016/j.jlamp.2022.100794
Lion, B., Arbab, F., & Talcott, C. (2022). A rewriting framework for interacting cyber-physical agents. In International Symposium on Leveraging Applications of Formal Methods (pp. 356–372). doi:10.1007/978-3-031-19759-8_22
Lion, B., Arbab, F., & Talcott, C. (2021). A semantic model for interacting cyber-physical systems. In Electronic Proceedings in Theoretical Computer Science (pp. 77–95). doi:10.4204/EPTCS.347.5
Dokter, K., Gadducci, F., Lion, B., & Santini, F. (2021). Soft constraint automata with memory. Journal of Logical and Algebraic Methods in Programming, 118. doi:10.1016/j.jlamp.2020.100615
Kappé, T., Lion, B., Arbab, F., & Talcott, C. (2019). Soft component automata: Composition, compilation, logic, and verification. Science of Computer Programming, 183. doi:10.1016/j.scico.2019.08.001
Lion, B., Chouali, S., & Arbab, F. (2018). Compiling protocols to Promela and verifying their LTL properties. In Proceedings of 21st MODELS Workshops 2018 (pp. 31–39).