No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

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

Research Output 1987 2017

Filter
Chapter
2017
39 Downloads (Pure)

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
Testing
Automata theory
Specifications
2011
73 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 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
2010
6 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
2001
91 Citations (Scopus)
20 Downloads (Pure)

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
Timed Automata
Reachability
Costs
Facet
Linearly
42 Citations (Scopus)

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

Process Algebra
Markov chain
Algebra
Stochastic Process Algebra
Markovian Process
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 paper)

Brinksma, H., 1994, Protocol specification, testing and verification XIV. Chapman & Hall, p. 53-67

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
4 Citations (Scopus)

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, H., Langerak, R. & Broekroelofs, P. J., 1993, Computer Aided Verification, Lecture Notes in Computer Science 679. Springer, p. 371-384 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

Goal-driven LOTOS execution

Brinksma, H. & Eertink, E. H., 1993, Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland, p. 45-60

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

19 Citations (Scopus)

On asynchronous testing

Verhaard, L., Tretmans, G. J., Kars, W. T. M. & Brinksma, H., 1993, Protocol Test Systems V.. North Holland, p. - 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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

Specifications
Formal methods
Cost functions
Hardware

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
3 Citations (Scopus)

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

1991

From data structures to process structure

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic