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
48 Citations (Scopus)
28 Downloads (Pure)

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 journalArticleAcademicpeer-review

File
2004
18 Downloads (Pure)

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 journalArticleAcademic

File
2003
8 Citations (Scopus)

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 journalArticleAcademicpeer-review

1 Citation (Scopus)

Prozessalgebra, Teil 1

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

Research output: Contribution to journalArticleProfessional

Prozessalgebra, Teil 2

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

Research output: Contribution to journalArticleProfessional

2002
23 Citations (Scopus)
29 Downloads (Pure)

Verification and Optimization of a PLC Control Schedule

Brinksma, H., Mader, A. H., Fehnker, A. & Fehnker, A., 2002, In : International journal on software tools for technology transfer. 4, 1, p. 21-33 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

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 journalArticleAcademic

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 journalArticleAcademicpeer-review

4 Citations (Scopus)
51 Downloads (Pure)

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 journalArticleAcademicpeer-review

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 journalArticleAcademic

Hooggespannen verwachtingen model checking

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

Research output: Contribution to journalArticleProfessional

Verification is experimentation!

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

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

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 journalArticleAcademicpeer-review

2000
36 Downloads (Pure)

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

Bowman, H., Derrick, J. & Brinksma, H., 2000, In : IEEE transactions on software engineering. 26, 7, p. 577-578

Research output: Contribution to journalArticleAcademicpeer-review

File
8 Downloads (Pure)

Stochastic Process Algebras: Linking Process Descriptions with Performance

Brinksma, H., d' Argenio, P. R. & Katoen, J. P., 2000, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 4, p. 34-42

Research output: Contribution to journalArticleProfessional

File
1999
6 Citations (Scopus)

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 journalArticleAcademicpeer-review

Cache Consistency by Design

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

Research output: Contribution to journalArticleAcademicpeer-review

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 journalArticleProfessional

1998
14 Citations (Scopus)

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

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

Research output: Contribution to journalArticleAcademicpeer-review

Process Algebra
Causality
Algebra
Event Structures
Interleaving
12 Citations (Scopus)

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 journalArticleAcademicpeer-review

1997

Partial Order Models for Quantitative Extensions of LOTOS (to appear)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1997, In : Computer networks and ISDN systems. p. - 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

1995
25 Downloads (Pure)

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 journalArticleAcademicpeer-review

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 journalArticleAcademic

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, H. & Langerak, R., 1995, In : South African computer journal. 13, p. 2-13

Research output: Contribution to journalArticleAcademicpeer-review

47 Downloads (Pure)

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, H. & Langerak, R., 1995, In : South African computer journal. 13, p. 2-13 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
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 journalArticleProfessional

1993

Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen

Brinksma, H., 1993, In : Informatie. 35, 9, p. 20-30

Research output: Contribution to journalArticleAcademicpeer-review

1992
2 Citations (Scopus)

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 journalArticleProfessional

1991
80 Citations (Scopus)
48 Downloads (Pure)

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 journalArticleAcademicpeer-review

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 journalArticleProfessional

1987
690 Citations (Scopus)
22 Downloads (Pure)

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 journalArticleAcademic

File