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 proceedingChapter

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 proceedingChapter

File
2010

Duurzaam onderwijs

Brinksma, H. 26 Nov 2010 Redevoeringen 49ste Dies Natalis: Duurzame wetenschap. Brinksma, H. & Bressers, J. T. A. (eds.). Enschede, p. 4-19 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
2001
86 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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

1991

From data structures to process structure

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

Research output: Chapter in Book/Report/Conference proceedingChapter