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)
41 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
24 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)
35 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)
68 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. - 4 p.

Research output: Contribution to journalArticleProfessional

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

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
44 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

Cache Consistency by Design

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

Research output: Contribution to journalArticleAcademicpeer-review

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

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, E., Katoen, J-P., Langerak, R. & Latella, D., 1998, In : Computer networks and ISDN systems. 30, 9-10, p. 925-950 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Specification languages
Semantics
Trajectories
1995
33 Downloads (Pure)

A stochastic causality-based process algebra

Brinksma, E., Katoen, J-P., Langerak, R. & Latella, D., 1995, In : Computer journal. 38, 7, p. 552-565 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Algebra
Distribution functions
Semantics
15 Downloads (Pure)

Functionality Decomposition by Compositional Correctness Preserving Transformation

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
functionality
Decomposition
Specifications
Specification languages
Synchronization
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)
55 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
694 Citations (Scopus)
37 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