| Dynamic frames: Support for framing, dependencies and sharing without restrictions IT Kassios International Symposium on Formal Methods, 268-283, 2006 | 227 | 2006 |
| The dynamic frames theory IT Kassios Formal Aspects of Computing 23 (3), 267-288, 2011 | 78 | 2011 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers ETH Zurich, 2014 | 38 | 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 | 38 | 2013 |
| 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 International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 25 | 2012 |
| 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 | 7 | 2013 |
| Specification and verification of closures IT Kassios, P Müller Technical Report/ETH Zurich, Department of Computer Science 660, 2010 | 6 | 2010 |
| Decoupling in object orientation IT Kassios International Symposium on Formal Methods, 43-58, 2005 | 5 | 2005 |
| Theories, implementations, and transformations E Hehner, IT Kassios International Conference of B and Z Users, 1-21, 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 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 |
| 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 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
