Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Ph.D. thesis
2018
14 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
185 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

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

2014
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
2013

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
582 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
2012

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
2011
1731 Downloads (Pure)

Specification theories for probabilistic systems

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

Research output: Book/ReportPh.D. thesisResearch

File
2010
1542 Downloads (Pure)
Open Access
File
2009

Design Verification Patterns

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

Research output: Book/ReportPh.D. thesisResearch

2008
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)
2003

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

2000

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

448 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