• 1360 Citations
1988 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2019

Filter
PhD Thesis - Research UT, graduation UT
2018
142 Downloads (Pure)

Truth or dare: quantitative security risk analysis via attack trees

Kumar, R., 17 Oct 2018, Enschede: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Risk analysis
Taxonomies
Model checking
Security of data
Computer viruses
2014
156 Downloads (Pure)

JTorX: Exploring Model-Based Testing

Belinfante, A., 18 Sep 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 324 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2013
44 Downloads (Pure)

Abstract Graph Transformation - Theory and Practice

Zambon, E., 24 Jan 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 162 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
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
2010
12 Downloads (Pure)

Graph-based Specification and Verification for Aspect-Oriented Languages

Staijen, T., 6 Jun 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 234 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
2008
83 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
2003
100 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
1993

Models and Methods for Action Refinement

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

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic