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

1987
690 Citations (Scopus)
21 Downloads (Pure)

Introduction to the ISO specification language LOTOS

Bolognesi, T. & Brinksma, H., 1987, In : Computer networks and ISDN systems. 14, 1, p. 25-59

Research output: Contribution to journalArticleAcademic

File
1989

On the use of specification styles in the design of distributed systems

Vissers, C. A., Diaz, J. (ed.), Scollo, G., Orejas, F. (ed.), van Sinderen, M. J. & Brinksma, H., 1989, p. 60-60. 1 p.

Research output: Contribution to conferenceAbstractOther research output

1990

A formal approach to testing distibuted systems (abstract)

Brinksma, H., 3 Oct 1990, 2nd Nordic workshop on Program Correctness. Aalborg, Denemarken, p. - 1 p.

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

Agenda WP1 meeting Vilamoura

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

A Theoretical and Methodological Framework to Conformance Testing

Alderden, R. B., Tretmans, G. J. & Brinksma, H., 30 Nov 1990, Enschede: European Commission. 180 p.

Research output: Book/ReportReportProfessional

Framedata structure to process structure

Brinksma, H., 1 Jan 1990, Brussels, Belgium : European Commission.

Research output: Other contributionOther research output

Management Report Task 1.4 3nd

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Minutes T1.4 Meeting Vilamoura

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

On the initiation of work in Task 1.4

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Presentation WP1 for first Lotosphere review

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Presentation WP1 for second Lotosphere review

Brinksma, H., 1 Jan 1990, p. -.

Research output: Contribution to conferencePaperAcademic

Refining Interfaces

Brinksma, H., Orava, F. & Jonsson, B., 3 Oct 1990. 25 p.

Research output: Contribution to conferenceAbstractAcademic

Specification styles in distributed systems design and verification

Vissers, C. A., Scollo, G., van Sinderen, M. J. & Brinksma, H., 1990, In : Memoranda informatica. 90, 06, p. - 25 p.

Research output: Contribution to journalArticleProfessional

WP1 Management Report 2nd project period

Brinksma, H., 1 Jan 1990, Brussels: European Commission. 2 p.

Research output: Book/ReportReportProfessional

WP1 Management Report 3nd project period

Brinksma, H., 1 Jan 1990, Brussels: European Commission.

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

13 Downloads (Pure)

Introduction to the PSTV-XI

Brinksma, H., Scollo, G. & Vissers, C. A., 1 Sep 1991, 1991 Editoral Computer Networks and ISDN Systems 22 (1991). Noord-Holland: Elsevier, p. 1-6 6 p.

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

File

LOTOS language enhancement

Brinksma, H., 15 May 1991, p. -.

Research output: Contribution to conferencePaperAcademic

LOTOS language enhancements

Brinksma, H., 4 Nov 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Protocol conformance testing: a formal perspective on ISO IS-9646

Tretmans, G. J., Kars, W. T. M. & Brinksma, H., 1 Sep 1991, IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam, p. - 15 p.

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

18 Citations (Scopus)

Refining Interfaces of Cummunicating Systems

Brinksma, E., Orava, F. & Jonsson, B., 8 Apr 1991, TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science; vol. 494).

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

Refining
Communication
Voice/data communication systems
80 Citations (Scopus)
48 Downloads (Pure)

Specification styles in distributed systems design and verification

Vissers, C. A., Scollo, G., van Sinderen, M. J. & Brinksma, H., Oct 1991, In : Theoretical computer science. 89, 1, p. 179-206 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

What is the method in formal methods

Brinksma, H., 19 Nov 1991, FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia, p. - 20 p.

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

1992
129 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

18 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

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

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

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, H., Katoen, J. P., Langerak, R. & Latella, D., 1994, In : Memoranda informatica. 39, p. - 28 p.

Research output: Contribution to journalArticleProfessional

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