Noema: A Metalanguage for Scripting Versionable Hypertexts. - Ioannis T. Kassios; Monica M. C. Schraefel (DCW, 2002)

Theories, Implementations, and Transformations. - Eric C. R. Hehner; Ioannis T. Kassios (ZB, 2002)

GLU embedded in C++: a marriage between multidimensional and object-oriented programming. - Nikolaos Papaspyrou; Ioannis T. Kassios (Softw. Pract. Exp., 2004)

Decoupling in Object Orientation. - Ioannis T. Kassios (FM, 2005)

Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. - Ioannis T. Kassios (FM, 2006)

The dynamic frames theory. - Ioannis T. Kassios (Formal Aspects Comput., 2011)

Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. - Ioannis T. Kassios; Peter Müller 001; Malte Schwerhoff (VSTTE, 2012)

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. - Stefan Heule; Ioannis T. Kassios; Peter Müller 001; Alexander J. Summers (ECOOP, 2013)

A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness. - Ioannis T. Kassios; Eleftherios Kritikos (ESOP, 2013)