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

1992

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

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)
47 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

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

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

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