Research Output 1987 2017

Filter
Paper
2004

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: Scientific - peer-reviewPaper

Health
Formal methods
Security systems
2000

Model Checking: Verification or Debugging?

Ruys, T. C. & Brinksma, H. 2000 p. 3009-3015 7 p.

Research output: Scientific - peer-reviewPaper

Verification Is Experimentation!

Brinksma, H. 2000 p. 17-24 8 p.

Research output: Scientific - peer-reviewPaper

Formal verification
Formal methods
Computer science
Explosions
Industry
1999

A complete finite prefix for process algebra

Halbwachs, N. (ed.), Langerak, R., Peled, D. (ed.) & Brinksma, H. 1999 p. 184-195 12 p.

Research output: Scientific - peer-reviewPaper

Process algebra
Prefix
Model
Event structures
Optimization

Formal Methods for Conformance Testing: Theory Can Be Practical!

Brinksma, H., Halbwachs, N. (ed.) & Peled, D. (ed.) Jul 1999 p. 44-46 3 p.

Research output: Scientific - peer-reviewPaper

Testing
Formal methods
1998

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: Scientific - peer-reviewPaper

Automata
Semi-Markov process
Process algebra
Proper subset
Discrete event systems

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: Scientific - peer-reviewPaper

Factorized Test Generation for Multi Input/Output Transition Systems

Brinksma, H., Petrenko, A. (ed.), Heerink, A. W., Yevtushenko, N. (ed.) & Tretmans, G. J. 1998 p. 67-82 16 p.

Research output: Scientific - peer-reviewPaper

Specifications
1997

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: Scientific - peer-reviewPaper

Semantics
Syntactics
Model structures

Developments in Testing Transition Systems

Brinksma, H., Kim, M. (ed.), Kang, S. (ed.), Heerink, A. W., Hong, K. (ed.) & Tretmans, G. J. 1997 p. 143-166 24 p.

Research output: Scientific - peer-reviewPaper

The bounded retransmission protocol must be on time!

Brinksma, H. (ed.), d' Argenio, P. R., Katoen, J. P., Ruys, T. C. & Tretmans, G. J. 1997 p. 416-431 16 p.

Research output: Scientific - peer-reviewPaper

Model checking
1996

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: Scientific - peer-reviewPaper

Timed automata
Calculus

Applications of Fair Testing

Gotzhein, R. (ed.), Brinksma, H., Bredereke, J. (ed.), Rensink, A. & Vogler, W. 1996 p. 145-160 16 p.

Research output: Scientific - peer-reviewPaper

Testing
Specifications
Substitution reactions
Scheduling

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R. 1996 p. 21-49 29 p.

Research output: Scientific - peer-reviewPaper

1995

Fair Testing

Lee, I. (ed.), Brinksma, H., Rensink, A., Smolka, S. A. (ed.) & Vogler, W. 1995 p. 313-327 15 p.

Research output: Scientific - peer-reviewPaper

Testing
Preorder
Congruence
Divergence
Parallel composition

Modal µ-Calculus, Model Checking and Gauß Elimination

Brinksma, H. (ed.), Mader, A. H., Cleaveland, W. R. (ed.), Larsen, K. G. (ed.), Larsen, K. G. (ed.), Margaria, T. (ed.) & Steffen, B. (ed.) May 1995 p. 72-88 17 p.

Research output: Scientific - peer-reviewPaper

Model checking
Linear equations
1994

Formal specification of Distributed Information Systems

Vis, J., Brinksma, H. & de By, R. A. 6 Jun 1994

Research output: ScientificPaper

Information systems
Formal specification

Formal Specification of Distributed Information Systems

Vis, J., Brinksma, H., de By, R. A. & de By, R. A. Jun 1994 12 p.

Research output: Scientific - peer-reviewPaper

Information systems
Specification languages
Formal methods
Specifications
Testing
1991

LOTOS language enhancement

Brinksma, H. 15 May 1991 p. -

Research output: ScientificPaper

1990

Agenda WP1 meeting Vilamoura

Brinksma, H. 1 Jan 1990 p. -

Research output: ScientificPaper

conference

Management Report Task 1.4 3nd

Brinksma, H. 1 Jan 1990 p. -

Research output: ScientificPaper

Minutes T1.4 Meeting Vilamoura

Brinksma, H. 1 Jan 1990 p. -

Research output: ScientificPaper

On the initiation of work in Task 1.4

Brinksma, H. 1 Jan 1990 p. -

Research output: ScientificPaper

Presentation WP1 for first Lotosphere review

Brinksma, H. 1 Jan 1990 p. -

Research output: ScientificPaper

Presentation WP1 for second Lotosphere review

Brinksma, H. 1 Jan 1990 p. -

Research output: ScientificPaper