• Matematiktorvet, 303 B

    DK-2800 Kgs. Lyngby

    Denmark

Research Output

Filter
Ph.D. thesis
2019

Real-Time Synchronization on Multi-Core Processors

Strøm, T. B., 2019, Technical University of Denmark. 150 p. (DTU Compute PHD-2019).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
88 Downloads (Pure)

Timed Automata for Security of Real-Time Systems

Vasilikos, P., 2019, Technical University of Denmark. 172 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
17 Downloads (Pure)
2018

Co-Simulation of Cyber-Physical System with Distributed Embedded Control

Pedersen, N., 2018, Technical University of Denmark. 136 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
199 Downloads (Pure)

Design Optimization of IEEE Time-Sensitive Networks (TSN) for Safety-Critical and Real-Time Applications

Gavrilut, V. M., 2018, DTU Compute. 140 p. (DTU Compute PHD-2018, Vol. 500).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
959 Downloads (Pure)

Reconfiguration of Computation and Communication Resources in Multi-Core Real-Time Embedded Systems

Pezzarossa, L., 2018, DTU Compute. 152 p. (DTU Compute PHD-2018, Vol. 469).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
252 Downloads (Pure)

Volume Management for Pin-Constrained Continuous-Flow Microfluidic Biochips

Schneider, A. R., 2018, Technical University of Denmark. 148 p. (DTU Compute PHD-2018, Vol. 479).

Research output: Book/ReportPh.D. thesis

Open Access
File
164 Downloads (Pure)
2017

Methods and Tools for the Analysis, Verification and Synthesis of Genetic Logic Circuits,

Baig, H., 2017, 253 p. (DTU Compute PHD-2017, Vol. 456).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
872 Downloads (Pure)

Test-Driven, Model-Based Systems Engineering.

Munck, A., 2017, DTU Compute. 237 p. (DTU Compute PHD-2017, Vol. 444).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
2422 Downloads (Pure)
2016

Time-Predictable Communication on a Time-Division Multiplexing Network-on-Chip Multicore

Sørensen, R. B., 2016, Kgs. Lyngby: Technical University of Denmark. 143 p. (DTU Compute PHD-2016; No. 423).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
291 Downloads (Pure)

Time-predictable Stack Caching

Abbaspourseyedi, S., 2016, Kgs. Lyngby: Technical University of Denmark. 133 p. (DTU Compute PHD-2015; No. 385).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
348 Downloads (Pure)
2015

An Asynchronous Time-Division-Multiplexed Network-on-Chip for Real-Time Systems

Kasapaki, E., 2015, Kgs. Lyngby: Technical University of Denmark. 150 p. (DTU Compute PHD-2015; No. 361).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
882 Downloads (Pure)

A Probabilistic Approach for the System-Level Design of Multi-ASIP Platforms

Micconi, L., 2015, Kgs. Lyngby: Technical University of Denmark. 176 p. (DTU Compute PHD-2014; No. 347).

Research output: Book/ReportPh.D. thesis

Open Access
File
209 Downloads (Pure)

Design of Mixed-Criticality Applications on Distributed Real-Time Systems

Tamas-Selicean, D., 2015, Kgs. Lyngby: Technical University of Denmark. 160 p. (DTU Compute PHD-2014; No. 329).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
701 Downloads (Pure)

Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach

Dung, P. A., 2015, Kgs. Lyngby: Technical University of Denmark. 83 p. (DTU Compute PHD-2015; No. 373).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
706 Downloads (Pure)

On the Impact of Energy Harvesting on Wireless Sensor Network Security

Di Mauro, A., 2015, Kgs. Lyngby: Technical University of Denmark. 144 p. (DTU Compute PHD-2014; No. 349).

Research output: Book/ReportPh.D. thesis

Open Access
File
1130 Downloads (Pure)
2014

Compilation and Synthesis for Fault-Tolerant Digital Microfluidic Biochips

Alistar, M., 2014, Kgs. Lyngby: Technical University of Denmark. 153 p. (DTU Compute PHD-2014; No. 332).

Research output: Book/ReportPh.D. thesis

Open Access
File
252 Downloads (Pure)

Design and Implementation of Energy Harvesting Powered Wireless Sensor Networks

Vuckovic, D., 2014, Kgs. Lyngby: Technical University of Denmark. 287 p. (DTU Compute PHD-2014; No. 335).

Research output: Book/ReportPh.D. thesis

Open Access
File
192 Downloads (Pure)

Medium Access Control in Energy Harvesting - Wireless Sensor Networks

Fafoutis, X., 2014, Kgs. Lyngby: Technical University of Denmark. 222 p. (DTU Compute PHD-2014; No. 328).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
2466 Downloads (Pure)

Performance Aspects of Synthesizable Computing Systems

Schleuniger, P., 2014, Kgs. Lyngby: Technical University of Denmark. 213 p. (DTU Compute PHD-2014; No. 337).

Research output: Book/ReportPh.D. thesis

Open Access
File
1078 Downloads (Pure)

Resilient Infrastructure and Building Security

Ingwar, M. I., 2014, Kgs. Lyngby: Technical University of Denmark. 152 p. (DTU Compute PHD-2014; No. 322).

Research output: Book/ReportPh.D. thesis

Open Access
File
132 Downloads (Pure)

Safety-Critical Java for Embedded Systems

Rios Rivas, J. R., 2014, Kgs. Lyngby: Technical University of Denmark. 162 p. (IMM-PhD-2014; No. 340).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
1207 Downloads (Pure)

Specification, Verification and Optimisation of Business Processes: A Unified Framework

Herbert, L. T., 2014, Kgs. Lyngby: Technical University of Denmark. 300 p. (DTU Compute PHD-2014; No. 303).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
1066 Downloads (Pure)

Tradeoff analysis for Dependable Real-Time Embedded Systems during the Early Design Phases

Gan, J., 2014, Kgs. Lyngby: Technical University of Denmark. 135 p. (DTU Compute PHD-2014; No. 330).

Research output: Book/ReportPh.D. thesis

Open Access
File
573 Downloads (Pure)
2013

Formal methods for design and simulation of embedded systems

Jakobsen, M. K., 2013, Kgs. Lyngby: Technical University of Denmark. 190 p. (PHD-2013; No. 289).

Research output: Book/ReportPh.D. thesis

Open Access
File
749 Downloads (Pure)
2012

Attacker Modelling in Ubiquitous Computing Systems

Papini, D., 2012, Kgs. Lyngby: Technical University of Denmark. 182 p. (IMM-PHD-2012; No. 295).

Research output: Book/ReportPh.D. thesis

Open Access
File
199 Downloads (Pure)

System-Level Modeling and Synthesis Techniques for Flow-Based Microfluidic Very Large Scale Integration Biochips

Minhass, W. H., 2012, Kgs. Lyngby: Technical University of Denmark. 115 p. (IMM-PhD-2012; No. 286).

Research output: Book/ReportPh.D. thesis

Open Access
File
516 Downloads (Pure)