Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Conference abstract in proceeding
2016

Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Larsen, K. G., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

2008

Type inference for a correspondence certifying type system

Hüttel, H. & Dahl, M., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Alfapress, p. 22-24 3 p.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearch

2006

UPPAAL-Tiga: Timed Games for Everyone

David, A., Larsen, K. G., Behrmann, G., Fleury, E., Lime, D. & Cougnard, A., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory. Aceto, L. & Ingolfdottir, A. (eds.). University of Reykjavik, 4 p.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearch

2004

Intelligent Sensory Using Compact Data Structures and Bayesian Networks

Hansen, J. A., 2004, Proceeding of the 16th Nordic Workshop on Programming Theory. 16 ed. Department of Information Tecnology, Uppsala University, p. 99-102 4 p.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearch