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
Article
2008
46 Citations

Optimal infinite scheduling for multi-priced timed automata

Alur, R. (ed.), Bouyer, P., Pappas, G. J. (ed.), Brinksma, H. & Larsen, K. G. Feb 2008 In : Formal methods in system design. 32, 1, p. 3-23 21 p., 10.1007/s10703-007-0043-4

Research output: Contribution to journalArticle

File
2004

Guest editorial: Design, implementation, and analysis of communication protocols

Brinksma, H., Hao, R., Lee, D. & Miller, R. E. 2004 In : IEEE journal on selected areas in communications. 22, 10, p. 1917-1919

Research output: Contribution to journalArticle

File
2003
7 Citations

Managing the Verification Trajectory

Ruys, T. C. & Brinksma, H. Feb 2003 In : International journal on software tools for technology transfer. 4, 2, p. 246-259 14 p., 10.1007/s10009-002-0078-1

Research output: Contribution to journalArticle

1 Citations

Prozessalgebra, Teil 1

Brinksma, H. & Mader, A. H. 2003 In : Automatisierungstechnik. 51, 8, p. 13-16 4 p.

Research output: Contribution to journalArticle

Prozessalgebra, Teil 2

Brinksma, H. & Mader, A. H. 2003 In : Automatisierungstechnik. 51, 9, p. 17-20 4 p.

Research output: Contribution to journalArticle

2002
21 Citations
File
2001

Design of a PLC Control Program for a Batch Plant

Mader, A. H., Brinksma, H., Wupper, H. & Bauer, N. 2001 In : European journal of control. 7, 4, p. 416-439 23 p.

Research output: Contribution to journalArticle

Design of a PLC Control Program for a Batch Plant, VHS Case Study 1

Brinksma, H., Mader, A. H., Wupper, H. & Bauer, N. 2001 In : European journal of control. 7, 4, p. - 439 p.

Research output: Contribution to journalArticle

4 Citations

Design of a PLC Control Program for a Batch Plant - VHS Case Study 1

Mader, A. H., Brinksma, H., Wupper, H. & Bauer, N. 2001 In : European journal of control. 7, 4, p. 416-439 24 p., 10.3166/ejc.7.416-439

Research output: Contribution to journalArticle

File

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P. 2001 In : Bits en chips. 3, 4, p. 31-34 4 p.

Research output: Contribution to journalArticle

Hooggespannen verwachtingen model checking

Brinksma, H. & Katoen, J. P. 2001 In : Bits en chips. 3, 4, p. - 4 p.

Research output: Contribution to journalArticle

7 Citations

Verification is experimentation!

Brinksma, H. 2001 In : International journal on software tools for technology transfer. 3, 2, p. 107-217 111 p., 10.1007/s100090100050

Research output: Contribution to journalArticle

Verification is experimentation!

Brinksma, H. 2001 In : International journal on software tools for technology transfer. 3, 2, p. - 111 p.

Research output: Contribution to journalArticle

2000
File
1999

Cache Consistency by Design

Brinksma, H. 1999 In : Distributed computing. '99, 12, p. 61-74 14 p.

Research output: Contribution to journalArticle

6 Citations

Cache Consistency by Design

Brinksma, H. Jun 1999 In : Distributed computing. 12, 2/3, p. 552-565 14 p., 10.1007/s004460050058

Research output: Contribution to journalArticle

Validatietechnieken houden complexe systemen hanteerbaar

Brinksma, H. & Groote, J. F. 1999 In : Automatisering gids. '99, 7, p. 19-19 1 p.

Research output: Contribution to journalArticle

1998

A consistent causality-based view on a fined process algebra including urgent interaction

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 1998 In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticle

14 Citations

A consistent causality-based view on a timed process algebra including urgent interactions

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 1998 In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticle

11 Citations

Partial-order models for quantitative extensions of LOTOS

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1998 In : Computer networks and ISDN systems. 30, 9/10, p. 925-950 26 p., 10.1016/S0169-7552(97)00134-7

Research output: Contribution to journalArticle

1997
1995

A stochastic causality-based process algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1995 In : Computer journal. 38, 7, p. 552-565 14 p., 10.1093/comjnl/38.7.552

Research output: Contribution to journalArticle

Open Access
File
Algebra
Distribution functions
Semantics

A Stochastic Causality-based Process Algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1995 In : Memoranda informatica. 34, p. - 14 p.

Research output: Contribution to journalArticle

1994

Performance analysis and true concurrency semantics

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1994 In : Memoranda informatica. 39, p. - 28 p.

Research output: Contribution to journalArticle

1992
2 Citations

From data Structure to Process Structure

Brinksma, H. & Kars, W. T. M. 1992 In : Memoranda informatica. 92, 39, p. - 30 p.

Research output: Contribution to journalArticle

1991
79 Citations

Specification styles in distributed systems design and verification

Vissers, C. A., Scollo, G., van Sinderen, M. J. & Brinksma, H. Oct 1991 In : Theoretical computer science. 89, 1, p. 179-206 28 p.

Research output: Contribution to journalArticle

File
1990

Specification styles in distributed systems design and verification

Vissers, C. A., Scollo, G., van Sinderen, M. J. & Brinksma, H. 1990 In : Memoranda informatica. 90, 06, p. - 25 p.

Research output: Contribution to journalArticle

1987
655 Citations

Introduction to the ISO specification language LOTOS

Bolognesi, T. & Brinksma, H. 1987 In : Computer networks and ISDN systems. 14, 1, p. 25-59

Research output: Contribution to journalArticle

File