Research Output 1987 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: Scientific - peer-reviewChapter

Automata theory

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: ScientificChapter

Labeled transition system
81 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: Scientific - peer-reviewChapter

40 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: ScientificChapter

Markov chain
Process algebra
Stochastic process algebra
Markovian process

Enhancements of LOTOS

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

Research output: ScientificChapter


Cache consistency by design (invited paper)

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

Research output: ScientificChapter

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: ScientificChapter

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: ScientificChapter

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: ScientificChapter

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: ScientificChapter

On the coverage of Partial Validations

Brinksma, H. 1993 AMAST 1993, BCS-FACS Workshops in Computing Series. Springer Verlag, p. 247-254

Research output: ScientificChapter

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: ScientificChapter

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: ScientificChapter


From data structures to process structure

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

Research output: ScientificChapter