Ioannis T. Kassios

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Data Abstraction

Abstraction Hierarchy

Symbolic Execution

Top Venues

Publications

Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. ECOOP (2013)
Ioannis T. Kassios, Eleftherios Kritikos
A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness. ESOP (2013)
Ioannis T. Kassios, Peter Müller, Malte Schwerhoff
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE (2012)
Ioannis T. Kassios
The dynamic frames theory. Formal Aspects Comput. 23 (3) (2011)
Ioannis T. Kassios
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. FM (2006)
Ioannis T. Kassios
Decoupling in Object Orientation. FM (2005)
Nikolaos Papaspyrou, Ioannis T. Kassios
GLU embedded in C++: a marriage between multidimensional and object-oriented programming. Softw. Pract. Exp. 34 (7) (2004)
Eric C. R. Hehner, Ioannis T. Kassios
Theories, Implementations, and Transformations. ZB (2002)
Ioannis T. Kassios, Monica M. C. Schraefel
Noema: A Metalanguage for Scripting Versionable Hypertexts. DCW (2002)