Navigation

Benjamin Lion

Full Name: B. Lion
Function(s): PhD student - Universiteit Leiden

Email: B.Lion@cwi.nl
Telephone: +31 20 592 4140
Room: L333
Department(s): Computer Security

Publications

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.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. (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.P.C, 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.W.J, 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: Copenhagen, Denmark (pp. 31–39).