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

Filter
Report
2007

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

2006
10 Citations (Scopus)
43 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
2005
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
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
13 Citations (Scopus)
56 Downloads (Pure)

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Jones, V. M., Rensink, A. & Brinksma, H., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-05-66)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)
38 Downloads (Pure)

Scheduling Lacquer Production by Reachability Analysis -- A Case Study

Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Feb 2005, Enschede: Distributed and Embedded Security (DIES). 6 p. (CTIT Technical Report Series; no. TR-CTIT-05-05)

Research output: Book/ReportReportProfessional

File
7 Downloads (Pure)

Testing multi input-output real-time systems (Extended Version)

Brandan Briones, L. & Brinksma, H., Sep 2005, Enschede: Formal Methods and Tools (FMT). 20 p. (CTIT Technical Report Series; no. TR-CTIT-05-40)

Research output: Book/ReportReportProfessional

File
2004
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
12 Downloads (Pure)

On Verification Modelling of Embedded Systems

Brinksma, H. & Mader, A. H., Jan 2004, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. 04-03)

Research output: Book/ReportReportProfessional

Open Access
File
2002

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

1998

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

1997
20 Citations (Scopus)
25 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

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

1996
11 Citations (Scopus)
18 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

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

1994

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

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

Proceedings third Lotosphere workshop (3 volumes)

Bolognesi, T., Brinksma, H. & Vissers, C. A., 1992, Pisa: Geen opgaven.

Research output: Book/ReportReportProfessional

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

Tussen droom en daad, inaugurele rede

Brinksma, H., 1992, Enschede: Universiteit Twente. 24 p.

Research output: Book/ReportReportProfessional

1991

LOTOS language enhancements

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

Research output: Book/ReportReportProfessional

1990

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

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