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
International Symposium on Formal Methods, 268-283, 2006
2222006
The dynamic frames theory
IT Kassios
Formal Aspects of Computing 23 (3), 267-288, 2011
752011
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers
ETH Zurich, 2014
372014
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
362013
A theory of object oriented refinement
IT Kassios
University of Toronto, 2006
272006
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
242012
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
82004
Specification and verification of closures
IT Kassios, P Müller
Technical Report/ETH Zurich, Department of Computer Science 660, 2010
62010
Decoupling in object orientation
IT Kassios
International Symposium on Formal Methods, 43-58, 2005
52005
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
42013
Theories, implementations, and transformations
E Hehner, IT Kassios
International Conference of B and Z Users, 1-21, 2002
42002
Modular specification and verification of delegation with SMT solvers
IT Kassios, P Müller
Technical Report 711, 2011
32011
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
Technical Report 761, 2012
12012
Verification Condition Generation for Permission Logics with Abstraction Functions
S Heule, IT Kassios, P Müller, AJ Summers
12012
Dynamic Frames and Automated Verification
IT Kassios
2nd COST Action ICO701 Training School, 2011
12011
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–19