Formal Methods and Tools

Activities

Activities per year 1990 2001 2002 2004 2020

• 71 Oral presentation
• 13 Invited talk
• 11 Organising a conference, workshop, ...
• 1 Editorial work
• 2 More
  • 1 Publication Peer-review
  • 1 Visiting an external academic institution

Activities per year

Search results

• 5th International Workshop on Open and Original Problems in Software Language Engineering, OOPSLE 2020 (Event)

  Vadim Zaytsev (Editor)

  2020

  Activity: Publication peer-review and editorial work › Publication Peer-review

• Educators Symposium 2019

  Fiona Polack (Chair) & Arend Rensink (Chair)

  17 Sep 2019

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• What is Software Change?

  Arend Rensink (Speaker)

  12 Apr 2019

  Activity: Talk or presentation › Invited talk

• 11th International Conference on Model Transformation, ICMT 2018

  Arend Rensink (Chair) & Jesús Sánchez Cuadrado (Chair)

  25 Jul 2018

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Defining Software Change

  Arend Rensink (Speaker)

  Jan 2018

  Activity: Talk or presentation › Invited talk

• Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

  Joost P. Katoen (Organiser), Rom Langerak (Organiser) & Arend Rensink (Organiser)

  17 Oct 2017

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Fault Maintenance Trees: Reliability Centered Maintenance Via Statistical Model Checking

  Mariëlle Stoelinga (Speaker)

  3 Feb 2017

  Activity: Talk or presentation › Oral presentation

• Parallel Algorithms for Model Checking

  Jaco van de Pol (Speaker)

  12 Sep 2017

  Activity: Talk or presentation › Invited talk

• Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

  Sven Zebel (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker) & Ellen Giebels (Speaker)

  4 Oct 2016

  Activity: Talk or presentation › Oral presentation

• Design and implementation of digital communication systems for victim-offender mediation

  Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker) & Ellen Giebels (Speaker)

  31 Aug 2016

  Activity: Talk or presentation › Oral presentation

• Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

  Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker) & Ellen Giebels (Speaker)

  16 Dec 2016

  Activity: Talk or presentation › Invited talk

• Graphs as Models 2015

  Arend Rensink (Chair) & Eduardo Zambon (Chair)

  11 May 2015

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• ICT with Industry 2019

  Arend Rensink (Organiser)

  2014 → 2019

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014

  Stefania Gnesi (Chair) & Arend Rensink (Chair)

  2014

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Wiskundeonderwijs in het licht van het PWN-visiedocument 2025

  Neeltje Cornelia Verhoef (Speaker) & Mark Timmer (Speaker)

  26 Nov 2014

  Activity: Talk or presentation › Oral presentation

• Analytische meetkunde door een synthetische bril

  Mark Timmer (Speaker) & Neeltje Cornelia Verhoef (Speaker)

  3 Oct 2013

  Activity: Talk or presentation › Oral presentation

• Saarland University

  Mark Timmer (Visiting researcher)

  21 May 2012 → 25 May 2012

  Activity: Visiting an external institution › Visiting an external academic institution

• 5th International Conference on Graph Transformationcs, ICGT 2010

  Arend Rensink (Organiser) & Andy Schürr (Chair)

  9 Oct 2010

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Workshop on Formal Methods for Aerospace, FMA 2009

  Rom Langerak (Member of programme committee)

  2009

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 5th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009

  Richard F. Paige (Organiser), Alan Hartman (Organiser) & Arend Rensink (Organiser)

  2009

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 2nd European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006

  Arend Rensink (Chair) & Jos Warmer (Chair)

  2006

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Integrating Formalisms with Mobius (?)

  H.C. Bohnenkamp (Speaker)

  1 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Quantitative Specification and Verificaion of Distributed Systems

  H. Hermanns (Speaker)

  20 Nov 2004

  Activity: Talk or presentation › Oral presentation

• Synthesis and Stochastic Assessment of Schedules for Lacquer Production

  H. Hermanns (Speaker)

  28 Sep 2004

  Activity: Talk or presentation › Oral presentation

• An industrial-strength formal method

  H. Hermanns (Speaker)

  1 Nov 2004

  Activity: Talk or presentation › Oral presentation

• MoDeST: From Theory to Industrial Experience

  Joost P. Katoen (Speaker)

  17 Sep 2004

  Activity: Talk or presentation › Oral presentation

• Model Based Conformance Testing

  Hendrik Brinksma (Keynote speaker)

  25 Aug 2004

  Activity: Talk or presentation › Invited talk

• Behavioural Hybrid Process Calculus

  T. Krilavicius (Speaker)

  13 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Stochastic Assessment of Schedules in a Lacquer Production Plant

  H. Hermanns (Speaker)

  6 Apr 2004

  Activity: Talk or presentation › Oral presentation

• European Workshop on Model-Driven Architecture - Foundations and Applications, MDAFA 2004

  Uwe Assmann (Chair), Mehmet Akşit (Chair) & Arend Rensink (Chair)

  2004

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Model checking and performance evaluation: a perfect match

  Joost P. Katoen (Speaker)

  28 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Using SPIN: Basic and Advanced SPIN

  T.C. Ruys (Speaker)

  19 Nov 2004

  Activity: Talk or presentation › Oral presentation

• MoDeST: From Theory to Industrial Experience

  Joost-Pieter Katoen (Invited speaker)

  4 Sep 2004

  Activity: Talk or presentation › Oral presentation

• Timed reachability in continuous-time Markov decision processes

  Joost P. Katoen (Speaker)

  29 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Model Based Testing

  Hendrik Brinksma (Speaker)

  14 Dec 2004

  Activity: Talk or presentation › Invited talk

• Extending TorX with Time

  Axel Belinfante (Speaker)

  9 Sep 2004

  Activity: Talk or presentation › Oral presentation

• MoDeST: From Theory to Industrial Experience

  Joost P. Katoen (Speaker)

  14 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Tools for Test Case Generation

  Axel Belinfante (Speaker)

  14 Jan 2004

  Activity: Talk or presentation › Oral presentation

• Graphs and combinatorics (Journal)

  H.J. Broersma (Editor)

  2004 → 2010

  Activity: Publication peer-review and editorial work › Editorial work

• Advanced SPIN Tutorial

  T.C. Ruys (Speaker)

  2 Apr 2004

  Activity: Talk or presentation › Oral presentation

• Model checking Markov chains

  Joost P. Katoen (Speaker)

  6 Mar 2003

  Activity: Talk or presentation › Invited talk

• Performability assessment using model checking

  Joost P. Katoen (Speaker)

  4 Feb 2003

  Activity: Talk or presentation › Oral presentation

• Using SPIN: Basic and Advanced SPIN

  T.C. Ruys (Speaker)

  5 Dec 2003

  Activity: Talk or presentation › Oral presentation

• Automated Testing in Practice: The Highway Tolling System

  Axel Belinfante (Speaker)

  21 Mar 2002

  Activity: Talk or presentation › Oral presentation

• Testing with Transition Systems

  G.J. Tretmans (Speaker)

  19 Mar 2002

  Activity: Talk or presentation › Oral presentation

• On Combining Functional Verification and Performance Evaluation Using CADP

  H. Hermanns (Speaker)

  23 Jul 2002

  Activity: Talk or presentation › Oral presentation

• Stability Analysis for Hyrid Automata

  Romanus Langerak (Speaker)

  20 Nov 2002

  Activity: Talk or presentation › Oral presentation

• Verification of Embedded Systems Software

  Joost P. Katoen (Speaker)

  22 May 2002

  Activity: Talk or presentation › Oral presentation

• Timed Testing with TorX: The Oosterschelde Storm Surge Barrier

  Axel Belinfante (Speaker)

  22 Nov 2002

  Activity: Talk or presentation › Oral presentation

• Nondeterminism in stochastic modeling

  Daulet Turetayev (Speaker)

  9 Dec 2002

  Activity: Talk or presentation › Oral presentation