Verification Series

Past Talks: 2017/18 Session

Date Speaker Title
12 Oct 2017 Michael Fisher
Decentralised LTL Monitoring
26 Oct 2017 Alexei Lisitsa
Revisiting MU-puzzle. A case study in finite countermodels verification
09 Nov 2017 Xiaowei Huang
Feature-Guided Black-Box Safety Testing of Deep Neural Networks
30 Nov 2017 Boris Konev
Efficient Implementation of Property Directed Reachability
14 Dec 2017
Nicholas Berthier

Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management
11 Jan 2018 Alexei Listsa
Verifying Computations without Reexecuting Them
25 Jan 2018 Claudia Nalon
-
08 Feb 2018 Sven Schewe
Journal Club: Deciding parity games in quasipolynomial time
22 Mar 2018
Martin Mose Bentzen

Technical University of Denmark
Formalisation of ethical reasoning
12 Apr 2018 Marie Farrell
An Institution for Event-B: Clones, Modularisation and Interoperability
26 Apr 2018 Dominik Wojtczak
Meltdown exploit
10 May 2018 Matthew Luckcuck
Using Circus to Verify Safety-Critical Java Level 2 Programs
24 May 2018 Sven Linker
Journal Club: A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems
07 Jun 2018 Georgios Kourtis
21 Jun 2018 Nicolas Berthier
Journal Club: On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours

Older Seminars
ordered by Academic Year



Other seminar series