Activities per year
Activities
- 13 results
Search results
-
What is Software Change?
Arend Rensink (Speaker)
12 Apr 2019Activity: Talk or presentation › Invited talk
-
Defining Software Change
Arend Rensink (Speaker)
Jan 2018Activity: Talk or presentation › Invited talk
-
Parallel Algorithms for Model Checking
Jaco van de Pol (Speaker)
12 Sep 2017Activity: Talk or presentation › Invited talk
-
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 2016Activity: Talk or presentation › Invited talk
-
Model Based Conformance Testing
Hendrik Brinksma (Keynote speaker)
25 Aug 2004Activity: Talk or presentation › Invited talk
-
Model Based Testing
Hendrik Brinksma (Speaker)
14 Dec 2004Activity: Talk or presentation › Invited talk
-
Model checking Markov chains
Joost P. Katoen (Speaker)
6 Mar 2003Activity: Talk or presentation › Invited talk
-
-
Real-Time Model Checking and Beyond
K.G. Larsen (Speaker)
26 Mar 2001Activity: Talk or presentation › Invited talk
-
Real-Time Model Checking and Beyond
K.G. Larsen (Speaker)
30 Jan 2001Activity: Talk or presentation › Invited talk
-
Specification and Analysis of Stochastic Timed Systems
P.R. d' Argenio (Invited speaker)
21 Feb 2000Activity: Talk or presentation › Invited talk
-
Xspin/Project - Integrated Validation Management for Xspin
T.C. Ruys (Keynote speaker)
21 Sep 1999Activity: Talk or presentation › Invited talk
-
A Recipe for Specification and Verification
P.R. d' Argenio (Invited speaker)
2 Oct 1998Activity: Talk or presentation › Invited talk