Courses
Theses and projects
I am particularly interested in formal methods, programming languages, models, and tools for distributed and concurrent systems.
Below are some theses I (co)supervised.
Bonnasen, T. and Yousaf, F. 2023. Safe-by-design distributed systems from Declarative DCR Choreographies using Jolie. M.Sc. in Computer Science and Engineering, Technical University of Denmark, Denmark.
Ovcina, E. 2023. A tool for eliciting patterns in microservice architectures written in Jolie. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Bergstedt, K. 2023. A static type system for a service-oriented programming language. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Nissen, A.K. 2022. Information Flow Analysis of Choreographic Programs. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Poulsen, A.L. 2022. A dynamic webserver for microservice-aware web applications. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Andersen, J. 2021. Inferring communications in coordination protocols. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Jørgensen, M.K. and Stribley, A.H.K. 2021. Formal verification of the Chord protocol with TLA+. B.Sc. in Computer Science, University of Southern Denmark, Denmark.
Mansutti, A. 2016. Loose simulations: definition, applications and computation ("Le simulazioni lasche: definizione, applicazioni e computazione"). M.Sc. in Computer Science, University of Udine, Italy.
Toneguzzo, A. 2015. Composable open memory transactions: formal semantics and implementation in Haskell ("Memorie transazionali aperte componibili: semantica formale e implementazione in Haskell"). M.Sc. in Computer Science, University of Udine, Italy.
- Miculan, M. et al. 2015. Open Transactions on Shared Memory. Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (2015), 213–229.
Mineo, F. 2013. Reification of generic types in Java 7 ("Reificazione dei tipi generici in Java 7"). M.Sc. in Computer Science, University of Udine, Italy.
Romanelli, M. 2013. Formal verification of the WebID authentication protocol using ProVerif ("Verifica formale del protocollo di autenticazione WebID in ProVerif"). M.Sc. in Computer Science, University of Udine, Italy.
Mansutti, A. 2013. Bigraphs as ontologies for agent oriented programming ("Bigrafi come ontologie per la programmazione orientata agli agenti"). M.Sc. in Computer Science, University of Udine, Italy.
- Mansutti, A. et al. 2014. Distributed execution of bigraphical reactive systems. Electronic Communications of the EASST. 71, (2014). DOI:10.14279/tuj.eceasst.71.994.
- Mansutti, A. et al. 2014. Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (2014), 201–208.