Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Ph.D. thesis
Ph.D. thesis
16 Downloads (Pure)

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Data Structures and Algorithms for the Analysis of Real Time Systems

Behrmann, G., 2003, Aalborg Universitet: Department of Computer Sciences. 179 p. (Ph.D. Thesis).

Research output: Book/ReportPh.D. thesisResearch

Design Verification Patterns

Knudsen, J., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 52).

Research output: Book/ReportPh.D. thesisResearch

198 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Formal Analyses of Web Service Protocols

Vighio, S., Mar 2012, Aalborg. 224 p. (Ph.D. thesis; No. 70).

Research output: Book/ReportPh.D. thesisResearch

589 Downloads (Pure)

Formal Verification of Continuous Systems

Sloth, C., 2012, 225 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Dynamical systems
Specifications
Formal verification
Large scale systems
Control systems
524 Downloads (Pure)

Java for Cost Effective Embedded Real-Time Software

Korsholm, S., Aug 2012, Department of Computer Science, Aalborg University. 75 p.

Research output: Book/ReportPh.D. thesisResearch

File
1546 Downloads (Pure)
Open Access
File
491 Downloads (Pure)

Modal Transition Systems as the Basis for Interface Theories and Product Lines

Nyman, U., 2008, Aalborg: Aalborg Universitet. (Ph.D. thesis; No. 45).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Specifications
Hardness
Color vision
Embedded software
Interfaces (computer)
4 Citations (Scopus)
185 Downloads (Pure)

Program Analysis as Model Checking

Olesen, M. C., 1 Sep 2014, Institut for Datalogi, Aalborg Universitet. 159 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 85).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Model checking
Semantics
Hardware
Embedded software
Finite automata

Quantitative Models and Analysis for Reactive Systems

Thrane, C., 2013, Department of Computer Sciences. 170 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

Systems analysis
Specifications
Mobile phones
Embedded systems
Websites
587 Downloads (Pure)

Quantities in Games and Modal Transition Systems

Juhl, L., 2013, Department of Computer Science, Aalborg University. 172 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Reasoning about objects using process calculus techniques

Kleist, J., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 7).

Research output: Book/ReportPh.D. thesisResearch

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

449 Downloads (Pure)

Specification and Test of Real-Time Systems

Nielsen, B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 12).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
1734 Downloads (Pure)

Specification theories for probabilistic systems

Pedersen, M. L., 2011, (Ph.d. theses; No. 67).

Research output: Book/ReportPh.D. thesisResearch

File