Don Sannella – Projects — University of Edinburgh Research Explorer

View Scopus Profile

Phone+44 131 650 5184
Emaildtsinf.ed.acuk
Websitehttp://homepages.inf.ed.ac.uk/dts

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

12 Finished

12 results

Finished
App Guarden: Resilient Application Stores
Aspinall, D., Franke, B., Gordon, A., Sannella, D., Stark, I. & Sutton, C.
EPSRC
1/09/13 → 31/08/16
Project: Research
RESA: Resource Static Analysis
Aspinall, D. & Sannella, D.
EPSRC
1/03/09 → 30/09/10
Project: Research
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices.
Stark, I., Aspinall, D. & Sannella, D.
EU government bodies
1/09/05 → 31/08/09
Project: Research
MOBIUS: MOBIUS-Mobility, Ubiqity and Security for Small Devices
Stark, I., Aspinall, D. & Sannella, D.
EU government bodies
1/09/05 → 31/08/09
Project: Research
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices
Stark, I., Aspinall, D. & Sannella, D.
EU government bodies
1/09/05 → 31/08/09
Project: Research
ReQueST: ReQueST:Resource Quantification in e-science Technologies.
Sannella, D., Aspinall, D., Gilmore, S. & Stark, I.
EPSRC
1/05/05 → 31/01/09
Project: Research
Specifying and verifying mobile code in the CASL specification framework
Sannella, D.
UK central government bodies/local authorities, health and hospital authorities
1/04/02 → 31/03/03
Project: Research
MRG-Mobile Resource Guarantees
Sannella, D.
EU government bodies
1/01/02 → 31/12/04
Project: Research
Type systems for resource-bounded programming and compilation
Sannella, D. & Aspinall, D.
EPSRC
1/05/00 → 31/10/02
Project: Research
Common Framework Initiative Working Group
Sannella, D.
EU government bodies
1/11/98 → 31/10/00
Project: Research
OBJECT ORIENTED PROGRAMS LEGO
Sannella, D.
UK central government bodies/local authorities, health and hospital authorities
1/07/95 → 30/03/98
Project: Research
Proving Properties of Logic Programs
Bundy, A. & Sannella, D.
1/10/85 → 30/09/88
Project: Other (Non-Funded/Miscellaneous)