Research output per year
Research output per year
Project Details
| Acronym | TeamPlay |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/18 → 31/12/20 |
Funding
- European Commission: £472,278.10
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.
-
The TeamPlay project: analysing and optimising time, energy, and security for cyber-physical systems
Rouxel, B., Brown, C. M., Ebeid, E., Eder, K., Falk, H., Grelck, C., Holst, J., Jadhav, S., Marquer, Y., Martinez De Alejandro, M., Nikov, K., Sahafi, A., Schultz, U., Seewald, A., Vassalos, V., Wegener, S. & Zendra, O., 2 Jun 2023, Proceedings the 2023 design, automation & test in Europe conference & exhibition (DATE 2023): 17 - 19 April 2023, Antwerp, Belgium. Piscataway, NJ: EDAA/IEEE, 6 p. 10137198. (Proceedings (Design, automation, and test in Europe conference and exhibition)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Semi-automatic ladderisation: improving code security through rewriting and dependent types
Brown, C., Barwell, A. D., Marquer, Y., Zendra, O., Richmond, T. & Gu, C., 17 Jan 2022, PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Ariola, Z. M. & Cong, Y. (eds.). New York: ACM, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Proving renaming for Haskell via dependent types: a case-study in refactoring soundness
Barwell, A. D., Brown, C. M. & Sarkar, S., 18 Jul 2021, 8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021). 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile