Research output per year
Research output per year
Project Details
Description
Today, society makes large use of connected IT systems in digital businesses, healthcare, communications, and entertainment. However, the correct programming of these important systems is challenging, which hinders progress and can even put our well-being at risk. This project will investigate a new scientific method for ensuring that connected computers follow appropriate “choreographies” of reliable and secure data exchanges.
The grant will fund two postdocs and one PhD student.
The grant will fund two postdocs and one PhD student.
| Acronym | Choco |
|---|---|
| Status | Finished |
| Effective start/end date | 01/05/2020 → 30/06/2025 |
Funding
- Villum Foundation: DKK7,174,850.00
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.
-
Formulas as Processes, Deadlock-Freedom as Choreographies
Acclavio, M., Manara, G. & Montesi, F., 2025, Programming Languages and Systems: Proceedings of 34th European Symposium on Programming (ESOP 2025). Vafeiadis, V. (ed.). Springer Science+Business Media, p. 23-55 (Lecture Notes in Computer Science, Vol. 15694).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile14 Downloads (Pure) -
JoT: A Jolie framework for testing microservices
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., Feb 2025, In: Science of Computer Programming. 240, 103215.Research output: Contribution to journal › Journal article › Research › peer-review
File42 Downloads (Pure) -
Alice or Bob? Process polymorphism in choreographies
Graversen, E., Hirsch, A. K. & Montesi, F., 23. Jan 2024, In: Journal of Functional Programming. 34, 5, 54 p., e1.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile65 Downloads (Pure) -
A model for correlation-based choreographic programming
Giallorenzo, S., Montesi, F. & Gabbrielli, M., Dec 2024, In: PeerJ Computer Science. 10, 47 p., e1907.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile25 Downloads (Pure) -
A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., Sachweh, S. & Wizenty, P., 2024, Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Gaaloul, W., Sheng, M., Yu, Q. & Yangui, S. (eds.). Springer Science+Business Media, p. 161-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15405 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review