Fabrizio Montesi
Syddansk Universitet
H-index: 30
Europe-Denmark
Top articles of Fabrizio Montesi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
On Propositional Dynamic Logic and Concurrency | arXiv preprint arXiv:2403.18508 | Matteo Acclavio Fabrizio Montesi Marco Peressotti | 2024/3/27 |
Ozone: Fully Out-of-Order Choreographies | arXiv preprint arXiv:2401.17403 | Dan Plyukhin Marco Peressotti Fabrizio Montesi | 2024/1/30 |
Choral: Object-oriented choreographic programming | ACM Transactions on Programming Languages and Systems | Saverio Giallorenzo Fabrizio Montesi Marco Peressotti | 2024/1/16 |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability | The Art, Science, and Engineering of Programming | Lovro Lugović Fabrizio Montesi | 2024 |
Alice or Bob?: Process polymorphism in choreographies | Journal of Functional Programming | Eva Graversen Andrew K Hirsch Fabrizio Montesi | 2024/1 |
Introduction to Choreographies | Fabrizio Montesi | 2023/5/25 | |
Certified Compilation of Choreographies with hacc | Luís Cruz-Filipe Lovro Lugović Fabrizio Montesi | 2023/6/10 | |
XL: Explainable Lead Generation with Microservices and Hypothetical Answers | Luís Cruz-Filipe Sofia Kostopoulou Fabrizio Montesi Jonas Vistrup | 2023/10/12 | |
Real-world choreographic programming: An experience report | arXiv preprint arXiv:2303.03983 | Lovro Lugović Fabrizio Montesi | 2023/3/7 |
Keep me out of the loop: a more flexible choreographic projection | Proceedings of 24th International Conference on Logic | Luís Cruz-Filipe Fabrizio Montesi Robert R Rasmussen | 2023/6/3 |
Check for μXL: Explainable Lead Generation with Microservices and Hypothetical Answers | Service-Oriented and Cloud Computing: 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24–25, 2023, Proceedings | Luís Cruz-Filipe Sofia Kostopoulou Fabrizio Montesi | 2023/10/11 |
Choreographic Programming in Coq | Robert R Rasmussen Luís Cruz-Filipe Fabrizio Montesi Lovro Lugovic Marco Peressotti | 2023/6 | |
Now it compiles! certified automatic repair of uncompilable protocols | arXiv preprint arXiv:2302.14622 | Luís Cruz-Filipe Fabrizio Montesi | 2023/2/28 |
Modular compilation for higher-order functional choreographies | Luís Cruz-Filipe Eva Graversen Lovro Lugović Fabrizio Montesi Marco Peressotti | 2023/7 | |
LEMMA2Jolie: A tool to generate microservice APIs from domain models | Science of Computer Programming | Saverio Giallorenzo Fabrizio Montesi Marco Peressotti Florian Rademacher | 2023/6/1 |
Jot: A jolie framework for testing microservices | Saverio Giallorenzo Fabrizio Montesi Marco Peressotti Florian Rademacher Narongrit Unwerawattana | 2023/6/15 | |
Model-Driven Code Generation for Microservices: Service Models | Saverio Giallorenzo Fabrizio Montesi Marco Peressotti Florian Rademacher | 2023 | |
A formal theory of choreographic programming | Journal of Automated Reasoning | Luís Cruz-Filipe Fabrizio Montesi Marco Peressotti | 2023/6 |
Reasoning about choreographic programs | Luís Cruz-Filipe Eva Graversen Fabrizio Montesi Marco Peressotti | 2023/6/15 |