| Dynamic frames: Support for framing, dependencies and sharing without restrictions IT Kassios International Symposium on Formal Methods, 268-283, 2006 | 182 | 2006 |
| The dynamic frames theory IT Kassios Formal Aspects of Computing 23 (3), 267-288, 2011 | 51 | 2011 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers ETH Zürich, Tech. Rep., 2014 | 30 | 2014 |
| Verification condition generation for permission logics with abstract predicates and abstraction functions S Heule, IT Kassios, P Müller, AJ Summers European Conference on Object-Oriented Programming, 451-476, 2013 | 23 | 2013 |
| Comparing verification condition generation with symbolic execution: an experience report IT Kassios, P Müller, M Schwerhoff International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 18 | 2012 |
| A theory of object oriented refinement IT Kassios University of Toronto, 2006 | 17 | 2006 |
| GLU♮ embedded in C++: a marriage between multidimensional and object‐oriented programming NS Papaspyrou, IT Kassios Software: Practice and Experience 34 (7), 609-630, 2004 | 8 | 2004 |
| A discipline for program verification based on backpointers and its use in observational disjointness IT Kassios, E Kritikos European Symposium on Programming, 149-168, 2013 | 4 | 2013 |
| Specification and verification of closures IT Kassios, P Müller Technical report/Swiss Federal Institute of Technology Zurich, Department of …, 2010 | 4 | 2010 |
| Decoupling in object orientation IT Kassios International Symposium on Formal Methods, 43-58, 2005 | 4 | 2005 |
| Theories, implementations, and transformations E Hehner, IT Kassios International Conference of B and Z Users, 1-21, 2002 | 4 | 2002 |
| Verification condition generation for permission logics with abstraction functions S Heule, IT Kassios, P Müller, AJ Summers Technical Report 761, 2012 | 1 | 2012 |
| Verification Condition Generation for Permission Logics with Abstraction Functions S Heule, IT Kassios, P Müller, AJ Summers | 1 | 2012 |
| Dynamic Frames and Automated Verification IT Kassios 2nd COST Action ICO701 Training School, 2011 | 1 | 2011 |
| Modular Verifica on of Finite Blocking C Klauser, I Kassios | | 2014 |
| Viper U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers ETH Zurich, 2014 | | 2014 |
| Induction and Termination of Functions for Automatic Program Verification B Fischer, I Kassios | | 2013 |
| Modular Specification and Verification of Delegation with SMT Solvers IT Kassios, P Müller Technical Report 711, 2011 | | 2011 |
| Noema: A metalanguage for scripting versionable hypertexts IT Kassios, MC Schraefel International Workshop on Distributed Communities on the Web, 228-239, 2002 | | 2002 |