Projektdetaljer
Beskrivelse
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.
| Akronym | Choco |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/05/2020 → 30/06/2025 |
Finansiering
- Villum Fonden: 7.174.850,00 kr.
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt 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. (red.). Springer Science+Business Media, s. 23-55 (Lecture Notes in Computer Science, Bind 15694).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil4 Downloads (Pure) -
JoT: A Jolie framework for testing microservices
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., feb. 2025, I: Science of Computer Programming. 240, 103215.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil31 Downloads (Pure) -
Alice or Bob? Process polymorphism in choreographies
Graversen, E., Hirsch, A. K. & Montesi, F., 23. jan. 2024, I: Journal of Functional Programming. 34, 5, 54 s., e1.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil52 Downloads (Pure) -
A model for correlation-based choreographic programming
Giallorenzo, S., Montesi, F. & Gabbrielli, M., dec. 2024, I: PeerJ Computer Science. 10, 47 s., e1907.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil21 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. (red.). Springer Science+Business Media, s. 161-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15405 LNCS).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review