Luca Aceto – Theoretical Foundations for Runtime Monitoring

Tuesday, Sept.10th, 2019 – 11:00 am Runtime Verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not…

Continue reading

Alexandra Silva – CoNeCo: Concurrency, Networks and Coinduction

May 16th, 2019 In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, based on…

Continue reading