Adrian Francalanza's Homepage

contact | academic | personal | about

Teaching: CSA 2201 Assignment 2 posted here.
Oct 08 Teaching: CSA 2201 Assignment 1 posted here.
Journal paper accepted at FMCO'08 (Formal Methods for Components and Objects) Universe Types for Topology and Encapsulation.
Sep 08 Took up a permament position at ICT, University of Malta.
Apr 08 Conference paper accepted at ECOOP'08 (European Conference for Object Oriented Programming). A Unified Framework for Verification Techniques for Object Invariants.
Mar 08 Journal paper accepted at I&C'08 (Information and Computation). A Theory of System Behaviour in the Presence of Node and Link Failures.