No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

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

Fingerprint Dive into the research topics where Hendrik Brinksma is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Testing Engineering & Materials Science
Automata theory Engineering & Materials Science
Specifications Engineering & Materials Science

Research Output 1987 2017

43 Downloads (Pure)

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Testing
Automata theory
Specifications
76 Downloads (Pure)

Model-Based Testing

Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS Press, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
56 Downloads (Pure)

On changing models in Model-Based Testing

van der Bijl, H. M., 12 May 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 231 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Duurzaam onderwijs

Brinksma, H., 26 Nov 2010, Redevoeringen 49ste Dies Natalis: Duurzame wetenschap. Brinksma, H. & Bressers, J. T. A. (eds.). Enschede: University of Twente, p. 4-19 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File

Redevoeringen dies natalis : 48ste dies natalis, 27-11-2009

Brinksma, H. & van den Berg, A., 27 Nov 2009, Enschede: University of Twente. 46 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File

Activities 1991 2000

  • 11 Oral presentation

Model Checking: Verification or Debugging?

T.C. Ruys (Keynote speaker), Hendrik Brinksma (Keynote speaker)
27 Jun 2000

Activity: Talk or presentationOral presentation

Gebruik van Formele Methoden in de praktijk

Hendrik Brinksma (Invited speaker)
27 Apr 1999

Activity: Talk or presentationOral presentation

Het Milleniumprobleem

Hendrik Brinksma (Invited speaker)
1 Dec 1999

Activity: Talk or presentationOral presentation

On the Coverage of Partial Validations

Ed Brinksma (Keynote speaker)
10 Sep 1998

Activity: Talk or presentationOral presentation

On the Formal Validation of a Storm Surge Barrier

Hendrik Brinksma (Invited speaker)
4 May 1997

Activity: Talk or presentationOral presentation