Ioannis T. Kassios
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2013
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ECOOP | Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. | Stefan Heule, Ioannis T. Kassios, Peter Mller, Alexander J. Summers |
| 2013 | ESOP | A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness. | Ioannis T. Kassios, Eleftherios Kritikos |
| 2006 | FM | Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. | Ioannis T. Kassios |
| 2005 | FM | Decoupling in Object Orientation. | Ioannis T. Kassios |