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

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

  Mariëlle Stoelinga (Speaker)

  3 Feb 2017

  Activity: Talk or presentation › Oral presentation

• 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

• 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

• Integrating Formalisms with Mobius (?)

  H.C. Bohnenkamp (Speaker)

  1 Oct 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

• 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

• 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

• 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

• 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

• Advanced SPIN Tutorial

  T.C. Ruys (Speaker)

  2 Apr 2004

  Activity: Talk or presentation › Oral presentation

• 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

• Automated performance and dependability evaluation using model checking

  Joost P. Katoen (Speaker)

  24 Sep 2002

  Activity: Talk or presentation › Oral presentation

• Nondeterminism in stochastic modeling

  Daulet Turetayev (Speaker)

  9 Dec 2002

  Activity: Talk or presentation › Oral presentation

• Model Checking Birth and Death

  Joost P. Katoen (Speaker)

  6 Jun 2002

  Activity: Talk or presentation › Oral presentation

• Markov Chain Model Checker

  Joost P. Katoen (Speaker)

  24 Aug 2002

  Activity: Talk or presentation › Oral presentation

• Stochastic Modelling and Analysis (I & II)

  H. Hermanns (Speaker)

  4 Oct 2002

  Activity: Talk or presentation › Oral presentation

• UPPAAL Implementation Secrets

  K.G. Larsen (Speaker)

  24 Aug 2002

  Activity: Talk or presentation › Oral presentation

• Advances in Real-Time Model Checking

  K.G. Larsen (Speaker)

  9 Sep 2002

  Activity: Talk or presentation › Oral presentation

• Model Checking Markov Chains

  Joost P. Katoen (Speaker)

  26 Nov 2002

  Activity: Talk or presentation › Oral presentation

• Model-checking performability properties

  H. Hermanns (Speaker)

  24 Jun 2002

  Activity: Talk or presentation › Oral presentation

• Stochastic Modelling and Analysis (I & II)

  H. Hermanns (Speaker)

  3 Oct 2002

  Activity: Talk or presentation › Oral presentation

• Modellering og validering af indlejret og kommunikerende software

  K.G. Larsen (Speaker)

  7 Mar 2002

  Activity: Talk or presentation › Oral presentation

• Reachibility Analysis of Probabilistic Systems by Successive Refinements

  P.R. d' Argenio (Speaker)

  28 Jun 2001

  Activity: Talk or presentation › Oral presentation

• Verification in Practice

  Hendrik Brinksma (Speaker)

  30 Nov 2001

  Activity: Talk or presentation › Oral presentation

• As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata

  K.G. Larsen (Speaker)

  22 Jul 2001

  Activity: Talk or presentation › Oral presentation

• Implementing a Model Checker for Performability Behaviour

  H. Hermanns (Speaker)

  16 Sep 2001

  Activity: Talk or presentation › Oral presentation

• Minimum-Cost Reachability for Priced Timed Automata

  K.G. Larsen (Speaker)

  30 Mar 2001

  Activity: Talk or presentation › Oral presentation

• Probabilistic methods in concurrency

  J. Hillston (Speaker) & Joost P. Katoen (Speaker)

  25 Jun 2001

  Activity: Talk or presentation › Oral presentation

• Analysing Markov Chains by Model Checking

  Joost P. Katoen (Speaker)

  30 Mar 2001

  Activity: Talk or presentation › Oral presentation

• Quantitative Verification of Reactive and Embedded Systems

  H. Hermanns (Speaker)

  30 May 2001

  Activity: Talk or presentation › Oral presentation

• Analyzing Markov Chains by Model Checking

  H. Hermanns (Speaker)

  7 Nov 2001

  Activity: Talk or presentation › Oral presentation

• Cross-fertilizing computer aided verification and performance evaluation approaches

  H. Hermanns (Speaker)

  27 Jun 2001

  Activity: Talk or presentation › Oral presentation

• Model Checking: Verification or Debugging?

  T.C. Ruys (Keynote speaker) & E. Brinksma (Keynote speaker)

  27 Jun 2000

  Activity: Talk or presentation › Oral presentation