Research output per year
Research output per year
Project Details
| Short title | Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/06 → 30/06/11 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Function Interface Models for Hardware Compilation
Ghica, D., 13 Jul 2011, p. 131-142. 12 p.Research output: Contribution to conference (unpublished) › Paper
9 Citations (Scopus) -
Synchronous Game Semantics via Round Abstraction
Ghica, D., Menaa, M. & Hoffmann, M., 1 Jan 2011, p. 350-364. 15 p.Research output: Contribution to conference (unpublished) › Paper
4 Citations (Scopus) -
Data-Abstraction Refinement: a Game Semantic Approach
Bakewell, A., Dimovski, A., Ghica, D. & Lazić, R., 1 Sept 2010, In: International Journal on Software Tools for Technology Transfer. 12, 5, p. 373-389 17 p.Research output: Contribution to journal › Article