Research Output 2004 2017

Filter
Report
2017
1 Citations

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A. 10 Mar 2017 Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-17-02)

Research output: Other research outputReport

Importance sampling
Repair
Availability
2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A. Sep 2016 Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: ProfessionalReport

Hardware
Interoperability
Quality of service
Model checking
Embedded systems
Video streaming
Mobile devices
2015

Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version)

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 24 Jun 2015 Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-15-04)

Research output: ProfessionalReport

Power management
Model checking
Energy conservation
Computer systems
Electric power utilization
2014

Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools

Ruijters, E. J. J. & Stoelinga, M. I. A. 2 Dec 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 36 p. (CTIT Technical Report Series; no. TR-CTIT-14-14)

Research output: ProfessionalReport

Fault tree analysis
Power plants
Aircraft

Modelling and analysis of Markov reward automata (extended version)

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A. 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-14-06)

Research output: ProfessionalReport

Costs
Flavors
Repair
Energy utilization

Resource-constrained optimal scheduling of SDF graphs via timed automata (extended version)

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 21 Jan 2014 Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT technical reports; no. TR-CTIT-13-17)

Research output: Other research outputReport

Throughput
Model checking
Energy utilization
Costs
9 Citations

Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 21 Jan 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-13-17)

Research output: ProfessionalReport

Throughput
Model checking
Energy utilization
Costs
2013

Confluence reduction for Markov automata (extended version)

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Jun 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)

Research output: ProfessionalReport

Automata
Confluence
Model
Specification
Process algebra

DFTCalc: a tool for efficient fault tree analysis (extended version)

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A. Jun 2013 Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-13-13)

Research output: ProfessionalReport

Fault tree analysis
Biomedical equipment
Model checking
Stochastic models
Risk management

Divergent Quiescent Transition Systems (extended version)

Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A. Mar 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-13-08)

Research output: ScientificReport

Transition systems
Automata
Model-based testing
Output
Model

Quantitative penetration testing with item response theory (extended version)

Arnold, F., Pieters, W. & Stoelinga, M. I. A. Oct 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT Technical Report Series; no. TR-CTIT-13-20)

Research output: ProfessionalReport

Testing
Cost effectiveness
Risk management
2012

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M. 12 Dec 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)

Research output: ProfessionalReport

Data privacy

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. 11 Jun 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: ScientificReport

Specifications
Syntactics
Linearization
Chemical analysis
system
input
theory
action
citizen
2010
Process algebra
Symbolic analysis
Probabilistic automata
Linear process
Bisimulation
Probabilistic automata
Confluence
Process algebra
Bisimulation
Branching
2009
1 Citations

Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, M. I. A. & Timmer, M. 7 May 2009 Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-09-17)

Research output: ScientificReport

Testing
2006
10 Citations

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, H. & Stoelinga, M. I. A. 10 Dec 2006 Enschede: Centre for Telematics and Information Technology (CTIT). 31 p. (CTIT Technical Report Series; no. 06-24)

Research output: ProfessionalReport

Specifications
Syntactics
Testing
Semantics
Costs

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, H., Stoelinga, M. I. A. & Brandan Briones, L. 2006 23 p.

Research output: Other research outputReport

Specifications
Syntactics
Testing
Semantics
Costs

A Testing Scenario for Probabilistic Processes

Cheung, L., Stoelinga, M. I. A. & Vaandrager, F. W. Jan 2006 Nijmegen: Radboud University Nijmegen. 49 p. (ICIS; no. R06002)

Research output: ProfessionalReport

Trace
Probabilistic automata
Equivalence
Closure properties
Hypothesis test