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
14 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2000
20 Downloads (Pure)

Model Checking: Verification or Debugging?

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

Research output: Contribution to conferencePaperAcademicpeer-review

File

Verification Is Experimentation!

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

Research output: Contribution to conferencePaperAcademicpeer-review

1999

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 conferencePaperAcademicpeer-review

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 conferencePaperAcademicpeer-review

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 conferencePaperAcademicpeer-review

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 conferencePaperAcademicpeer-review

1997
22 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
22 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
19 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
1996
11 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
17 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
17 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
1995
21 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
12 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
1994

Formal specification of Distributed Information Systems

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

Research output: Contribution to conferencePaperAcademic

9 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Specification languages
Information systems
Network protocols
Formal methods
Specifications
1991

LOTOS language enhancement

Brinksma, H., 15 May 1991, p. -.

Research output: Contribution to conferencePaperAcademic

1990

Agenda WP1 meeting Vilamoura

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Management Report Task 1.4 3nd

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Minutes T1.4 Meeting Vilamoura

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

On the initiation of work in Task 1.4

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Presentation WP1 for first Lotosphere review

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Presentation WP1 for second Lotosphere review

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic