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

2006
10 Citations

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

File
2005

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

Open Access
File

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

File
11 Citations

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

File
4 Citations

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

File

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

File
2004

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

File

On Verification Modelling of Embedded Systems

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

Research output: Book/ReportReport

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

1997
18 Citations

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

Open Access
File

Process Algebra and Performance Modelling

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

Research output: Book/ReportReport

Process Algebra and Performance Modelling

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

Research output: Book/ReportReport

1996
11 Citations

A Calculus for Timed Automata

d' Argenio, P. R. & Brinksma, H. 1996 Enschede, the Netherlands. (Memoranda Informatica; no. 96-13)

Research output: Book/ReportReport

File
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/ReportReport

1992

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

Open Access
File

Proceedings third Lotosphere workshop (3 volumes)

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

Research output: Book/ReportReport

Tussen droom en daad, inaugurele rede

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

Research output: Book/ReportReport

1991

LOTOS language enhancements

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

Research output: Book/ReportReport

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

WP1 Management Report 2nd project period

Brinksma, H. 1 Jan 1990 Brussels: European Commission. 2 p.

Research output: Book/ReportReport

WP1 Management Report 3nd project period

Brinksma, H. 1 Jan 1990 Brussels: European Commission.

Research output: Book/ReportReport