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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 19 Similar Profiles
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Semantics Engineering & Materials Science
Syntactics Engineering & Materials Science
Formal methods Engineering & Materials Science
Specification languages Engineering & Materials Science
Embedded software Engineering & Materials Science
Real time systems Engineering & Materials Science

Research Output 1987 2017

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 proceedingChapter

Open Access
File
Testing
Automata theory
Specifications

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 proceedingChapter

File

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 UT

File

Duurzaam onderwijs

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File

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

Brinksma, H. & van den Berg, A. 27 Nov 2009 Enschede. 46 p.

Research output: Book/ReportInaugural speech

File

Activities 1994 1999

  • 4 Oral presentation

Het Milleniumprobleem

Brinksma, H. (Invited speaker)
1 Dec 1999

Activity: Oral presentation

On the Formal Validation of a Storm Surge Barrier

Brinksma, H. (Invited speaker)
4 May 1997

Activity: Oral presentation

Trial or Trade?

Brinksma, H. (Invited speaker)
21 Mar 1996

Activity: Oral presentation