Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Paper without publisher/journal
2014
8 Citations (Scopus)
432 Downloads (Pure)

Towards a Method for Combined Model-based Testing and Analysis

Nielsen, B., 9 Jan 2014. 10 p.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

File
2011

Optimal Infinite Runs in One-Clock Priced Timed Automata

David, A., Ejsing-Duun, D., Fontani, L., Larsen, K. G., Popescu, V. & Haubach Smedegård, J., 2011. 9 p.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

Timed Automata
Bisimulation
Costs
Graph in graph theory
Partitioning
2009

A quantitative characterization of weighted Kripke structures in temporal logic

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

2004

Modelling and Verification of Real Time Systems

Larsen, K. G., 2004.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearch