Dynamic frames: Support for framing, dependencies and sharing without restrictions IT Kassios FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 259 | 2006 |
The dynamic frames theory IT Kassios Formal Aspects of Computing 23, 267-288, 2011 | 90 | 2011 |
Verification condition generation for permission logics with abstract predicates and abstraction functions S Heule, IT Kassios, P Müller, AJ Summers ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 48 | 2013 |
Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, P Müller, M Nováček, M Schwerhoff, AJ Summers ETH Zurich, 2014 | 44 | 2014 |
A theory of object-oriented refinement IT Kassios PhD thesis, University of Toronto, 2006. To appear, 2007 | 27 | 2007 |
Comparing verification condition generation with symbolic execution: an experience report IT Kassios, P Müller, M Schwerhoff Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 25 | 2012 |
A discipline for program verification based on backpointers and its use in observational disjointness IT Kassios, E Kritikos Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 14 | 2013 |
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 | 12 | 2004 |
Specification and verification of closures IT Kassios, P Müller Technical Report/ETH Zurich, Department of Computer Science 660, 2010 | 7 | 2010 |
Decoupling in object orientation IT Kassios FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 7 | 2005 |
Theories, implementations, and transformations E Hehner, IT Kassios ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002 | 4 | 2002 |
Modular specification and verification of delegation with SMT solvers IT Kassios, P Müller Technical Report 711, 2011 | 3 | 2011 |
Dynamic frames and automated verification IT Kassios 2nd COST Action ICO701 Training School, 2011 | 2 | 2011 |
Modular verification of finite blocking C Klauser, I Kassios Master’s thesis, ETH Zürich, 2014 | 1 | 2014 |
Verification Condition Generation for Permission Logics with Abstraction Functions S Heule, IT Kassios, P Müller, AJ Summers | 1 | 2012 |
Induction and Termination of Functions for Automatic Program Verification B Fischer, I Kassios | | 2013 |
Proceedings-International Conference on Software Engineering: Preface S Kim, S Uchitel, D Garbervetsky, B Aktemur, D Kroening, A Orso, ... Proceedings-International Conference on Software Engineering, v-vi, 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 |