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.

Research output: ProfessionalReport

Consumer electronics
Embedded systems
Costs
Industry
2006
10 Citations

A Semantic Framework for Test Coverage

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

Research output: ProfessionalReport

Specifications
Syntactics
Testing
Semantics
Costs

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, H., Stoelinga, M. I. A. & Brandan Briones, L. 2006 23 p.

Research output: Other research outputReport

Specifications
Syntactics
Testing
Semantics
Costs
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; no. 05-33)

Research output: ProfessionalReport

Embedded systems
Computer aided analysis
Blueprints
Decomposition

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

Algebra
Dynamical systems
Chemical analysis
Equivalence classes
Discrete event simulation
10 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: ProfessionalReport

Health
Industry
Software engineering
Servers
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: ProfessionalReport

Costs
Heuristics
Modeling
Automata
Experiment

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

Testing
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: ProfessionalReport

Real time systems

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

Hinges
Embedded systems
Availability
Specifications
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: Other research outputReport

1998
1997
16 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. TR-CTIT-97-11)

Research output: ProfessionalReport

Semantics
Syntactics
Model structures

Process Algebra and Performance Modelling

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

Research output: Other research outputReport

Process Algebra and Performance Modelling

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

Research output: ProfessionalReport

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: Other research outputReport

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: Other research outputReport

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

Specification languages
Specifications

Proceedings third Lotosphere workshop (3 volumes)

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

Research output: ProfessionalReport

Tussen droom en daad, inaugurele rede

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

Research output: ProfessionalReport

1991

LOTOS language enhancements

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

Research output: ProfessionalReport

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

WP1 Management Report 2nd project period

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

Research output: ProfessionalReport

WP1 Management Report 3nd project period

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

Research output: ProfessionalReport