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
PhD Thesis - Research UT, graduation UT
2011
53 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
2008
82 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
75 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
2007
22 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
33 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
36 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
2003
98 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
2002
10 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
2001
11 Downloads (Pure)

Towards Effective Model Checking

Ruys, T. C., 22 Mar 2001, Enschede: Universiteit Twente. 253 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Computer program listings
1999
14 Downloads (Pure)

Algebras and Automata for Timed and Stochastic Systems

d' Argenio, P. R., 1999, Enschede: Twente University Press (TUP). 342 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1998
24 Downloads (Pure)

Ins and Outs in Refusal Testing

Heerink, A. W., 8 May 1998, Enschede: Universiteit Twente. 188 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1997

Process-algebraic Transformations in Context

Kars, W. T. M., 6 Jun 1997, Enschede: University of Twente. 245 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

1996
40 Downloads (Pure)

Quantitative and Qualitative Extensions of Event Structures

Katoen, J. P., 1996, Enschede: University of Twente. 303 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1994

Simulation techniques for the validation of lotos specifications

Eertink, E. H., 24 Mar 1994, Enschede: Universiteit Twente. 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

1993

Models and Methods for Action Refinement

Rensink, A., 1993, Enschede: Universiteit Twente. 319 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

1992
136 Downloads (Pure)

A Formal Approach to Conformance Testing

Tretmans, G. J., 1992, Enschede: Universiteit Twente. 267 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Transformations and semantics for LOTOS

Langerak, R., 30 Nov 1992, Enschede: Universiteit Twente. 170 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic