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

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

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

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

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

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

File
2008
3 Citations

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

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

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

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

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

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 Verlag, 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
10 Citations

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

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

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

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

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
4 Citations

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

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

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
13 Citations

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

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

Jones, V. M., Rensink, A. & Brinksma, H., 2005, Proc. Ninth IEEE International EDOC Enterprise Computing Conference (EDOC). Los Alamitos, USA: Institute of Electrical and Electronics Engineers, p. 58-69 12 p.

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

File
22 Citations

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

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

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

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 Verlag, p. 264-279 16 p. (Lecture Notes in Computer Science; vol. 3785).

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

File

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

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

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

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 Verlag, 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

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

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

On Verification Modelling of Embedded Systems

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

Research output: Book/ReportReportProfessional

File
43 Citations

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

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 Verlag, 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

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

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 Citations

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

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

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

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

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

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

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
87 Citations

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