PhD theses

1. Raphaël Reynouard. On learning stochastic models: from theory to practice.
   Supervisors: Anna Ingólfsdóttir, Giovanni Bacci (Aalborg University).
   Committee: Nils Jansen (Ruhr University Bochum and Radboud University, Nijmegen), Catia Trubiani (GSSI, L'Aquila).
   Defense: Tue, 14 November 2023, 10:00 CET (=9:00 GMT), Sala Consiliare, GSSI; video stream can be followed in room M123, RU.
   thesis details
2. Duncan Paul Attard. Runtime monitoring for asynchronous reactive components.
   Supervisors: Adrian Francalanza (U. of Malta), Luca Aceto, Anna Ingólfsdóttir.
   Joint degree with U. of Malta. 2023.
   thesis in Opin vísindi, thesis at U Malta
3. Émile Nadeau. Multivariate combinatorial exploration with regular strategies.
   Supervisor: Henning Úlfarsson.
   Committee: Christian Bean, Jay Pantone (Marquette University), Karen Yeats (University of Waterloo).
   Defense: Thu, 17 November 2022, 15:00, room M102.
   thesis
4. Elli Anastasiadi. Syntactic approaches to negative results in process algebras and modal logics.
   Supervisors: Luca Aceto, Anna Ingólfsdóttir.
   Committee: Antonis Achilleos, Ilaria Castellani (INRIA Sophia Antipolis), Catuscia Palamidessi (LIX, Inria Saclay).
   Defense: Tue, 27 September 2022, 13:00, room M209.
   thesis
5. Ian Cassar. Developing theoretical foundations for runtime enforcement.
   Supervisors: Adrian Francalanza (U. of Malta), Luca Aceto, Anna Ingólfsdóttir.
   Joint degree with U. of Malta. 2020.
   thesis
6. Ehsan Khamespanah. Modeling, verification and analysis of timed actor-based models.
   Supervisor: Marjan Sirjani. Cosupervisor: Ramtin Khosravi (University of Tehran).
   Committee: Fatemeh Ghassemi (University of Tehran), Marcel Kyas, Edward Lee (University of California at Berkeley), Tom Henzinger (IST Austria).
   Defense: Mon, 11 June 2018, 14:00, room M209.
   thesis, details
7. Christian Bean. Finding structure in permutation sets.
   Supervisor: Henning Úlfarsson. Cosupervisor: Anders Claesson (University of Iceland).
   Committee: Jay Pantone (Dartmouth College), Einar Steingrímsson (Strathclyde University).
   Defense: Fri, 1 June 2018, 19:00, room V102.
   thesis, details
8. Ali Jafari. Performance evaluation and model checking of probabilistic real-time actors.
   Supervisor: Marjan Sirjani.
   Committee: Wan Fokkink (Free University of Amsterdam), Holger Hermanns (Saarland University), Carolyn Talcott (SRI International).
   2016.
   thesis
9. Georgiana Caltais. Coalgebraic tools for bisimilarity and decorated trace semantics.
   Supervisors: Jan Rutten (Radboud U. Nijmegen), Anna Ingólfsdóttir. Cosupervisors: Alexandra Silva (Radboud U. Nijmegen), Marcello Bonsangue (U. Leiden).
   Committee: Luca Aceto, Herman Geuvers (Radboud U. Nijmegen), Bas Luttik (Technical U. of Eindhoven), Ugo Montanari (U. of Pisa), Erik de Vink (Technical U. of Eindhoven).
   Defense: Mon, 16 December 2013, 12:30, Radboud University.
   Radboud U. Nijmegen degree.
   thesis
10. Eugen Ioan Goriac. Axiomatizations from structural operational semantics: theory and tools.
    Supervisor: Luca Aceto.
    Committee: Jos Baeten (CWI, Amsterdam), Anna Ingólfsdóttir, Mohammad Reza Mousavi (Halmstad University).
    Defense: Thu, 22 August 2013, 10:00, room M104.
    thesis, details
11. Kristján Valur Jónsson. The security properties of in-network aggregation.
    Supervisor: Ýmir Vigfússon. Cosupervisor: Mads Dam (KTH, Stockholm).
    Committee: Philippe Bonnet (IT University of Copenhagen), Magnús Már Halldórsson (University of Iceland).
    Defense: Thu, 13 December 2012, 10:00, room V102.
    Dual degree with KTH, Stockholm. 2012.
    thesis, details
12. Matteo Cimini. Contributions to the meta-theory of structural operational semantics.
    Supervisors: Luca Aceto, Anna Ingólfsdóttir.
    Committee: Wan Fokkink (Free University of Amsterdam), Matthew Hennessy (Trinity College Dublin), Mohammad Reza Mousavi (Eindhoven University of Technology).
    Defense: Fri, 18 November 2011, 14:00, room M104.
    thesis, details
13. Elena Losievskaja. Approximation algorithms for independent set problems on hypergraphs.
    Supervisor: Magnús Már Halldórsson.
    Committee: Bjarni Vilhjálmur Halldórsson, Sven Þórarinn Sigurðsson (U. of Iceland), Hadas Shachnai (Technion), Mario Szegedy (Rutgers U.).
    2009.
    thesis