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.

  • 2 Similar Profiles
Consumer electronics Engineering & Materials Science
Embedded systems Engineering & Materials Science
Costs Engineering & Materials Science
Labeled transition system Mathematics
Testing Engineering & Materials Science
Reformulation Mathematics
Batch Mathematics
Industry 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: Scientific - peer-reviewChapter

Automata theory

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: ScientificChapter

Labeled transition system

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: ScientificPhD Thesis - Research UT, graduation UT

Redevoeringen dies natalis : 49ste dies natalis, 26-11-2010

Brinksma, H. & Bressers, J. T. A. 26 Nov 2010 Enschede. 43 p.

Research output: Other research outputInaugural speech

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

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

Research output: Other research outputInaugural speech

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