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
View full fingerprint

  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    196 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 proceeding › Chapter › Academic

    File
    382 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    35 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/Report › Inaugural speech › Other 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 proceeding › Conference contribution › Academic › peer-review

    File
    3 Citations (Scopus)
    162 Downloads (Pure)
View all 147 research outputs
  • 32 Oral presentation
  • 6 Invited talk
View all 38 activities