Distributed, Embedded and Intelligent Systems

Postal addressShow on map
Selma Lagerlöfs Vej 300, Cassiopeia
9220 Aalborg
Denmark

27 results

Filter

2024

Advanced Control Strategies for Enhancing Energy Efficiency in Domestic Heating Systems
Riaz, I., 2024, Aalborg University Open Publishing.
Research output: PhD thesis

Open Access
File

170 Downloads (Pure)
Energy-Efficient Cyber-Physical Systems: A Model-Based Approach
Naeem, M., 2024, Aalborg University Open Publishing. 152 p.
Research output: PhD thesis

Open Access
File

162 Downloads (Pure)
2023

Efficient Model Checking: The Power of Randomness
Kiviriga, A., 2023, Aalborg Universitetsforlag. 153 p.
Research output: PhD thesis

Open Access
File

170 Downloads (Pure)
Quantitative Verification and Synthesis of Resilient Networks
Schou, M. K., 2023, Aalborg Universitetsforlag. 227 p.
Research output: PhD thesis

Open Access
File

209 Downloads (Pure)
Using Clinical Explainable Machine Learning Models for Early Identification of Patients at Risk of Hospital-Acquired Infections
Jakobsen, R. S., 2023, Aalborg Universitetsforlag. 123 p.
Research output: PhD thesis

Open Access
File

335 Downloads (Pure)
2022

Abstract Dependency Graphs for Model Verification
Enevoldsen, S., 2022, Aalborg Universitetsforlag. 191 p.
Research output: PhD thesis

Open Access
File

260 Downloads (Pure)
2021

Network Measurements and Security: Untangling the Web of Domain Names, Certificates, and Mobile Apps
Hageman, K. D., 2021, Aalborg Universitetsforlag. 209 p.
Research output: PhD thesis

Open Access
File

374 Downloads (Pure)
Robustness of Defenses against Deception Attacks
Panum, T. K., 2021, Aalborg Universitetsforlag. 147 p.
Research output: PhD thesis

Open Access
File

361 Downloads (Pure)
Time For Stubborn Game Reductions
Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 p.
Research output: PhD thesis

Open Access
File

196 Downloads (Pure)
Towards Data-Efficient Mobility Analytics in Spatial Networks
Skovgaard Jepsen, T., 2021, Aalborg Universitetsforlag. 169 p.
Research output: PhD thesis

Open Access
File

111 Downloads (Pure)
2020

Quantitative Systems: Efficient Reasoning Under Uncertainty
Mariegaard, A., 2020
Research output: PhD thesis
2018

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 p.
Research output: PhD thesis

Open Access
File

147 Downloads (Pure)
Efficient Analysis and Synthesis of Complex Quantitative Systems
Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p.
Research output: PhD thesis

Open Access
File

586 Downloads (Pure)
Smart Home Models - Analysis, Simulation and Synthesis
Pedersen, T., 2018
Research output: PhD thesis
2014
Program Analysis as Model Checking
Olesen, M. C., 1 Sept 2014, Institut for Datalogi, Aalborg Universitet. 159 p.
Research output: PhD thesis

Open Access
File
341 Downloads (Pure)
2013
Quantitative Models and Analysis for Reactive Systems
Thrane, C., 2013, Department of Computer Sciences. 170 p.
Research output: PhD thesis
Quantities in Games and Modal Transition Systems
Juhl, L., 2013, Department of Computer Science, Aalborg University. 172 p.
Research output: PhD thesis

Open Access
File

688 Downloads (Pure)
2012

Formal Analyses of Web Service Protocols
Vighio, S., Mar 2012, Aalborg. 224 p.
Research output: PhD thesis
Formal Verification of Continuous Systems
Sloth, C., 2012, 225 p.
Research output: PhD thesis

Open Access
File
675 Downloads (Pure)
Java for Cost Effective Embedded Real-Time Software
Korsholm, S., Aug 2012, Department of Computer Science, Aalborg University. 75 p.
Research output: PhD thesis

File

651 Downloads (Pure)
2011

Specification theories for probabilistic systems
Pedersen, M. L., 2011
Research output: PhD thesis

File

1797 Downloads (Pure)
2010

Mapping Framework for Heterogeneous Reconfigurable Architectures: Combining Temporal Partitioning and Multiprocessor Scheduling
Popp, A., 2010, Department of Electronic Systems, Aalborg University. 126 p.
Research output: PhD thesis

Open Access
File

1620 Downloads (Pure)
2009

Design Verification Patterns
Knudsen, J., 2009, Aalborg: Department of Computer Science, Aalborg University.
Research output: PhD thesis
2008
Modal Transition Systems as the Basis for Interface Theories and Product Lines
Nyman, U., 2008, Aalborg: Aalborg Universitet.
Research output: PhD thesis

Open Access
File
605 Downloads (Pure)
2003

Data Structures and Algorithms for the Analysis of Real Time Systems
Behrmann, G., 2003, Aalborg Universitet: Department of Computer Sciences. 179 p.
Research output: PhD thesis
2000

Reasoning about objects using process calculus techniques
Kleist, J., 2000, Aalborg: Aalborg Universitetsforlag.
Research output: PhD thesis
Specification and Test of Real-Time Systems
Nielsen, B., 2000, Aalborg: Aalborg Universitetsforlag.
Research output: PhD thesis

Open Access
File

582 Downloads (Pure)