Presentations

Invited Talks

2017

• Using Process Algebra to Design Better Protocols
  Lero
  Limerick, Ireland
  Slides

2016

• Was ist Informatik
  Anna Gymnasium
  Sydney, Australia

2015

• Using Process Algebra to Design Better Protocols
  Forum "Math-for-Industry" 2015
  Fukuoka, Japan
  Slides

2014

• Algebraic (Software) Verification
  Doha
  Qatar

2013

• Formal Methods for Wireless Mesh Networks
  Argentina
  Argentina
  Slides

2012

• Past and Future of Formal Methods for Wireless Mesh Networks
  Quantitative Methods in Security and Safety Critical Applications
  Shonan Village, Japan
  Slides

2009

• Algebraic Calculi for Hybrid Systems
  McMaster University
  Hamilton, Canada
  Slides
• An Algebra of Product Families
  McMaster University
  Hamilton, Canada
  Slides

2008

• An Algebra of Hybrid Systems
  The University of Queensland
  Brisbane, Australia
  Slides

Seminars & Colloquia

2020

• New Models for Relation Algebra (by categorical construction)
  IFIP WG 2.1
  Otterlo, The Netherlands
  Slides
• Applied Formal Methods
  Logic Group Seminar @ ANU
  Canberra, Australia
  Slides

2019

• Using Process Algebra to Design Better Protocols
  Universität Augsburg
  Germany
• Using Process Algebra to Design Better Protocols
  Australian National University
  Canberra, Australia
• Sometimes Less is More: Why too many input languages can harm a system or tool
  University of Queensland
  Brisbane, Australia
  Slides
• Justness: when progress is too weak and fairness it too strong
  IFIP WG 2.3
  York, UK
  Slides

2018

• Using Process Algebra to Design Better Protocols
  University of Queensland
  Brisbane, Australia
  Slides
• Forwards and Backwards in Separation Algebra
  IFIP WG 2.3
  Providence, Rhode Island
  Slides
• Failure Models for Separation Algebra
  IFIP WG 2.1
  Brandenburg a.d. Havel, Germany

2017

• Using Process Algebra to Design Better Protocols
  Vrije Universiteit Amsterdam
  The Netherlands
  Slides
• Forwards and Backwards in Separation Algebra
  University of Queensland
  Brisbane, Australia
  Slides
• Verifying Liveness Properties: Assumptions and Problems
  IFIP WG 2.3
  Mooloolaba, Australia
  Slides
• Forwards and Backwards in Separation Algebra
  IFIP WG 2.1
  Lesbos, Greece
  Slides
• Using Process Algebra to Design Better Protocols
  University of Twente
  The Netherlands
  Slides

2016

• A (Timed) Process Algebra for Wireless Mesh Networks
  Saarland University
  Saarbrücken, Germany
• System Verified - Can we go to the Beach now?
  University of Augsburg
  Augsburg, Germany
• How to Review a Paper
  PhD Bootcamp Trustworthy Systems Group
  Sydney, Australia

2015

• Formal Specification of Protocols for Internal High-Assurance Networks
  NICTA
  Sydney, Australia
• Shapes
  73rd meeting of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
  Lökeberg, Sweden
• Verification of Relational Programs and Approximation Algorithms
  14th Logic and Computation Seminar, Kyushu University
  Fukuoka, Japan
  Slides

2014

• Algebras for (automatic) Verification of Graph Algorithms
  71st meeting of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
  Zeegse, The Netherlands
  Slides

2013

• Formal Verification of Networks—Description Language—
  NICTA
  Sydney, Australia
  Slides
• Analyse drahtloser Netzwerke mittels Formaler Methoden
  Christian-Albrechts-Universität zu Kiel
  Germany
  Slides
• Statistical Model Checking of Wireless Mesh Routing Protocols
  University of Augsburg
  Germany
  Slides
• Statistical Model Checking with Uppaal
  NICTA
  Sydney, Australia
  Slides
• Ad hoc Routing in Mesh Networks using Algebra
  70th meeting of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
  Schloss Reisensburg, Germany
  Slides

2012

• Morgan: A Suitable Case for Treatment
  Carroll Morgan—Birthday Seminar, University of New South Wales
  Sydney, Australia
  Slides
• Formal Methods for Wireless Mesh Networks
  University of Bologna
  Italy
  Slides
• Formal Methods for Wireless Mesh Networks
  University of Pisa
  Italy
  Slides
• Formal Methods for Wireless Mesh Networks
  IFIP WG 2.1
  Rome, Italy
  Slides
• Formal Methods for Wireless Mesh Networks
  RWTH Aachen
  Germany
  Slides
• Formal Methods for Wireless Mesh Networks
  TU München
  Germany
  Slides
• Formal Methods for Wireless Mesh Networks
  National University Singapore
  Singapore
  Slides
• Formal Methods for Wireless (Mesh) Protocols
  NICTA
  Sydney, Australia
  Slides
• Formal Methods for Mesh Protocols
  NICTA
  Sydney, Australia
  Slides

2011

• An Algebra for Routing Protocols
  University of Sheffield
  Sheffield, UK
  Slides
• Formal Methods for Wireless Mesh Networks
  University of Augsburg
  Augsburg, Germany
  Slides
• A Process Algebra for Wireless Mesh Networks
  University of Augsburg
  Augsburg, Germany
  Slides
• Formal Methods for Wireless Mesh Networks
  University of Adelaide
  Adelaide, Australia
  Slides
• Formal Methods for Wireless Mesh Networks
  University of Cambridge
  Cambridge, UK
  Slides

2009

• Algebraische Kalküle für Hybride Systeme
  Rigorosum, Universität Augsburg
  Augsburg, Germany
  Slides
• Featuritis
  Doktoranden- und Diplomandenseminar, Lehrstuhl Datenbanken, Universität Augsburg
  Sion, Switzerland
  Slides

2008

• Von temporaler Intervalllogik zu Nachbarschaftslogik
  Doktoranden- und Diplomandenseminar, Lehrstuhl Datenbanken, Universität Augsburg
  Sion, Switzerland
  Slides
• Algebraische Kalküle für hybride Systeme
  Winterakademie Elitenetzwerk Bayern
  Kloster Irsee, Germany
  Slides

2007

• Light-Weight Formal Methods with Heavy-Weight Automation —or— One Year in Sheffield is not enough
  University of Sheffield
  Sheffield, UK
  Slides
• Automated Reasoning in Kleene Algebra
  University of Augsburg
  Augsburg, Germany
  Slides
• An Algebra of Hybrid Systems
  University of Sheffield
  Sheffield, UK
  Slides

Contributed Talks

2019

• False Failure: Creating Failure Models for Separation Logic
  17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'18)
  Groningen, The Netherlands

2018

• Analysing AWN-specifications using mCRL2 (extended abstract)
  14th International Conference on integrated Formal Methods (iFM)
  Maynooth, Ireland
• Next Generation Smart Systems (Panel Discussion)
  23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS)
  Maynooth, Ireland

2017

• Split, Send, Reassemble: A Formal Specification of a CAN bus Protocol Stack
  2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017)
  Uppsala, Sweden
  Slides

2016

• A Timed Process Algebra for Wireless Networks with an Application in Routing (Extended Abstract)
  19th European Joint Conferences on Theory and Practice of Software (ETAPS)
  Eindhoven, The Netherlands
  Slides

2014

• A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
  Symposium on Automated Technology for Verification and Analysis (ATVA'14)
  Sydney, Australia
  Slides

2013

• Topology-based Mobility Models for Wireless Networks
  Quantitative Evaluation of Systems (QEST'13)
  Buenos Aires, Argentina
  Slides
• Statistical Model Checking of Wireless Mesh Routing Protocols
  5th NASA Formal Methods Symposium (NFM'13)
  Mountain View, CA, USA
  Slides

2012

• Automated Analysis of AODV using UPPAAL
  18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)
  Tallinn, Estonia
  Slides
• A Process Algebra for Wireless Mesh Networks
  21st European Symposium on Programming (ESOP'12)
  Tallinn, Estonia
  Slides
• Towards a Representation Theorem for Coloring Algebra
  Workshop on Lattices and Relations
  Amsterdam, The Netherlands
  Slides
• Kleene Modules for Routing Procedures
  Workshop on Lattices and Relations
  Amsterdam, The Netherlands
  Slides
• Towards a Rigorous Analysis of AODVv2 (DYMO)
  2nd International Workshop on Rigorous Protocol Engineering
  Austin, TX, USA
  Slides
• A Rigorous Analysis of AODV and its Variants
  15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12)
  Paphos, Cyprus
  Slides

2011

• Modelling and Analysis of AODV in UPPAAL
  1st International Workshop on Rigorous Protocol Engineering, co-located with ICNP 2011
  Vancouver, Canada
  Slides
• Towards an Algebra of Routing Tables
  12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'12)
  Rotterdam, The Netherlands
  Slides

2009

• An Extention of Feature Algebra
  1st Workshop on Feature-Oriented Software Development (FOSD'09)
  Denver, USA
  Slides
• How to find Algebraic Semantics for Modal and Temporal Logics
  10th International Conference on Relational Methods in Computer Science, 5th International Conference on Applications of Kleene Algebra
  Doha, Qatar
  Slides

2008

• Automated Reasoning for Hybrid Systems—Two Case Studies
  10th International Conference on Relational Methods in Computer Science, 5th International Conference on Applications of Kleene Algebra
  Frauenwörth (near Munich), Germany
  Slides
• On Automating the Calculus of Relations
  4th International Joint Conference on Automated Reasoning
  Sydney, Australia
  Slides

2007

• Automated Reasoning in Kleene Algebra
  21st International Conference on Automated Deduction
  Bremen, Germany
  Slides
• Proof Automation in Kleene Algebra
  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung
  Timmendorfer Strand, Germany
  Slides

2006

• Omega Algebra, Demonic Refinement Algebra and Commands
  9th International Conference on Relational Methods in Computer Science, 4th International Conference on Applications of Kleene Algebra
  Manchester, UK
  Slides
• Lazy Semiring Neighbours and Some Applications
  9th International Conference on Relational Methods in Computer Science, 4th International Conference on Applications of Kleene Algebra
  Manchester, UK
  Slides
• f-Generated Kleene Algebra
  9th International Conference on Relational Methods in Computer Science, 4th International Conference on Applications of Kleene Algebra
  Manchester, UK
  Slides

2005

• Towards an Algebra of Hybrid Systems
  8th International Conference on Relational Methods in Computer Science, 3rd International Conference on Applications of Kleene Algebra
  St. Catherines, Canada
  Slides
• Algebra of Hybrid Systems
  Kolloquium Programmiersprachen und Grundlagen der Programmierung
  Fischbachau, Germany
  Slides
• An Algebraic Semantics for Duration Calculus
  17th European Summer School in Logic, Language and Information
  Edinburgh, Scotland
  Slides
• Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
  5th International Conference on Integrated Formal Methods
  Eindhoven, The Netherlands
  Slides