Activities per year
- 38 results
Search results
-
Model Based Conformance Testing
Brinksma, H. (Keynote speaker)
25 Aug 2004Activity: Talk or presentation › Invited talk
-
-
Verification in Practice
Brinksma, H. (Speaker)
30 Nov 2001Activity: Talk or presentation › Oral presentation
-
Verification is Experimentation!
Brinksma, H. (Invited speaker)
23 Aug 2000Activity: Talk or presentation › Oral presentation
-
Formal Methods for Conformance Testing
Brinksma, H. (Invited speaker)
2 Nov 2000Activity: Talk or presentation › Invited talk
-
Formal Methods for Conformance Testing
Brinksma, H. (Invited speaker)
28 Aug 2000Activity: Talk or presentation › Invited talk
-
Formal Methods for Conformance Testing
Brinksma, H. (Invited speaker)
17 Apr 2000Activity: Talk or presentation › Invited talk
-
Model Checking: Verification or Debugging?
Ruys, T. C. (Keynote speaker) & Brinksma, E. (Keynote speaker)
27 Jun 2000Activity: Talk or presentation › Oral presentation
-
Formal Methods for Conformance Testing
Brinksma, E. (Invited speaker)
19 May 1999Activity: Talk or presentation › Oral presentation
-
Theory in Practice or Practise in Theory
Brinksma, H. (Invited speaker)
20 May 1999Activity: Talk or presentation › Oral presentation
-
Stochastic Process Algebra
Brinksma, E. (Invited speaker)
9 Apr 1999Activity: Talk or presentation › Oral presentation
-
Advances in Markovian and Non-Markovian Process Algebra
Brinksma, E. (Invited speaker) & Hermanns, H. (Invited speaker)
7 Sept 1999Activity: Talk or presentation › Oral presentation
-
Het Milleniumprobleem
Brinksma, H. (Invited speaker)
1 Dec 1999Activity: Talk or presentation › Oral presentation
-
Gebruik van Formele Methoden in de praktijk
Brinksma, H. (Invited speaker)
27 Apr 1999Activity: Talk or presentation › Oral presentation
-
Formele Methoden in de praktijk
Brinksma, H. (Keynote speaker)
2 Feb 1998Activity: Talk or presentation › Invited talk
-
On the Coverage of Partial Validations
Brinksma, E. (Keynote speaker)
10 Sept 1998Activity: Talk or presentation › Oral presentation
-
A Stochastic Automata Model and its Algebraic Approach
d' Argenio, P. R. (Keynote speaker), Katoen, J. P. (Keynote speaker) & Brinksma, H. (Keynote speaker)
26 Jun 1997Activity: Talk or presentation › Oral presentation
-
On the Formal Validation of a Storm Surge Barrier
Brinksma, H. (Invited speaker)
4 May 1997Activity: Talk or presentation › Oral presentation
-
Trial or Trade?
Brinksma, H. (Invited speaker)
21 Mar 1996Activity: Talk or presentation › Oral presentation
-
Cache Consistency by Design
Brinksma, E. (Invited speaker)
25 Jul 1995Activity: Talk or presentation › Oral presentation
-
Cache Consistency by Design
Brinksma, E. (Invited speaker)
9 Mar 1995Activity: Talk or presentation › Oral presentation
-
Algorithm for the decomposition of processes in a process algebraic framework
Brinksma, H. (Speaker) & Langerak, R. (Speaker)
27 Jun 1994Activity: Talk or presentation › Oral presentation
-
On the application of LOTOS
Brinksma, H. (Speaker)
8 Dec 1994Activity: Talk or presentation › Oral presentation
-
Wat is the method in formal methods
Brinksma, H. (Speaker)
7 Mar 1994Activity: Talk or presentation › Oral presentation
-
Cache consistency by design
Brinksma, E. (Speaker)
7 Jul 1994Activity: Talk or presentation › Oral presentation
-
On the application of LOTOS
Brinksma, E. (Speaker)
19 Oct 1994Activity: Talk or presentation › Oral presentation
-
On the application of LOTOS
Brinksma, H. (Speaker)
14 Dec 1994Activity: Talk or presentation › Oral presentation
-
ESPRIT/BRA REACT
Brinksma, H. (Speaker), Heerink, A. W. (Speaker), Langerak, R. (Speaker) & Katoen, J. P. (Speaker)
1 Mar 1993Activity: Talk or presentation › Oral presentation
-
AMAST 1993: Algebraic Methodology and Software Engineering
Brinksma, E. (Speaker)
21 Jun 1993Activity: Talk or presentation › Oral presentation
-
On the coverage of partial validations
Brinksma, E. (Speaker)
18 Nov 1993Activity: Talk or presentation › Oral presentation
-
From data structure to process structure
Brinksma, H. (Speaker)
12 Dec 1991Activity: Talk or presentation › Oral presentation
-
From data structure to process structure
Brinksma, H. (Speaker)
27 Mar 1991Activity: Talk or presentation › Oral presentation
-
On the implementation of LOTOS
Brinksma, H. (Speaker)
6 Dec 1991Activity: Talk or presentation › Oral presentation
-
A formal approach to testing concurrent systems
Brinksma, H. (Speaker)
20 Feb 1991Activity: Talk or presentation › Oral presentation
-
On the design of process algebraic specification languages
Brinksma, H. (Speaker)
26 Jun 1990Activity: Talk or presentation › Oral presentation
-
A theory for test derivation
Brinksma, H. (Speaker)
19 Mar 1990Activity: Talk or presentation › Oral presentation
-
A theoretical framework for test derivation
Brinksma, H. (Speaker)
25 Apr 1990Activity: Talk or presentation › Oral presentation
-
LOTOS: A process-algebraic application for the specification of distributed systems
Brinksma, H. (Speaker)
30 Aug 1990Activity: Talk or presentation › Oral presentation