Projects per year
Projects
- 14 Finished
Search results
-
Finished
KTP With IBM (Innovate)
Kolovos, D., Manandhar, S. & Paige, R. F.
1/04/18 → 31/03/21
Project: Research project (funded) › Research
-
Bridging the Gap Between Programming and Modelling
1/03/18 → 29/02/20
Project: Research project (funded) › Research
-
CROSSMINER Developer-Centric Knowledge Mining from Large Open-Source Software Repositories
1/01/17 → 31/12/19
Project: Research project (funded) › Research
-
Scalable Modelling and Model Management on the Cloud: MONDO
Kolovos, D., Paige, R. F. & Rose, L. M.
1/11/13 → 30/04/16
Project: Research project (funded) › Research
-
CyPhERS
McDermid, J. A. & Paige, R. F.
1/07/13 → 28/02/15
Project: Research project (funded) › Research
-
DSTL PhD Studentship - Radu Calinescu
1/10/12 → 30/09/16
Project: Research project (funded) › Research
-
-
COMPASS: Automated Safety Warnings (SESAR)
1/04/11 → 30/11/13
Project: Research project (funded) › Research
-
MADES: Model-based methods and tools for Avionics and surveillance embedded Systems
1/02/10 → 31/07/12
Project: Research project (funded) › Research
-
Development of Collaborations with the Weizmann Institute of Science and IBM Haifa
1/11/07 → 31/10/08
Project: Research project (funded) › Research
-
Refinement patterns for contractual statecharts
1/07/07 → 30/09/10
Project: Research project (funded) › Research
-
-
Modelling solutions for software systems
1/08/04 → 30/09/06
Project: Research project (funded) › Research
-
Agile Development of High-Integrity GRID Middleware
1/02/04 → 30/06/07
Project: Research project (funded) › Research