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)
50 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
11 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
24 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)
72 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)
46 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
9 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
22 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
15 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)
36 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., 1997, Enschede: University of Twente. 208 p. (CTIT Technical Report series; no. 97-14)

Research output: Book/ReportReportProfessional

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

1996
11 Citations (Scopus)
23 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., Langerak, R., Brinksma, E., Latella, D. & Bolognesi, T., 1996, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. 96-03)

Research output: Book/ReportReportProfessional

1995

A Stochastic Causality-based Process Algebra

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1995, Enschede: University of Twente. 14 p. (Memoranda Informatica; no. 95-34)(TIOS; no. 95-13)

Research output: Book/ReportReportAcademic

Cache consistency by design

Brinksma, E., 1995, Enschede: University of Twente. 23 p. (Memoranda Informatica; no. 95-17)(TIOS; no. 95-08)

Research output: Book/ReportReportAcademic

Functionality decomposition by compositional correctness preserving transformation

Brinksma, E. & Langerak, R., 1995, Enschede: University of Twente. 14 p. (Memoranda Informatica; no. 95-13)(TIOS; no. 95-07)

Research output: Book/ReportReportAcademic

1994
2 Downloads (Pure)

Performance analysis and true concurrency semantics

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1994, Enschede: University of Twente. 28 p. (Memoranda informatica; no. 94-39)(Memorandum TIOS; no. 94-10)

Research output: Book/ReportReportProfessional

Open Access
File
Semantics
Specification languages
Markov processes
Explosions
Specifications

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

1993

Goal-driven LOTOS execution

Brinksma, E. & Eertink, E. H., 1993, Enschede: University of Twente. 24 p. (Memoranda Informatica; no. 93-04)(Memorandum TIOS; no. 93-02)

Research output: Book/ReportReportAcademic

On asynchronous testing

Verhaard, L., Tretmans, J., Kars, P. & Brinksma, E., 1993, Enschede: University of Twente. 23 p. (Memoranda Informatica; no. 93-03)(Memorandum TIOS; no. 93-01)

Research output: Book/ReportReportAcademic

1992

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