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
Conference contribution
2008
3 Citations (Scopus)
46 Downloads (Pure)

Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma, H. & Hooman, J., 14 Mar 2008, Design, Automation and Test in Europe, 2008. DATE '08. Piscataway: IEEE Computer Society, p. 1226-1231 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2007

The Challenges of Embedded Systems Engineering

Brinksma, E., 3 Apr 2007, Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. Bemporad, A., Bicchi, A. & Buttazzo, G. (eds.). Berlin: Springer, p. 3-3 (Lecture Notes in Computer Science; vol. 4416, no. 7).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Systems engineering
Embedded systems
Embedded software
Systems analysis
Hardware
2006
34 Downloads (Pure)

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, H. & Stoelinga, M. I. A., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 399-414 16 p. (Lecture Notes in Computer Science; vol. 4218).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Semantics
Specifications
Syntactics
Testing
Costs
2005
15 Downloads (Pure)

A Modelling Method for Embedded Systems

Brinksma, H., Mader, A. H., Marincic, J. & Wieringa, R. J., Oct 2005, 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
30 Downloads (Pure)

A process-algebraic approach to hybrid systems

Brinksma, H., Krilavicius, T. & Usenko, Y. S., Jul 2005, 16th IFAC World Congress. Pitzek, P. (ed.). IFAC, p. - 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Downloads (Pure)

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Jones, V., Rensink, A. & Brinksma, E., 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05). van Sinderen, M. J., Steen, M. W. A., Lankhorst, M. M., Aleksy, M. & Hung, P. C. K. (eds.). Los Alamitos, CA: IEEE, p. 58-69 12 p. (IEEE International EDOC Enterprise Computing Conference; vol. 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Health
Industry
Software engineering
Servers
Acoustic waves
22 Citations (Scopus)
26 Downloads (Pure)

Production Scheduling by Reachability Analysis - A Case Study

Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Apr 2005, Workshop on Parallel and Distributed Real-Time Systems (WPDRTS). Los Alamitos, California: IEEE Computer Society Press, p. 140a-140a

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Scheduling
Model checking
Lacquers
Specifications
Planning
23 Downloads (Pure)

Scheduling lacquer production by reachability analysis - A case study

Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Jul 2005, 16th IFAC World Congress. Horacek, P., Simandl, M. & Zitek, P. (eds.). Laxenburg, Austria: Elsevier, p. MoA17TO3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
14 Citations (Scopus)
11 Downloads (Pure)

Testing multi input-output real-time systems

Brandan Briones, L. & Brinksma, H., Nov 2005, Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005. Lau, K. K. & Banach, R. (eds.). Berlin: Springer, p. 264-279 16 p. (Lecture Notes in Computer Science; vol. 3785).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2004
16 Downloads (Pure)

A formal MDA approach for mobile health systems

Jones, V., Rensink, A., Ruys, T., Brinksma, E. & van Halteren, A., Sep 2004, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. Akehurst, D. H. (ed.). University of Kent, p. 28-35 8 p. (Technical Report; no. 17-04).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Formal methods
Security systems
Health
mHealth
20 Downloads (Pure)

A test generation framework for quiescent real-time systems

Brandan Briones, L. & Brinksma, H., Sep 2004, Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. Grabowski, J. & Nielsen, B. (eds.). Berlin: Springer, p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 3395, no. X).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
43 Citations (Scopus)

Staying alive as cheaply as possible

Bouyer, P., Brinksma, H. & Larsen, K. G., 25 Mar 2004, Hybrid systems: computation and control. Alur, R. & Pappas, G. J. (eds.). Berlin: Springer, p. 203-218 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing times: on model-driven test generation for non-deterministic real-time systems

Brinksma, H., 16 Jun 2004, Fourth international conference on application of concurrency to system design: ACSD 2004. Kishinevsky, M. & Darondeau, P. (eds.). Los Alamitos: IEEE Computer Society, p. 3-4 36 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Real time systems
Testing
Black-box testing
Embedded software
Formal methods
2003
31 Downloads (Pure)

Compositional Theories of Qualitative and Quantitative Behaviour

Brinksma, H., Jan 2003, 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). van der Aalst, W. & Best, E. (eds.). Heidelberg: Springer, p. 37-42 6 p. (Lecture Notes in Computer Science 2679; vol. 2679, no. XI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
241 Downloads (Pure)

TorX: Automated Model-Based Testing

Tretmans, G. J. & Brinksma, H., Dec 2003, First European Conference on Model-Driven Software Engineering. Hartman, A. & Dussa-Ziegler, K. (eds.). p. 31-43 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2002
19 Downloads (Pure)

Côte de Resyste -- Automated Model Based Testing

Tretmans, G. J. & Brinksma, H., 2002, 3rd PROGRESS workshop on Embedded Systems. Schweizer, M. (ed.). Utrecht: STW Technology Foundation, p. 246-255 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
5 Citations (Scopus)
30 Downloads (Pure)

Model checking embedded system designs

Brinksma, H. & Mader, A. H., Oct 2002, 6th Int. Workshop on Discrete Event Systems (WODES). Los Alamitos, California: IEEE Computer Society, p. 151-158 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2001

Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

Belinfante, A., Brinksma, H., Feenstra, J., Tretmans, G. J. & de Vries, R. G., 2001, Mobile Communications in Perspective -- 7th Annual CTIT Workshop. Heemstra de Groot, S. M. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 49-51 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing Transition Systems: An Annotated Bibliography

Brinksma, H. & Tretmans, G. J., 2001, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. Cassez, F., Jard, C., Rozoy, B. & Ryan, M. D. (eds.). Berlin: Springer, p. 187-195 9 p. (Lecture Notes in Computer Science; vol. 2067).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2000

Model Checking: Verification or Debugging?

Ruys, T. C. & Brinksma, H., 22 Feb 2000, Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA, p. 3009-3015 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing Transition Systems: An Annotated Bibliography

Brinksma, H. & Tretmans, G. J., 21 Feb 2000, MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France, p. 44-50 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

20 Citations (Scopus)
43 Downloads (Pure)

Verification and Optimization of a PLC Control Schedule

Brinksma, H. & Mader, A. H., Aug 2000, 7th Int. SPIN Workshop on Model Checking of Software. Havelund, K., Penix, J. & Visser, W. (eds.). Berlin: Springer, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 1885).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)

Verification is Experimentation!

Brinksma, H., 21 Feb 2000, CONCUR 2000 - Concurrency Theory. University Park, PA, USA, p. 17-24 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1999
10 Citations (Scopus)

A complete finite prefix for process algebra

Langerak, R. & Brinksma, H., 14 Feb 1999, Proceedings CAV'99, LNCS 1663. Trento, Italy, p. 184-195 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Formal Methods for Conformance Testing: Theory Can Be Practical

Brinksma, H., 9 Jul 1999, Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633. Trento, Italy, p. 44-46 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)
28 Downloads (Pure)

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., Jan 1999, Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos: IEEE, p. 104-114 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1998

A Compositional Approach to Generalised Semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 4th International Workshop on Discrete Event Systems (WODES'98). Gagliari, Italy, p. 391-397 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 8 Feb 1998, IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, p. 126-147 22 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)

Experience with Literate Programming in the Modelling and Validation of Systems

Ruys, T. C. & Brinksma, H., 1998, Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98. Steffen, B. (ed.). Berlin: Springer, p. 393-408 16 p. (Lecture Notes in Computer Science; vol. 1384).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

General Purpose Discrete Event Simulation

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 6th Internation Workshop on Process Algebra and Performance Modeling (PAPM'98). Nice, France, p. 85-102 18 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1997
26 Downloads (Pure)

A Stochastic Automata Model and its Algebraic Approach

d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 1997, 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97). Enschede: Centre for Telematics and Information Technology (CTIT), p. 1-16 16 p. (CTIT Technical Report Series; no. 97-14).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P., 2 Jul 1997, Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag. Warsaw, Poland, p. - 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Developments in testing transition systems

Brinksma, H., Heerink, A. W. & Tretmans, G. J., 30 Sep 1997, Proceedings 10th IFIP International. Cheju Island, Korea, p. - 24 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, H., 2 Apr 1997, TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede, p. - 431 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1996

A Calculus for Timed Automata

d' Argenio, P. R. & Brinksma, H., 9 Sep 1996, Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden, p. 110-129 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A Consistent Causality-Based View on a Timed Process Algebra

Katoen, J-P., Latella, D., Langerak, R., Brinksma, E. & Bolognesi, T., 18 Nov 1996, Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, p. 3-21 19 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
28 Citations (Scopus)

On specifying real-time systems in a causality-based setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

On Specifying Real-Time Systems in a Causality-Based Setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H., 13 Sep 1996, Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, p. 385-404 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Stochastic Simulation of Event Structures

Katoen, J. P., Brinksma, H., Latella, D. & Langerak, R., 31 Jul 1996, Proceedings of the 4th Workshop on Process Algebra and Performance Modelling (PAPM'96). Universita di Torino, Italy, p. 21-40 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Using Formal Methods: if you're so smart, how come you ain't rich?

Brinksma, H., 9 Oct 1996, Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, p. 333-333 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Validation in Context

Heerink, A. W. & Brinksma, H., 1 Jun 1996, Proceedings of Protocol Specification, Testing and Verification XV, IFIP WG6.1. Warsaw, Poland, p. 221-236 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1995

Fair Testing

Brinksma, H., Rensink, A. & Vogler, W., 8 Feb 1995, CONCUR'95, Concurrency Theory, Lecture Notes in Computer Science 962. Lee, I. & Smolka, S. A. (eds.). p. 313-327 (Lecture notes in computer science; vol. 962).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
17 Downloads (Pure)

Performance and formal design: a process algebraic perspective

Brinksma, H., 3 Oct 1995, Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A.: IEEE, p. 124-125

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Formal methods
Random processes
Petri nets
Merging
Algebra
1994

Performance analysis and true concurrency semantics (extended abstract)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1 Dec 1994, 2nd Workshop on process algebras and performance modelling. Erlangen, p. 157-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1992

On the Design and Implementation of Distributed Systems Using LOTOS

Brinksma, H., 15 Apr 1992, Proceedings 10th SBRC. Recife, Brazilie, p. - 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1991

A framework for test selection

Brinksma, H., Tretmans, G. J. & Verhaard, L., 17 Jun 1991, PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden, p. 233-248 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Downloads (Pure)

Introduction to the PSTV-XI

Brinksma, H., Scollo, G. & Vissers, C. A., 1 Sep 1991, 1991 Editoral Computer Networks and ISDN Systems 22 (1991). Noord-Holland: Elsevier, p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Protocol conformance testing: a formal perspective on ISO IS-9646

Tretmans, G. J., Kars, W. T. M. & Brinksma, H., 1 Sep 1991, IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam, p. - 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Citations (Scopus)

Refining Interfaces of Cummunicating Systems

Brinksma, E., Orava, F. & Jonsson, B., 8 Apr 1991, TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science; vol. 494).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Refining
Communication
Voice/data communication systems

What is the method in formal methods

Brinksma, H., 19 Nov 1991, FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia, p. - 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review