Follow
Ioannis T. Kassios
Ioannis T. Kassios
Verified email at google.com
Title
Cited by
Cited by
Year
Dynamic frames: Support for framing, dependencies and sharing without restrictions
IT Kassios
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
2542006
The dynamic frames theory
IT Kassios
Formal Aspects of Computing 23, 267-288, 2011
882011
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
472013
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
442014
A theory of object-oriented refinement
IT Kassios
PhD thesis, University of Toronto, 2006. To appear, 2007
272007
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
252012
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
132013
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
122004
Specification and verification of closures
IT Kassios, P Müller
Technical Report/ETH Zurich, Department of Computer Science 660, 2010
72010
Decoupling in object orientation
IT Kassios
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
72005
Theories, implementations, and transformations
E Hehner, IT Kassios
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
42002
Modular specification and verification of delegation with SMT solvers
IT Kassios, P Müller
Technical Report 711, 2011
32011
Dynamic frames and automated verification
IT Kassios
2nd COST Action ICO701 Training School, 2011
22011
Modular verification of finite blocking
C Klauser, I Kassios
Master’s thesis, ETH Zürich, 2014
12014
Verification Condition Generation for Permission Logics with Abstraction Functions
S Heule, IT Kassios, P Müller, AJ Summers
12012
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
The system can't perform the operation now. Try again later.
Articles 1–18