No photo of Ed Brinksma

Ed Brinksma

prof.dr.

1987 …2017

Research activity per year

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

Fingerprint

Dive into the research topics where Ed Brinksma is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • 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
    201 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, 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
    408 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
    40 Downloads (Pure)
  • 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
    116 Downloads (Pure)
  • 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, p. 1226-1231 6 p.

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

    File
    3 Citations (Scopus)
    163 Downloads (Pure)