Hendrik Brinksma

prof.dr.

1987 …2017

Research output per year

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.

Research Output

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
  • 56 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
    94 Downloads (Pure)

    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

    Dependability for high-tech systems: an industry-as-laboratory approach

    Brinksma, H. & Hooman, J., 14 Mar 2008, Design, Automation and Test in Europe, 2008. DATE '08. Piscataway: IEEE Computer Society, p. 1226-1231 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    3 Citations (Scopus)
    61 Downloads (Pure)

    Activities

    • 21 Oral presentation
    • 1 Invited talk

    Model Checking: Verification or Debugging?

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

    Activity: Talk or presentationOral presentation

    Formal Methods for Conformance Testing

    Hendrik Brinksma (Invited speaker)
    17 Apr 2000

    Activity: Talk or presentationInvited talk

    Advances in Markovian and Non-Markovian Process Algebra

    E. Brinksma (Invited speaker), H. Hermanns (Invited speaker)
    7 Sep 1999

    Activity: Talk or presentationOral presentation

    Gebruik van Formele Methoden in de praktijk

    Hendrik Brinksma (Invited speaker)
    27 Apr 1999

    Activity: Talk or presentationOral presentation

    Stochastic Process Algebra

    Ed Brinksma (Invited speaker)
    9 Apr 1999

    Activity: Talk or presentationOral presentation