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

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 UT

File
2008

Graph-based software specification and verification

Kastenberg, H. 3 Oct 2008 Enschede. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

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 UT

Open Access
File
2007

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 UT

Open Access
File
Testing
Large scale systems
Acoustic waves
Formal methods
Syntactics
2006

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 UT

Open Access
File
Hybrid systems
Control theory
Computer science
Computer control
Trajectories
2005

Integration of Analysis Techniques in Security and Fault-Tolerance

Lenzini, G. 30 Jun 2005 Enschede, Netherlands. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
tolerance
methodology
interaction
2003

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 UT

File
2002

Linear Data Structures for Storage Allocation in Attribute Evaluators

Sluiman, F. J. & Sluiman, F. J. 1 Mar 2002 Amsterdam. 141 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2001

Towards Effective Model Checking

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Model checking
Computer program listings
1999

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 UT

File
1998

Ins and Outs in Refusal Testing

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
1997

Process-algebraic Transformations in Context

Kars, W. T. M. 6 Jun 1997 Enschede. 245 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

1996

Quantitative and Qualitative Extensions of Event Structures

Katoen, J. P. 1996 Enschede. 303 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

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 UT

1993

Models and Methods for Action Refinement

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

1992

A Formal Approach to Conformance Testing

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Transformations and semantics for LOTOS

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

Research output: ThesisPhD Thesis - Research UT, graduation UT