Hendrik Brinksma

prof.dr.

1987 …2017

Research activity per year

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

Search results

  • 2017

    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
    113 Downloads (Pure)
  • 2011

    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
    122 Downloads (Pure)
  • 2010

    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
    17 Downloads (Pure)
  • 2001

    As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata

    Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P., Romijn, J. M. T. & Romijn, J., 2001, Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102. p. 493-505 13 p. (Lecture Notes in Computer Science; no. 2102).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    File
    105 Citations (Scopus)
    41 Downloads (Pure)
  • Process Algebra and Markov Chains

    Brinksma, H. & Hermanns, H., Jul 2001, Lectures on Formal Methods and Performance Analysis. Brinksma, H., Hermanns, H. & Katoen, J. P. (eds.). Berlin: Springer, p. 183-231 49 p. (Lecture Notes in Computer Science; vol. 2090).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    46 Citations (Scopus)
  • 1995

    Enhancements of LOTOS

    Brinksma, H. & Leih, G., 1995, LOTOSphere, software Development with LOTOS. Kluwer Academic Publishers, p. 453-466

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 1994

    Cache consistency by design (Invited Address I)

    Brinksma, E., 1994, Protocol Specification, Testing and Verification XIV. Vuong, S. T. & Chanson, S. T. (eds.). London, UK: Chapman & Hall, p. 53-67 (IFIP Advances in Information and Communication Technology).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Performance analysis and true concurrency semantics

    Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1994, Theories and experiences for real time system development. World Scientific, p. 309-337

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 1993

    Functionality decomposition by compositional correctness preserving transformation

    Brinksma, E., Langerak, R. & Broekroelofs, P. J., 1993, Computer Aided Verification: 5th International Conference, CAV '93, Elounda, Greece, June 28–July 1, 1993. Proceedings. Courcoubetis, C. (ed.). Berlin, Heidelberg: Springer, p. 371-384 14 p. (Lecture Notes in Computer Science; vol. 679).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    5 Citations (Scopus)
    60 Downloads (Pure)
  • Goal-driven LOTOS execution

    Brinksma, E. & Eertink, H., 1993, Protocol Specification, Testing and Verification XIII: Proceedings IFIP TC6/WG6.1 Thirteenth International Symposium, Liège, Belgium, May 25-28, 1993. North Holland, p. 45-60 (IFIP Transactions Series; no. C-16).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)
  • On asynchronous testing

    Verhaard, L., Tretmans, J., Kars, P. & Brinksma, E., 1993, Protocol Test Systems V: Proceedings IFIP TC6/WG6.1 Fifth International Workshop, Montreal, Quebec, Canada, September 28-30, 1992. von Bochmann, G., Dssouli, R. & Das, A. (eds.). North-Holland Publishing Company, p. 55-66 13 p. (IFIP transactions. C, Communication systems; no. C-11).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    22 Citations (Scopus)
  • On the coverage of Partial Validations

    Brinksma, E., 1993, Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference, University of Twente, Enschede, The Netherlands 21–25 June 1993. London: Springer, p. 245-252 (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • On the Coverage of Partial Validations

    Brinksma, E., 1993, Actes du Colloque Francophone sur l'Ingenerie des Protocoles. Editions Hermes, p. 359-364

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 1992

    On the Uniqueness of fixpoints modulo observation congruence

    Brinksma, H., 1992, CONCUR '92, Lecture notes in Computer Science 630. Springer, p. 47-61

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    3 Citations (Scopus)
  • 1991

    From data structures to process structure

    Brinksma, H., 1991, Computer Aided Verification. p. - 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic