No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

1987 …2017
If you made any changes in Pure these will be visible here soon.

Research Output 1987 2017

Filter
Paper
2004

A formal MDA approach for mobile health systems

Akehurst, D. H. (ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A. Sep 2004 p. 28-35 8 p.

Research output: Contribution to conferencePaper

File
2000

Model Checking: Verification or Debugging?

Ruys, T. C. & Brinksma, H. 2000 p. 3009-3015 7 p.

Research output: Contribution to conferencePaper

File

Verification Is Experimentation!

Brinksma, H. 2000 p. 17-24 8 p.

Research output: Contribution to conferencePaper

1999

A complete finite prefix for process algebra

Halbwachs, N. (ed.), Langerak, R., Peled, D. (ed.) & Brinksma, H. 1999 p. 184-195 12 p.

Research output: Contribution to conferencePaper

Formal Methods for Conformance Testing: Theory Can Be Practical!

Brinksma, H., Halbwachs, N. (ed.) & Peled, D. (ed.) Jul 1999 p. 44-46 3 p.

Research output: Contribution to conferencePaper

1998

A Compositional Approach to Generalised semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H. 1998 p. 391-397 7 p.

Research output: Contribution to conferencePaper

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

d' Argenio, P. R., Gries, D. (ed.), de Roever, W. P. (ed.), Katoen, J. P. & Brinksma, H. Jun 1998 p. 126-147 22 p.

Research output: Contribution to conferencePaper

Factorized Test Generation for Multi Input/Output Transition Systems

Brinksma, H., Petrenko, A. (ed.), Heerink, A. W., Yevtushenko, N. (ed.) & Tretmans, G. J. 1998 p. 67-82 16 p.

Research output: Contribution to conferencePaper

1997

Causal ambiguity and partial orders in event structures

Langerak, R., Mazurkiewizc, A. W. (ed.), Brinksma, H., Winkowski, J. (ed.) & Katoen, J. P. 1997 p. 317-332 16 p.

Research output: Contribution to conferencePaper

File

Developments in Testing Transition Systems

Brinksma, H., Kim, M. (ed.), Kang, S. (ed.), Heerink, A. W., Hong, K. (ed.) & Tretmans, G. J. 1997 p. 143-166 24 p.

Research output: Contribution to conferencePaper

File

The bounded retransmission protocol must be on time!

Brinksma, H. (ed.), d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J. 1997 p. 416-431 16 p.

Research output: Contribution to conferencePaper

File
1996

A Calculus for Timed Automata (Extended Abstract)

d' Argenio, P. R., Jonsson, B. (ed.), Parrow, J. (ed.) & Brinksma, H. 1996 p. 110-129 20 p.

Research output: Contribution to conferencePaper

File

Applications of Fair Testing

Gotzhein, R. (ed.), Brinksma, H., Bredereke, J. (ed.), Rensink, A. & Vogler, W. 1996 p. 145-160 16 p.

Research output: Contribution to conferencePaper

File

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R. 1996 p. 21-49 29 p.

Research output: Contribution to conferencePaper

File
1995

Fair Testing

Lee, I. (ed.), Brinksma, H., Rensink, A., Smolka, S. A. (ed.) & Vogler, W. 1995 p. 313-327 15 p.

Research output: Contribution to conferencePaper

File

Modal µ-Calculus, Model Checking and Gauß Elimination

Brinksma, H. (ed.), Mader, A. H., Cleaveland, W. R. (ed.), Larsen, K. G. (ed.), Larsen, K. G. (ed.), Margaria, T. (ed.) & Steffen, B. (ed.) May 1995 p. 72-88 17 p.

Research output: Contribution to conferencePaper

File
1994

Formal specification of Distributed Information Systems

Vis, J., Brinksma, H. & de By, R. A. 6 Jun 1994

Research output: Contribution to conferencePaper

Formal Specification of Distributed Information Systems

Vis, J., Brinksma, H., de By, R. A. & de By, R. A. Jun 1994 12 p.

Research output: Contribution to conferencePaper

File
Specification languages
Information systems
Network protocols
Formal methods
Specifications
1991

LOTOS language enhancement

Brinksma, H. 15 May 1991 p. -

Research output: Contribution to conferencePaper

1990

Agenda WP1 meeting Vilamoura

Brinksma, H. 1 Jan 1990 p. -

Research output: Contribution to conferencePaper

Management Report Task 1.4 3nd

Brinksma, H. 1 Jan 1990 p. -

Research output: Contribution to conferencePaper

Minutes T1.4 Meeting Vilamoura

Brinksma, H. 1 Jan 1990 p. -

Research output: Contribution to conferencePaper

On the initiation of work in Task 1.4

Brinksma, H. 1 Jan 1990 p. -

Research output: Contribution to conferencePaper

Presentation WP1 for first Lotosphere review

Brinksma, H. 1 Jan 1990 p. -

Research output: Contribution to conferencePaper

Presentation WP1 for second Lotosphere review

Brinksma, H. 1 Jan 1990 p. -

Research output: Contribution to conferencePaper