Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Konferenceabstrakt i 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 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskningpeer 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, s. 22-24 3 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

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. (red.). University of Reykjavik, 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

2004

Intelligent Sensory Using Compact Data Structures and Bayesian Networks

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning