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

2001

Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

Belinfante, A., Brinksma, H., Feenstra, J., Tretmans, G. J. & de Vries, R. G., 2001, Mobile Communications in Perspective -- 7th Annual CTIT Workshop. Heemstra de Groot, S. M. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 49-51 3 p.

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

Design of a PLC Control Program for a Batch Plant

Mader, A. H., Brinksma, H., Wupper, H. & Bauer, N., 2001, In : European journal of control. 7, 4, p. 416-439 23 p.

Research output: Contribution to journalArticleAcademic

Design of a PLC Control Program for a Batch Plant, VHS Case Study 1

Brinksma, H., Mader, A. H., Wupper, H. & Bauer, N., 2001, In : European journal of control. 7, 4, p. - 439 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
49 Downloads (Pure)

Design of a PLC Control Program for a Batch Plant - VHS Case Study 1

Mader, A. H., Brinksma, H., Wupper, H. & Bauer, N., 2001, In : European journal of control. 7, 4, p. 416-439 24 p., 10.3166/ejc.7.416-439.

Research output: Contribution to journalArticleAcademicpeer-review

File

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P., 2001, In : Bits en chips. 3, 4, p. 31-34 4 p.

Research output: Contribution to journalArticleAcademic

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P., 2001, In : Bits en chips. 3, 4, p. - 4 p.

Research output: Contribution to journalArticleProfessional

43 Downloads (Pure)

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Brinksma, H. (ed.), Hermanns, H. (ed.) & Katoen, J. P. (ed.), Aug 2001, Berlin: Springer. 430 p. (Lecture Notes in Computer Science; vol. 2090)

Research output: Book/ReportBook editingAcademic

File
9 Downloads (Pure)

Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001

Brinksma, H. (ed.) & Tretmans, G. J. (ed.), 25 Aug 2001, Arhus, Denmark: BRICS, University of Aarhus. 156 p.

Research output: Book/ReportBook editingAcademic

File
42 Citations (Scopus)

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, p. 183-231 49 p. (Lecture Notes in Computer Science; vol. 2090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Process Algebra
Markov chain
Algebra
Stochastic Process Algebra
Markovian Process

Testing Transition Systems: An Annotated Bibliography

Brinksma, H. & Tretmans, G. J., 2001, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. Cassez, F., Jard, C., Rozoy, B. & Ryan, M. D. (eds.). Berlin: Springer, p. 187-195 9 p. (Lecture Notes in Computer Science; vol. 2067).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

11 Downloads (Pure)

Towards Effective Model Checking

Ruys, T. C., 22 Mar 2001, Enschede: Universiteit Twente. 253 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Computer program listings

Verification is experimentation!

Brinksma, H., 2001, In : International journal on software tools for technology transfer. 3, 2, p. - 111 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Verification is experimentation!

Brinksma, H., 2001, In : International journal on software tools for technology transfer. 3, 2, p. 107-217 111 p., 10.1007/s100090100050.

Research output: Contribution to journalArticleAcademicpeer-review

2000

Model Checking: Verification or Debugging?

Ruys, T. C. & Brinksma, H., 22 Feb 2000, Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA, p. 3009-3015 7 p.

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

20 Downloads (Pure)

Model Checking: Verification or Debugging?

Ruys, T. C. & Brinksma, H., 2000, p. 3009-3015. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
36 Downloads (Pure)

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

Bowman, H., Derrick, J. & Brinksma, H., 2000, In : IEEE transactions on software engineering. 26, 7, p. 577-578

Research output: Contribution to journalArticleAcademicpeer-review

File
8 Downloads (Pure)

Stochastic Process Algebras: Linking Process Descriptions with Performance

Brinksma, H., d' Argenio, P. R. & Katoen, J. P., 2000, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 4, p. 34-42

Research output: Contribution to journalArticleProfessional

File

Testing Transition Systems: An Annotated Bibliography

Brinksma, H. & Tretmans, G. J., 21 Feb 2000, MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France, p. 44-50 7 p.

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

20 Citations (Scopus)
39 Downloads (Pure)

Verification and Optimization of a PLC Control Schedule

Brinksma, H. & Mader, A. H., Aug 2000, 7th Int. SPIN Workshop on Model Checking of Software. Havelund, K., Penix, J. & Visser, W. (eds.). Berlin: Springer, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 1885).

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

File
1 Citation (Scopus)

Verification is Experimentation!

Brinksma, H., 21 Feb 2000, CONCUR 2000 - Concurrency Theory. University Park, PA, USA, p. 17-24 8 p.

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

Verification Is Experimentation!

Brinksma, H., 2000, p. 17-24. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

1999
10 Citations (Scopus)

A complete finite prefix for process algebra

Langerak, R. & Brinksma, H., 14 Feb 1999, Proceedings CAV'99, LNCS 1663. Trento, Italy, p. 184-195 12 p.

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

12 Downloads (Pure)

Algebras and Automata for Timed and Stochastic Systems

d' Argenio, P. R., 1999, Enschede: Twente University Press (TUP). 342 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
14 Downloads (Pure)

Analysing Industrial Protocols with Formal Methods

Romijn, J. M. T. & Romijn, J. M. T., 15 Oct 1999, Enschede: Universiteit Twente. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation externalAcademic

File

Cache Consistency by Design

Brinksma, H., 1999, In : Distributed computing. '99, 12, p. 61-74 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

Cache Consistency by Design

Brinksma, H., Jun 1999, In : Distributed computing. 12, 2/3, p. 552-565 14 p., 10.1007/s004460050058.

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

Formal Methods for Conformance Testing: Theory Can Be Practical

Brinksma, H., 9 Jul 1999, Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633. Trento, Italy, p. 44-46 3 p.

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

Formal Methods for Conformance Testing: Theory Can Be Practical!

Brinksma, H., Halbwachs, N. (ed.) & Peled, D. (ed.), Jul 1999, p. 44-46. 3 p.

Research output: Contribution to conferencePaperAcademicpeer-review

16 Citations (Scopus)
23 Downloads (Pure)

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., Jan 1999, Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos: IEEE, p. 104-114 11 p.

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

File

Validatietechnieken houden complexe systemen hanteerbaar

Brinksma, H. & Groote, J. F., 1999, In : Automatisering gids. '99, 7, p. 19-19 1 p.

Research output: Contribution to journalArticleProfessional

1998

A Compositional Approach to Generalised semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 1998, p. 391-397. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

A Compositional Approach to Generalised Semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 4th International Workshop on Discrete Event Systems (WODES'98). Gagliari, Italy, p. 391-397 7 p.

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

14 Citations (Scopus)

A consistent causality-based view on a timed process algebra including urgent interactions

Katoen, J-P., Langerak, R., Brinksma, E., Latella, D. & Bolognesi, T., 1998, In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

Process Algebra
Causality
Algebra
Event Structures
Interleaving

An Algebraic Approach to the Specification of Stochastic Systems

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., Jun 1998, Enschede: Centre for Telematics and Information Technology (CTIT).

Research output: Book/ReportReportOther research output

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 8 Feb 1998, IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, p. 126-147 22 p.

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

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

d' Argenio, P. R., Gries, D. (ed.), de Roever, W. P. (ed.), Katoen, J. P. & Brinksma, H., Jun 1998, p. 126-147. 22 p.

Research output: Contribution to conferencePaperAcademicpeer-review

16 Citations (Scopus)

Experience with Literate Programming in the Modelling and Validation of Systems

Ruys, T. C. & Brinksma, H., 1998, Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98. Steffen, B. (ed.). Berlin: Springer, p. 393-408 16 p. (Lecture Notes in Computer Science; vol. 1384).

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

Factorized Test Generation for Multi Input/Output Transition Systems

Brinksma, H., Petrenko, A. (ed.), Heerink, A. W., Yevtushenko, N. (ed.) & Tretmans, G. J., 1998, p. 67-82. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

General Purpose Discrete Event Simulation

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 6th Internation Workshop on Process Algebra and Performance Modeling (PAPM'98). Nice, France, p. 85-102 18 p.

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

23 Downloads (Pure)

Ins and Outs in Refusal Testing

Heerink, A. W., 8 May 1998, Enschede: Universiteit Twente. 188 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
12 Citations (Scopus)

Partial-order models for quantitative extensions of LOTOS

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1998, In : Computer networks and ISDN systems. 30, 9/10, p. 925-950 26 p., 10.1016/S0169-7552(97)00134-7.

Research output: Contribution to journalArticleAcademicpeer-review

1997
25 Downloads (Pure)

A Stochastic Automata Model and its Algebraic Approach

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 1997, 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97). Enschede: Centre for Telematics and Information Technology (CTIT), p. 1-16 16 p. (CTIT Technical Report Series; no. 97-14).

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

File

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P., 2 Jul 1997, Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag. Warsaw, Poland, p. - 15 p.

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

20 Citations (Scopus)
17 Downloads (Pure)

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P., Apr 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)

Research output: Book/ReportReportProfessional

Open Access
File
33 Downloads (Pure)

Causal ambiguity and partial orders in event structures

Langerak, R., Mazurkiewizc, A. W. (ed.), Brinksma, H., Winkowski, J. (ed.) & Katoen, J. P., 1997, p. 317-332. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Developments in testing transition systems

Brinksma, H., Heerink, A. W. & Tretmans, G. J., 30 Sep 1997, Proceedings 10th IFIP International. Cheju Island, Korea, p. - 24 p.

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

23 Downloads (Pure)

Developments in Testing Transition Systems

Brinksma, H., Kim, M. (ed.), Kang, S. (ed.), Heerink, A. W., Hong, K. (ed.) & Tretmans, G. J., 1997, p. 143-166. 24 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Partial Order Models for Quantitative Extensions of LOTOS (to appear)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1997, In : Computer networks and ISDN systems. p. - 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

Process Algebra and Performance Modelling

Brinksma, H. & Nymeyer, A., Jun 1997, Enschede: Centre for Telematics and Information Technology (CTIT).

Research output: Book/ReportReportOther research output

Process Algebra and Performance Modelling

Brinksma, H. & Nymeyer, A., 1997, Enschede: University of Twente. 208 p. (CTIT Technical Report series; no. 97-14)

Research output: Book/ReportReportProfessional