CWI
Advanced Search…
  • Log in

Navigation

  • Home
  • About CWI
  • News
  • Calendar
  • Research
  • Industry & Society
  • Output
  • Working at CWI
You are here:
  1. Home
CWI https://www.cwi.nl https://www.cwi.nl/@@site-logo/weblogo.png

Benjamin Lion

Full Name
B. Lion
Function(s)
PhD student - Unknown
Email
B.Lion@cwi.nl
Telephone
+31 20 592 4140
Room
L333
Department(s)
Computer Security

Publications

  • 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).
More

Current projects with external funding

  • Reowolf 2.0: decentralized, synchronous, multi-party Internet communication (Reowolf 2.0)

Info

Centrum Wiskunde & Informatica (CWI) is the national research institute for mathematics and computer science in the Netherlands. CWI is part of NWO-I, the Institutes Organisation of NWO.

Address

CWI Location
Science Park 123
1098 XG Amsterdam
NETHERLANDS
Postal address
P.O. Box 94079
1090 GB Amsterdam
NETHERLANDS
Phone
+31 20 592 9333
E-mail
info@cwi.nl

Contact

  • @cwiamsterdam on Facebook
  • @CWInl on Twitter
  • CWI on LinkedIn
  • CWI on YouTube
  • cwi_amsterdam on Instagram

Disclaimer

© Centrum Wiskunde & Informatica · Design by _Blank