Karim Kanso

A rigorous approach for smart grid systems engineering using co-simulation

Brett Bicknell, Karim Kanso, Jose Reis, 2014 .

Verification of Solid State Interlocking Programs

Faron Moller, Monika Seisenberger, Markus Roggenbach, 2013, SEFM Workshops.

A light-weight integration of automated and interactive theorem proving

Karim Kanso, Anton Setzer, Karim Kanso, 2014, Mathematical Structures in Computer Science.

Automated Verification of Signalling Principles in Railway Interlocking Systems

Faron Moller, Karim Kanso, Anton Setzer, 2009, Electron. Notes Theor. Comput. Sci..

Formal Verification of Ladder Logic

Karim Kanso, Karim Kanso, 2008 .

Agda as a platform for the development of verified railway interlocking systems

Karim Kanso, 2012 .

Automated Verification of Signalling Principles in Railway Interlockings

Faron Moller, Karim Kanso, Anton Setzer, 2008 .