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

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

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

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

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

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

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

16 Downloads (Pure)

A formal MDA approach for mobile health systems

Akehurst, D. H. (ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., Sep 2004, p. 28-35. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

A formal MDA approach for mobile health systems

Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., 7 Sep 2004, Second European workshop on model driven architecture (MDA). Akehurst, D. H. (ed.). Canterbury, UK: University of Kent, Computing laboratory, p. 28-35

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

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

Agenda WP1 meeting Vilamoura

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

Research output: Contribution to conferencePaperAcademic

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

A Modelling Method for Embedded Systems

Brinksma, H., Mader, A. H., Marincic, J. & Wieringa, R. J., Oct 2005, 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society, p. - 4 p.

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

File
9 Downloads (Pure)

A Modelling Method for Embedded Systems

Brinksma, H., Mader, A. H., Marincic, J. & Wieringa, R. J., Jul 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. 05-33)

Research output: Book/ReportReportProfessional

Open Access
File

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

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

4 Citations (Scopus)
25 Downloads (Pure)

A process-algebraic approach to hybrid systems

Brinksma, H., Krilavicius, T. & Usenko, Y. S., Jul 2005, 16th IFAC World Congress. Pitzek, P. (ed.). IFAC, p. - 6 p.

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

File
91 Citations (Scopus)
19 Downloads (Pure)

As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P., Romijn, J. M. T. & Romijn, J., 2001, Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102. p. 493-505 13 p. (Lecture Notes in Computer Science; no. 2102).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Timed Automata
Reachability
Costs
Facet
Linearly
10 Citations (Scopus)
38 Downloads (Pure)

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, E. & Stoelinga, M., 10 Dec 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 31 p. (CTIT Technical Report Series; no. 06-24)

Research output: Book/ReportReportProfessional

File
28 Downloads (Pure)

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, H. & Stoelinga, M. I. A., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 399-414 16 p. (Lecture Notes in Computer Science; vol. 4218).

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

Open Access
File
Semantics
Specifications
Syntactics
Testing
Costs
1 Downloads (Pure)

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.

Research output: Working paperOther research output

File
Syntactics
Semantics
Specifications
Testing
Costs
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
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

15 Downloads (Pure)

A test generation framework for quiescent real-time systems

Brandan Briones, L. & Brinksma, H., Sep 2004, Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. Grabowski, J. & Nielsen, B. (eds.). Berlin: Springer, p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 3395, no. X).

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

File
19 Downloads (Pure)

A test generation framework for quiescent real-time systems - extended version

Brandan Briones, L. & Brinksma, H., Oct 2004, Enschede: INF-Centre for Telematics and Information Techn. 20 p. (CTIT technical report series; no. TR-CTIT-04-40)

Research output: Book/ReportReportProfessional

File

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

21 Downloads (Pure)

Behavioural Hybrid Process Calculus

Brinksma, H. & Krilavicius, T., 4 Oct 2005, Enschede: Formal Methods and Tools (FMT). 26 p. (CTIT technical report series; no. 1381-3625)

Research output: Book/ReportReportProfessional

File
Process Calculi
Process Algebra
Concurrent
Bisimulation
Behavioral Approach

Bètavrouw en carrière

Brinksma, H., Hendriks, J., Hulscher, S. J. M. H., Spijk, J., Visser, M. & Vreugdenhil, J. M., 2002, Utrecht: NIMF. 53 p.

Research output: Book/ReportReportOther research output

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

Cache Consistency by Design

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

Research output: Contribution to journalArticleAcademicpeer-review

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

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

34 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
20 Citations (Scopus)
18 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
28 Downloads (Pure)

Compositional Theories of Qualitative and Quantitative Behaviour

Brinksma, H., Jan 2003, 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). van der Aalst, W. & Best, E. (eds.). Heidelberg: Springer, p. 37-42 6 p. (Lecture Notes in Computer Science 2679; vol. 2679, no. XI).

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

File
121 Downloads (Pure)

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

Brinksma, E. (ed.) & Larsen, K. G. (ed.), 2002, Berlin: Springer. 626 p. (Lecture Notes in Computer Science; vol. 2404)

Research output: Book/ReportBook editingAcademic

Open Access
File
18 Downloads (Pure)

Côte de Resyste -- Automated Model Based Testing

Tretmans, G. J. & Brinksma, H., 2002, 3rd PROGRESS workshop on Embedded Systems. Schweizer, M. (ed.). Utrecht: STW Technology Foundation, p. 246-255 10 p.

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

File

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

3 Citations (Scopus)
38 Downloads (Pure)

Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma, H. & Hooman, J., 14 Mar 2008, Design, Automation and Test in Europe, 2008. DATE '08. Piscataway: IEEE Computer Society, p. 1226-1231 6 p.

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

File

Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma, H. & Hooman, J., Dec 2007, Nijmegen: Radboud University. 6 p. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; no. 7/ICIS-R07030)

Research output: Book/ReportReportProfessional

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