If you made any changes in Pure these will be visible here soon.

Research Output 2007 2019

Filter
PhD Thesis - Research UT, graduation UT
2019
86 Downloads (Pure)

Efficient learning and analysis of system behavior

Meijer, J., 20 Sep 2019, Enschede: University of Twente. 201 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Specifications
Temporal logic
Testing
Learning algorithms
48 Downloads (Pure)

Strong Connectivity and Shortest Paths for Checking Models

Bloemen, V., 10 Jul 2019, Enschede. 264 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Decomposition
Cost functions
Directed graphs
Data structures
2018
52 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems
163 Downloads (Pure)

Contract-based specification of embedded control systems

Oguz, O., 16 Feb 2018, Enschede: University of Twente. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Specifications
Control systems
Model checking
Hybrid systems
Embedded systems
2017
160 Downloads (Pure)

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W., 13 Apr 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Energy management
Model checking
Scheduling
Video conferencing
Mobile computing
2016
147 Downloads (Pure)

Sylvan: multi-core decision diagrams

van Dijk, T., 13 Jul 2016, Enschede: Universiteit Twente. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Resource allocation
Data structures
Processing
Experiments
2014
158 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
51 Downloads (Pure)

Qualitative and quantitative information flow analysis for multi-threaded programs

Ngo, M. T., 17 Apr 2014, Enschede: Universiteit Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Program processors
Security of data
Information systems
Computer systems
Scheduling
160 Downloads (Pure)

Scalable multi-core model checking

Laarman, A., 9 May 2014, Enschede: University of Twente. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2013
189 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2012
64 Downloads (Pure)

Compositional Synthesis of Safety Controllers

Kuijper, W., 7 Dec 2012, Enschede: University of Twente. 184 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File