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: ScientificPhD Thesis - Research UT, graduation UT

2008

Graph-based software specification and verification

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
C (programming language)
Semantics
Java programming language
Specifications

Model Checking Markov Chains: Techniques and Tools

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Discrete event simulation
Markov processes
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: ScientificPhD Thesis - Research UT, graduation UT

Testing
Large scale systems
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: ScientificPhD Thesis - Research UT, graduation UT

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: ScientificPhD Thesis - Research UT, graduation UT

Fault tolerance
2003

Energy-Efficient Wireless Communication

Smit, L. T. & Smit, L. T. Dec 2003 Enschede, The Netherlands. 194 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Telecommunication links
Energy utilization
Control systems

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: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Explosions
2002

Linear Data Structures for Storage Allocation in Attribute Evaluators

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Data structures
Attribute grammars
Exponential time
Sweep
Queue
2001

Towards Effective Model Checking

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1999

Algebras and Automata for Timed and Stochastic Systems

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1998

Ins and Outs in Refusal Testing

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Testing
Formal methods
Television receivers
Dispensers
Formal languages
1997

Process-algebraic Transformations in Context

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1996

Quantitative and Qualitative Extensions of Event Structures

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Formal methods
Specifications
1994

Simulation techniques for the validation of lotos specifications

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1993

Models and Methods for Action Refinement

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1992

A Formal Approach to Conformance Testing

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Testing
Specifications
Computer systems
Communication
Formal specification

Transformations and semantics for LOTOS

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

Research output: ScientificPhD Thesis - Research UT, graduation UT