Research Output 1987 2017

Filter
Article
2008
44 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: Scientific - peer-reviewArticle

Costs
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: ScientificArticle

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

Model checking
Trajectories
Explosions
1 Citations

Prozessalgebra, Teil 1

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

Research output: ProfessionalArticle

Algebra
Mathematical operators
Robots

Prozessalgebra, Teil 2

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

Research output: ProfessionalArticle

Algebra
Mathematical operators
Robots
2002
20 Citations

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

Model checking
Programmable logic controllers
Controllers
Chemical plants
Hybrid systems
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: ScientificArticle

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

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

Programmable logic controllers
Theorem proving
Formal methods
Model checking
Hybrid systems

Hooggespannen verwachtingen model checking

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

Research output: ProfessionalArticle

Hooggespannen verwachtingen model checking

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

Research output: ScientificArticle

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

Formal methods
Computer science
Explosions
Formal verification
Industry

Verification is experimentation!

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

Research output: Scientific - peer-reviewArticle

2000
Formal methods
1999

Cache Consistency by Design

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

Research output: Scientific - peer-reviewArticle

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

Specifications
Memory architecture
Factorization
Transducers
Semantics

Validatietechnieken houden complexe systemen hanteerbaar

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

Research output: ProfessionalArticle

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

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

Semantics
Algebra
Specification languages
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: Scientific - peer-reviewArticle

Semantics
Specification languages
Trajectories
1997

A Stochastic Automata Model and its Algebraic Approach

d' Argenio, P. R., Katoen, J. P. & Brinksma, H. 1997 In : CTIT Technical Report Series. 97-14, p. 1-16 16 p.

Research output: ScientificArticle

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

Algebra
Distribution functions
Semantics

A stochastic causality-based process algebra

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

Research output: Scientific - peer-reviewArticle

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

Specifications
algorithm
Specification languages
action
process
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: ProfessionalArticle

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

1991
78 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: Scientific - peer-reviewArticle

Specification languages
Specifications
Trajectories
Formal specification
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: ProfessionalArticle

1987
648 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: ScientificArticle

Specification languages
Open systems
Electronic data interchange