Ioannis T. Kassios

According to our database, Ioannis T. Kassios authored at least 9 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness.

Ioannis T. Kassios, Eleftherios Kritikos

Proceedings of the Programming Languages and Systems, 2013

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.

Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Comparing Verification Condition Generation with Symbolic Execution: An Experience Report.

Ioannis T. Kassios, Peter Müller, Malte Schwerhoff

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

The dynamic frames theory.

Ioannis T. Kassios

Formal Aspects Comput., 2011

2006

Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.

Ioannis T. Kassios

Proceedings of the FM 2006: Formal Methods, 2006

2005

Decoupling in Object Orientation.

Ioannis T. Kassios

Proceedings of the FM 2005: Formal Methods, 2005

2004

GLU embedded in C++: a marriage between multidimensional and object-oriented programming.

Nikolaos Papaspyrou, Ioannis T. Kassios

Softw. Pract. Exp., 2004

2002

Theories, Implementations, and Transformations.

Eric C. R. Hehner, Ioannis T. Kassios

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Noema: A Metalanguage for Scripting Versionable Hypertexts.

Ioannis T. Kassios, Monica M. C. Schraefel

Proceedings of the Distributed Communities on the Web, 4th International Workshop, 2002