Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer 1989 2020

Filter
Ph.d.-afhandling
2018
15 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
197 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil

Smart Home Models - Analysis, Simulation and Synthesis

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2014
4 Citationer (Scopus)
185 Downloads (Pure)

Program Analysis as Model Checking

Bidragets oversatte titel: Program Analyse som Model CheckingOlesen, M. C., 1 sep. 2014, Institut for Datalogi, Aalborg Universitet. 159 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; Nr. 85).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
Model checking
Semantics
Hardware
Embedded software
Finite automata
2013

Quantitative Models and Analysis for Reactive Systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

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

Quantities in Games and Modal Transition Systems

Bidragets oversatte titel: Kvantiteter i spil og modale transitionssystemerJuhl, L., 2013, Department of Computer Science, Aalborg University. 172 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
2012

Formal Analyses of Web Service Protocols

Vighio, S., mar. 2012, Aalborg. 224 s. (Ph.D. thesis; Nr. 70).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

589 Downloads (Pure)

Formal Verification of Continuous Systems

Sloth, C., 2012, 225 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
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 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
2011
1732 Downloads (Pure)

Specification theories for probabilistic systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Fil
2010
1544 Downloads (Pure)
Åben adgang
Fil
2009

Design Verification Patterns

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

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; Nr. 45).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
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 s. (Ph.D. Thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

2000

Reasoning about objects using process calculus techniques

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

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; Nr. 12).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil