Karim Kanso

According to our database, Karim Kanso authored at least 4 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A light-weight integration of automated and interactive theorem proving.

Karim Kanso, Anton Setzer

Math. Struct. Comput. Sci., 2016

2013

Verification of Solid State Interlocking Programs.

Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick

Proceedings of the Software Engineering and Formal Methods, 2013

2012

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

Karim Kanso

PhD thesis, 2012

2008

Automated Verification of Signalling Principles in Railway Interlocking Systems.

Karim Kanso, Faron Moller, Anton Setzer

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008