Seguir
Ioannis T. Kassios
Ioannis T. Kassios
Email confirmado em google.com
Título
Citado por
Citado por
Ano
Dynamic frames: Support for framing, dependencies and sharing without restrictions
IT Kassios
International Symposium on Formal Methods, 268-283, 2006
2342006
The dynamic frames theory
IT Kassios
Formal Aspects of Computing 23 (3), 267-288, 2011
792011
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
412014
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
402013
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
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
252012
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
92013
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
92004
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
International Symposium on Formal Methods, 43-58, 2005
52005
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
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
Technical Report 761, 2012
12012
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–19