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

Process-algebraic Transformations in Context

Kars, W. T. M., 6 Jun 1997, Enschede: University of Twente. 245 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

23 Downloads (Pure)

The bounded retransmission protocol must be on time!

Brinksma, H. (ed.), d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J., 1997, p. 416-431. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

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

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

11 Citations (Scopus)
17 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
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., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T., 1996, University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p.

Research output: Book/ReportReportProfessional

23 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

File

Applications of Fair Testing

Brinksma, H., Rensink, A. & Vogler, W., 9 Oct 1996, Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, p. 145-160 16 p.

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

28 Citations (Scopus)

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

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

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

On Specifying Real-Time Systems in a Causality-Based Setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H., 13 Sep 1996, Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, p. 385-404 20 p.

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

37 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

File
17 Downloads (Pure)

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R., 1996, p. 21-49. 29 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Stochastic Simulation of Event Structures

Katoen, J. P., Brinksma, H., Latella, D. & Langerak, R., 31 Jul 1996, Proceedings of the 4th Workshop on Process Algebra and Performance Modelling (PAPM'96). Universita di Torino, Italy, p. 21-40 20 p.

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

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
25 Downloads (Pure)

A stochastic causality-based process algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1995, In : Computer journal. 38, 7, p. 552-565 14 p., 10.1093/comjnl/38.7.552.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Algebra
Distribution functions
Semantics

A Stochastic Causality-based Process Algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1995, In : Memoranda informatica. 34, p. - 14 p.

Research output: Contribution to journalArticleAcademic

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. p. 313-327

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

21 Downloads (Pure)

Fair Testing

Lee, I. (ed.), Brinksma, H., Rensink, A., Smolka, S. A. (ed.) & Vogler, W., 1995, p. 313-327. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Functionality Decomposition by Compositional Correctness Preserving Transformation

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

Research output: Contribution to journalArticleAcademicpeer-review

45 Downloads (Pure)

Functionality Decomposition by Compositional Correctness Preserving Transformation

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

Research output: Contribution to journalArticleAcademicpeer-review

File
13 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)
13 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, 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

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, 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

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