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)

  Zaytsev, V. (Editor)

  2020

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

• What is Software Change?

  Rensink, A. (Speaker)

  12 Apr 2019

  Activity: Talk or presentation › Invited talk

• Educators Symposium 2019

  Polack, F. (Chair) & Rensink, A. (Chair)

  17 Sept 2019

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

• Defining Software Change

  Rensink, A. (Speaker)

  Jan 2018

  Activity: Talk or presentation › Invited talk

• 11th International Conference on Model Transformation, ICMT 2018

  Rensink, A. (Chair) & Sánchez Cuadrado, J. (Chair)

  25 Jul 2018

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

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

  Stoelinga, M. (Speaker)

  3 Feb 2017

  Activity: Talk or presentation › Oral presentation

• Parallel Algorithms for Model Checking

  van de Pol, J. (Speaker)

  12 Sept 2017

  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

  Katoen, J. P. (Organiser), Langerak, R. (Organiser) & Rensink, A. (Organiser)

  17 Oct 2017

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

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

  van den Berg, L. I. S. A. (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)

  31 Aug 2016

  Activity: Talk or presentation › Oral presentation

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

  van den Berg, L. I. S. A. (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)

  16 Dec 2016

  Activity: Talk or presentation › Invited talk

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

  Zebel, S. (Speaker), van den Berg, L. I. S. A. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)

  4 Oct 2016

  Activity: Talk or presentation › Oral presentation

• Graphs as Models 2015

  Rensink, A. (Chair) & Zambon, E. (Chair)

  11 May 2015

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

• ICT with Industry 2019

  Rensink, A. (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

  Gnesi, S. (Chair) & Rensink, A. (Chair)

  2014

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

• Wiskundeonderwijs in het licht van het PWN-visiedocument 2025

  Verhoef, N. C. (Speaker) & Timmer, M. (Speaker)

  26 Nov 2014

  Activity: Talk or presentation › Oral presentation

• Analytische meetkunde door een synthetische bril

  Timmer, M. (Speaker) & Verhoef, N. C. (Speaker)

  3 Oct 2013

  Activity: Talk or presentation › Oral presentation

• Saarland University

  Timmer, M. (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

  Rensink, A. (Organiser) & Schürr, A. (Chair)

  9 Oct 2010

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

• Workshop on Formal Methods for Aerospace, FMA 2009

  Langerak, R. (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

  Paige, R. F. (Organiser), Hartman, A. (Organiser) & Rensink, A. (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

  Rensink, A. (Chair) & Warmer, J. (Chair)

  2006

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

• Using SPIN: Basic and Advanced SPIN

  Ruys, T. C. (Speaker)

  19 Nov 2004

  Activity: Talk or presentation › Oral presentation

• Integrating Formalisms with Mobius (?)

  Bohnenkamp, H. C. (Speaker)

  1 Oct 2004

  Activity: Talk or presentation › Oral presentation

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

  Assmann, U. (Chair), Akşit, M. (Chair) & Rensink, A. (Chair)

  2004

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

• Graphs and combinatorics (Journal)

  Broersma, H. J. (Editor)

  2004 → 2010

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

• MoDeST: From Theory to Industrial Experience

  Katoen, J.-P. (Invited speaker)

  4 Sept 2004

  Activity: Talk or presentation › Oral presentation

• Timed reachability in continuous-time Markov decision processes

  Katoen, J. P. (Speaker)

  29 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Synthesis and Stochastic Assessment of Schedules for Lacquer Production

  Hermanns, H. (Speaker)

  28 Sept 2004

  Activity: Talk or presentation › Oral presentation

• Stochastic Assessment of Schedules in a Lacquer Production Plant

  Hermanns, H. (Speaker)

  6 Apr 2004

  Activity: Talk or presentation › Oral presentation

• An industrial-strength formal method

  Hermanns, H. (Speaker)

  1 Nov 2004

  Activity: Talk or presentation › Oral presentation

• Model Based Testing

  Brinksma, H. (Speaker)

  14 Dec 2004

  Activity: Talk or presentation › Invited talk

• MoDeST: From Theory to Industrial Experience

  Katoen, J. P. (Speaker)

  17 Sept 2004

  Activity: Talk or presentation › Oral presentation

• Model checking and performance evaluation: a perfect match

  Katoen, J. P. (Speaker)

  28 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Advanced SPIN Tutorial

  Ruys, T. C. (Speaker)

  2 Apr 2004

  Activity: Talk or presentation › Oral presentation

• Quantitative Specification and Verificaion of Distributed Systems

  Hermanns, H. (Speaker)

  20 Nov 2004

  Activity: Talk or presentation › Oral presentation

• Extending TorX with Time

  Belinfante, A. (Speaker)

  9 Sept 2004

  Activity: Talk or presentation › Oral presentation

• Tools for Test Case Generation

  Belinfante, A. (Speaker)

  14 Jan 2004

  Activity: Talk or presentation › Oral presentation

• Behavioural Hybrid Process Calculus

  Krilavicius, T. (Speaker)

  13 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Model Based Conformance Testing

  Brinksma, H. (Keynote speaker)

  25 Aug 2004

  Activity: Talk or presentation › Invited talk

• MoDeST: From Theory to Industrial Experience

  Katoen, J. P. (Speaker)

  14 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Using SPIN: Basic and Advanced SPIN

  Ruys, T. C. (Speaker)

  5 Dec 2003

  Activity: Talk or presentation › Oral presentation

• Model checking Markov chains

  Katoen, J. P. (Speaker)

  6 Mar 2003

  Activity: Talk or presentation › Invited talk

• Performability assessment using model checking

  Katoen, J. P. (Speaker)

  4 Feb 2003

  Activity: Talk or presentation › Oral presentation

• Modellering og validering af indlejret og kommunikerende software

  Larsen, K. G. (Speaker)

  7 Mar 2002

  Activity: Talk or presentation › Oral presentation

• Timed Testing with TorX: The Oosterschelde Storm Surge Barrier

  Belinfante, A. (Speaker)

  22 Nov 2002

  Activity: Talk or presentation › Oral presentation

• UPPAAL Implementation Secrets

  Larsen, K. G. (Speaker)

  24 Aug 2002

  Activity: Talk or presentation › Oral presentation

• Model-checking performability properties

  Hermanns, H. (Speaker)

  24 Jun 2002

  Activity: Talk or presentation › Oral presentation

• Automated Testing in Practice: The Highway Tolling System

  Belinfante, A. (Speaker)

  21 Mar 2002

  Activity: Talk or presentation › Oral presentation

• Testing with Transition Systems

  Tretmans, G. J. (Speaker)

  19 Mar 2002

  Activity: Talk or presentation › Oral presentation

• Advances in Real-Time Model Checking

  Larsen, K. G. (Speaker)

  9 Sept 2002

  Activity: Talk or presentation › Oral presentation