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

File
2000

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

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

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

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

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

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

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

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

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

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

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

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