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

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

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

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
88 Citations

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
41 Citations

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 Verlag, 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

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 Verlag, p. 371-384 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citations

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

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, H., 1993, AMAST 1993, BCS-FACS Workshops in Computing Series. Springer Verlag, p. 247-254

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

On the Coverage of Partial Validations

Brinksma, H., 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

On the Uniqueness of fixpoints modulo observation congruence

Brinksma, H., 1992, CONCUR '92, Lecture notes in Computer Science 630. Springer Verlag, 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