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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente
Brinksma, E., Langerak, R., Latella, D. & Massink, M., 18 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Springer, p. 297-308 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
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 AccessFile255 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
File682 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 AccessFile72 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 AccessFile167 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
-
Model Checking: Verification or Debugging?
Ruys, T. C. (Keynote speaker) & Brinksma, E. (Keynote speaker)
27 Jun 2000Activity: Talk or presentation › Oral presentation
-
Formal Methods for Conformance Testing
Brinksma, H. (Invited speaker)
28 Aug 2000Activity: Talk or presentation › Invited talk