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

1997

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, H., 2 Apr 1997, TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede, p. - 431 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1996
11 Citations (Scopus)
18 Downloads (Pure)

A Calculus for Timed Automata

d' Argenio, P. R. & Brinksma, H., 1996, Enschede, the Netherlands: University of Twente. (Memoranda Informatica; no. 96-13)

Research output: Book/ReportReportOther research output

File

A Calculus for Timed Automata

d' Argenio, P. R. & Brinksma, H., 9 Sep 1996, Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden, p. 110-129 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Downloads (Pure)

A Calculus for Timed Automata (Extended Abstract)

d' Argenio, P. R., Jonsson, B. (ed.), Parrow, J. (ed.) & Brinksma, H., 1996, p. 110-129. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

A Consistent Causality-Based View on a Timed Process Algebra

Katoen, J-P., Latella, D., Langerak, R., Brinksma, E. & Bolognesi, T., 18 Nov 1996, Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, p. 3-21 19 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions

Katoen, J-P., Langerak, R., Brinksma, E., Latella, D. & Bolognesi, T., 1996, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. 96-03)

Research output: Book/ReportReportProfessional

19 Downloads (Pure)

Applications of Fair Testing

Gotzhein, R. (ed.), Brinksma, H., Bredereke, J. (ed.), Rensink, A. & Vogler, W., 1996, p. 145-160. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
28 Citations (Scopus)

On specifying real-time systems in a causality-based setting

Katoen, J-P., Langerak, R., Latella, D. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin, Heidelberg: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
semantics
formalism
messages
algebra
buffers
47 Downloads (Pure)

Quantitative and Qualitative Extensions of Event Structures

Katoen, J-P., 1996, Enschede: University of Twente. 303 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
method
analysis
18 Downloads (Pure)

Stochastic simulation of event structures

Katoen, J-P., Brinksma, E., Latella, D. & Langerak, R., 1996, Proceedings of the Fourth Workshop on Process Algebra and Performance Modelling: Torino, 4-5 July 1996. Ribaudo, M. (ed.). CLUT, p. 21-49 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

Using Formal Methods: if you're so smart, how come you ain't rich?

Brinksma, H., 9 Oct 1996, Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, p. 333-333 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Validation in Context

Heerink, A. W. & Brinksma, H., 1 Jun 1996, Proceedings of Protocol Specification, Testing and Verification XV, IFIP WG6.1. Warsaw, Poland, p. 221-236 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1995
33 Downloads (Pure)

A stochastic causality-based process algebra

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1995, In : Computer journal. 38, 7, p. 552-565 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Algebra
Distribution functions
Semantics

A Stochastic Causality-based Process Algebra

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1995, Enschede: University of Twente. 14 p. (Memoranda Informatica; no. 95-34)(TIOS; no. 95-13)

Research output: Book/ReportReportAcademic

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

Fair Testing

Brinksma, H., Rensink, A. & Vogler, W., 8 Feb 1995, CONCUR'95, Concurrency Theory, Lecture Notes in Computer Science 962. Lee, I. & Smolka, S. A. (eds.). p. 313-327 (Lecture notes in computer science; vol. 962).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
15 Downloads (Pure)

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, E. & Langerak, R., 1995, In : South African computer journal. 13, p. 2-13 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
functionality
Decomposition
Specifications
Specification languages
Synchronization
18 Downloads (Pure)

Modal µ-Calculus, Model Checking and Gauß Elimination

Brinksma, H. (ed.), Mader, A. H., Cleaveland, W. R. (ed.), Larsen, K. G. (ed.), Larsen, K. G. (ed.), Margaria, T. (ed.) & Steffen, B. (ed.), May 1995, p. 72-88. 17 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1 Citation (Scopus)
20 Downloads (Pure)

Performance and formal design: a process algebraic perspective

Brinksma, H., 3 Oct 1995, Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A.: IEEE, p. 124-125

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Formal methods
Random processes
Petri nets
Merging
Algebra

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, H., Cleaveland, W. R., Margaria, T., Steffen, B. & Larsen, K. G., 1995, Geen adressering: Springer. 289 p.

Research output: Book/ReportBookAcademic

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

Formal specification of Distributed Information Systems

Vis, J., Brinksma, H. & de By, R. A., 6 Jun 1994.

Research output: Contribution to conferencePaperAcademic

9 Downloads (Pure)

Formal Specification of Distributed Information Systems

Vis, J., Brinksma, H., de By, R. A. & de By, R. A., Jun 1994. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Specification languages
Information systems
Network protocols
Formal methods
Specifications

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

Performance analysis and true concurrency semantics

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1994, Enschede: University of Twente. 28 p. (Memoranda informatica; no. 94-39)(Memorandum TIOS; no. 94-10)

Research output: Book/ReportReportProfessional

Open Access
File
Semantics
Specification languages
Markov processes
Explosions
Specifications

Performance analysis and true concurrency semantics (extended abstract)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1 Dec 1994, 2nd Workshop on process algebras and performance modelling. Erlangen, p. 157-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Simulation techniques for the validation of lotos specifications

Eertink, E. H., 24 Mar 1994, Enschede: Universiteit Twente. 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Specification of Systems: Theory in Search of Practice

Brinksma, H., Parrow, J., Rensink, A. & Heymer, S., Sep 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 21 p.

Research output: Book/ReportReportOther research output

2 Downloads (Pure)

Verifying Sequentially Consistent Memory

Brinksma, E., Davies, J., Gerth, R., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J., 1994, Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p. (Computing Science Report; no. 94/44)

Research output: Book/ReportBookProfessional

Open Access
File
Data storage equipment
Memory architecture
Network protocols
1993
4 Citations (Scopus)

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
Decomposition
Specifications
Synchronization
Specification languages
Network protocols
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

International Workshop on Protocol Test Systems VI

Brinksma, H., 29 Sep 1993, Pau

Research output: Other contributionOther research output

Models and Methods for Action Refinement

Rensink, A., 1993, Enschede: Universiteit Twente. 319 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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

Protocol Specification, Testing and Verification XIII

Brinksma, H., 27 May 1993, Luik - Belgie

Research output: Other contributionOther research output

Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen

Brinksma, H., 1993, In : Informatie. 35, 9, p. 20-30

Research output: Contribution to journalArticleAcademicpeer-review

1992
138 Downloads (Pure)

A Formal Approach to Conformance Testing

Tretmans, G. J., 1992, Enschede: Universiteit Twente. 267 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2 Citations (Scopus)

From data Structure to Process Structure

Brinksma, H. & Kars, W. T. M., 1992, In : Memoranda informatica. 92, 39, p. - 30 p.

Research output: Contribution to journalArticleProfessional

25 Downloads (Pure)

LOTOS specification style for OSI

Brinksma, H. (ed.), Turner, K. J., Bolognesi, T. (ed.), van Sinderen, M. J. & Vissers, C. A. (ed.), 1992, Pisa: Lotosphere workshop. 22 p.

Research output: Book/ReportReportProfessional

Open Access
File

On the Design and Implementation of Distributed Systems Using LOTOS

Brinksma, H., 15 Apr 1992, Proceedings 10th SBRC. Recife, Brazilie, p. - 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

Proceedings third Lotosphere workshop (3 volumes)

Bolognesi, T., Brinksma, H. & Vissers, C. A., 1992, Pisa: Geen opgaven.

Research output: Book/ReportReportProfessional

Protocol Test Systems, IV.

Kroon, J., Heijink, R. J. & Brinksma, H., 1992, Amsterdam: North Holland. 310 p.

Research output: Book/ReportBookAcademic

Task 1.4 Deliverable on Language Enhancements, Lotosphere final deliverable

Brinksma, H., 1992, Enschede: Lo/WP/T1.4/N0016/V3. 134 p.

Research output: Book/ReportReportProfessional

Transformations and semantics for LOTOS

Langerak, R., 30 Nov 1992, Enschede: Universiteit Twente. 170 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Tussen droom en daad, inaugurele rede

Brinksma, H., 1992, Enschede: Universiteit Twente. 24 p.

Research output: Book/ReportReportProfessional

1991

A framework for test selection

Brinksma, H., Tretmans, G. J. & Verhaard, L., 17 Jun 1991, PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden, p. 233-248 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

From data structures to process structure

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic