Research output per year
Research output per year
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 proceeding › Chapter › Academic › peer-review
Open AccessFile233 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
File548 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 AccessFile50 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 AccessFile156 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
File3 Citations (Scopus)202 Downloads (Pure)
-
-
Model Based Conformance Testing
Brinksma, H. (Keynote speaker)
25 Aug 2004Activity: Talk or presentation › Invited talk
-
Verification in Practice
Brinksma, H. (Speaker)
30 Nov 2001Activity: Talk or presentation › Oral presentation
-
Formal Methods for Conformance Testing
Brinksma, H. (Invited speaker)
17 Apr 2000Activity: Talk or presentation › Invited talk
-
Formal Methods for Conformance Testing
Brinksma, H. (Invited speaker)
2 Nov 2000Activity: Talk or presentation › Invited talk