H2020 ICT-5 Teamplay

Project: Standard

Project Details

AcronymTeamPlay
StatusFinished
Effective start/end date1/01/1831/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 proceedingConference contribution

    Open Access
    File
    8 Downloads (Pure)
  • 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 proceedingConference contribution

    Open Access
    File
    5 Downloads (Pure)
  • 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 proceedingConference contribution

    Open Access
    File
    2 Downloads (Pure)