Issue Date	Title	Author(s)
31-Dec-2005	Uncertainty in Semantic Schema Integration	Rizopoulos, N; Magnani, M; McBrien, P; Montesi, D
3-Sep-2007	Universes for Race Safety	Cunningham, D; Eisenbach, S; Drossopoulou, S
1-Dec-1993	User and Mechanism Views of Distributed Systems Management	Moffett, J; Sloman, M
30-Jun-2003	Using CIM to realize policy validation within the ponder framework (Prize winning paper in the Academic Alliance Competition)	Lymberopoulos, LA; Sloman, M; Lupu, EC
1-Jan-2003	Using event calculus to formalise policy specification and analysis	Bandara, AK; Lupu, EC; Russo, A
1-Jan-2005	Using real-time dependability in adaptive service selection	Huebscher, MC; McCann, JA
31-Jul-2009	Verification of Policy-based Self-Managed Cell Interactions Using Alloy	Schaeffer Filho, A; Lupu, E; Sloman, M; Eisenbach, S
Apr-2009	Vesta: A Secure and Autonomic System for Pervasive Healthcare	Zhu, Y; Sloman, M; Lupu, EC; Keoh, SL
1-Oct-1998	What is Java binary compatibility?	Drossopoulou, S; Wragg, D; Eisenbach, S