| Dynamic frames: Support for framing, dependencies and sharing without restrictions IT Kassios FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 252 | 2006 |
| The dynamic frames theory IT Kassios Formal Aspects of Computing 23, 267-288, 2011 | 89 | 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 | 45 | 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 | 42 | 2014 |
| 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 theory of object-oriented refinement IT Kassios PhD thesis, University of Toronto, 2006. To appear, 2007 | 25 | 2007 |
| 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 |
| 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 | 10 | 2013 |
| 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 | 6 | 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 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
