Ioannis T. Kassios
Ioannis T. Kassios
Computer Scientist at LogicBlox Inc.
Bestätigte E-Mail-Adresse bei logicblox.com
TitelZitiert vonJahr
Dynamic frames: Support for framing, dependencies and sharing without restrictions
IT Kassios
International Symposium on Formal Methods, 268-283, 2006
1822006
The dynamic frames theory
IT Kassios
Formal Aspects of Computing 23 (3), 267-288, 2011
512011
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers
ETH Zürich, Tech. Rep., 2014
302014
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
232013
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
182012
A theory of object oriented refinement
IT Kassios
University of Toronto, 2006
172006
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
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
Specification and verification of closures
IT Kassios, P Müller
Technical report/Swiss Federal Institute of Technology Zurich, Department of …, 2010
42010
Decoupling in object orientation
IT Kassios
International Symposium on Formal Methods, 43-58, 2005
42005
Theories, implementations, and transformations
E Hehner, IT Kassios
International Conference of B and Z Users, 1-21, 2002
42002
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
Modular Verifica on of Finite Blocking
C Klauser, I Kassios
2014
Viper
U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers
ETH Zurich, 2014
2014
Induction and Termination of Functions for Automatic Program Verification
B Fischer, I Kassios
2013
Modular Specification and Verification of Delegation with SMT Solvers
IT Kassios, P Müller
Technical Report 711, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19