selected publications

• academic article

  • Model checking C source code for embedded systems.  International Journal on Software Tools for Technology Transfer.  11:187-202. 2009

• conference paper

  • Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC.  . 2015