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

2017
25 Downloads (Pure)

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Testing
Automata theory
Specifications
2011
69 Downloads (Pure)

Model-Based Testing

Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS Press, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
46 Downloads (Pure)

On changing models in Model-Based Testing

van der Bijl, H. M., 12 May 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 231 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2010
5 Downloads (Pure)

Duurzaam onderwijs

Brinksma, H., 26 Nov 2010, Redevoeringen 49ste Dies Natalis: Duurzame wetenschap. Brinksma, H. & Bressers, J. T. A. (eds.). Enschede: University of Twente, p. 4-19 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
2009
29 Downloads (Pure)

Redevoeringen dies natalis : 48ste dies natalis, 27-11-2009

Brinksma, H. & van den Berg, A., 27 Nov 2009, Enschede: University of Twente. 46 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
2008
3 Citations (Scopus)
35 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
69 Downloads (Pure)

Graph-based software specification and verification

Kastenberg, H., 3 Oct 2008, Enschede: University of Twente. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
64 Downloads (Pure)

Model Checking Markov Chains: Techniques and Tools

Zapreev, I. S., 7 Mar 2008, Zutphen: Woehrmann Printing Service. 229 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
48 Citations (Scopus)
26 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
2007

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

Brinksma, H. & Hooman, J., Dec 2007, Nijmegen: Radboud University. 6 p. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; no. 7/ICIS-R07030)

Research output: Book/ReportReportProfessional

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
18 Downloads (Pure)

Theories for Model-based Testing: Real-time and Coverage

Brandan Briones, L., 21 Mar 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 134 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Large scale systems
Acoustic waves
Formal methods
Syntactics
2006
10 Citations (Scopus)
36 Downloads (Pure)

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, E. & Stoelinga, M., 10 Dec 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 31 p. (CTIT Technical Report Series; no. 06-24)

Research output: Book/ReportReportProfessional

File
23 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
1 Downloads (Pure)

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.

Research output: Working paperOther research output

File
Syntactics
Semantics
Specifications
Testing
Costs
32 Downloads (Pure)

Hybrid Techniques for Hybrid Systems

Krilavicius, T., 6 Sep 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 192 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Hybrid systems
Control theory
Computer science
Computer control
Trajectories
2005
9 Downloads (Pure)

A Modelling Method for Embedded Systems

Brinksma, H., Mader, A. H., Marincic, J. & Wieringa, R. J., Jul 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. 05-33)

Research output: Book/ReportReportProfessional

Open Access
File
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)
23 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
20 Downloads (Pure)

Behavioural Hybrid Process Calculus

Brinksma, H. & Krilavicius, T., 4 Oct 2005, Enschede: Formal Methods and Tools (FMT). 26 p. (CTIT technical report series; no. 1381-3625)

Research output: Book/ReportReportProfessional

File
Process Calculi
Process Algebra
Concurrent
Bisimulation
Behavioral Approach
30 Downloads (Pure)

Integration of Analysis Techniques in Security and Fault-Tolerance

Lenzini, G., 30 Jun 2005, Enschede, Netherlands: University of Twente. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
tolerance
methodology
interaction
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
13 Citations (Scopus)
45 Downloads (Pure)

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

Jones, V. M., Rensink, A. & Brinksma, H., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-05-66)

Research output: Book/ReportReportProfessional

File
22 Citations (Scopus)
25 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
16 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
5 Citations (Scopus)
31 Downloads (Pure)

Scheduling Lacquer Production by Reachability Analysis -- A Case Study

Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Feb 2005, Enschede: Distributed and Embedded Security (DIES). 6 p. (CTIT Technical Report Series; no. TR-CTIT-05-05)

Research output: Book/ReportReportProfessional

File
14 Citations (Scopus)
10 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
6 Downloads (Pure)

Testing multi input-output real-time systems (Extended Version)

Brandan Briones, L. & Brinksma, H., Sep 2005, Enschede: Formal Methods and Tools (FMT). 20 p. (CTIT Technical Report Series; no. TR-CTIT-05-40)

Research output: Book/ReportReportProfessional

File
2004

A formal MDA approach for mobile health systems

Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., 7 Sep 2004, Second European workshop on model driven architecture (MDA). Akehurst, D. H. (ed.). Canterbury, UK: University of Kent, Computing laboratory, p. 28-35

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

16 Downloads (Pure)

A formal MDA approach for mobile health systems

Akehurst, D. H. (ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., Sep 2004, p. 28-35. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
12 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
18 Downloads (Pure)

A test generation framework for quiescent real-time systems - extended version

Brandan Briones, L. & Brinksma, H., Oct 2004, Enschede: INF-Centre for Telematics and Information Techn. 20 p. (CTIT technical report series; no. TR-CTIT-04-40)

Research output: Book/ReportReportProfessional

File
17 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
10 Downloads (Pure)

On Verification Modelling of Embedded Systems

Brinksma, H. & Mader, A. H., Jan 2004, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. 04-03)

Research output: Book/ReportReportProfessional

Open Access
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
24 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
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

75 Downloads (Pure)

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

Distefano, D. S., 2003, Enschede: Twente University Press (TUP). 313 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
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

225 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

Bètavrouw en carrière

Brinksma, H., Hendriks, J., Hulscher, S. J. M. H., Spijk, J., Visser, M. & Vreugdenhil, J. M., 2002, Utrecht: NIMF. 53 p.

Research output: Book/ReportReportOther research output

118 Downloads (Pure)

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

Brinksma, E. (ed.) & Larsen, K. G. (ed.), 2002, Berlin: Springer. 626 p. (Lecture Notes in Computer Science; vol. 2404)

Research output: Book/ReportBook editingAcademic

Open Access
File
18 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

Embedded Systems Roadmap -- Vision on technology for the future of PROGRESS

Mesman, B., Spaanenburg, L., Brinksma, H., Deprettere, E. F., Verhulst, E., Timmer, F., van Gageldonk, H., Eggermont, L. D. J., van Leuken, R., Krol, T. & Hendriksen, W., Mar 2002, Utrecht: Technology Foundation (STW).

Research output: Book/ReportBookAcademic

8 Downloads (Pure)

Linear Data Structures for Storage Allocation in Attribute Evaluators

Sluiman, F. J. & Sluiman, F. J., 1 Mar 2002, Amsterdam: University of Twente. 141 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
5 Citations (Scopus)
24 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
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
90 Citations (Scopus)
19 Downloads (Pure)

As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P., Romijn, J. M. T. & Romijn, J., 2001, Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102. p. 493-505 13 p. (Lecture Notes in Computer Science; no. 2102).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Timed Automata
Reachability
Costs
Facet
Linearly