Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Foshammer, L., Larsen, K. G. & Mariegaard, A., 2016, Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). p. 63-75 13 p. (Electronic Proceedings in Theoretical Computer Science).

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

Open Access
1 Citation (Scopus)

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).

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

Weighted modal transition systems

Bauer, S., Fahrenberg, U., Juhl, L., Legay, A., Larsen, K. G. & Thrane, C., 2013, In : Formal Methods in System Design. 42, 2, p. 193-220

Research output: Contribution to journalJournal article

15 Citations (Scopus)

What is a Timing Anomaly?

Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (ed.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 23. p. 1-12 12 p. (OpenAccess Series in Informatics).

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

Open Access
File
7 Citations (Scopus)
110 Downloads (Pure)

What is Theoretical Computer Science? (Preliminary Version)

Aceto, L. & Ingolfsdottir, A., 2005, Århus: BRICS. 13 p. (B R I C S Notes Series; No. NS-05-1).

Research output: Book/ReportBookCommunication

Widening the Schedulability Hierarchical Scheduling Systems

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). Springer, p. 209-227 18 p. (Lecture Notes in Computer Science; No. 8997).

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

Open Access
File
6 Citations (Scopus)
203 Downloads (Pure)

WNetKAT: A Weighted SDN Programming and Verification Language

Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; No. 70).

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

Worst-Case Memory Consumption Analysis for SCJ

Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 2-10 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

6 Citations (Scopus)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Vol. 10460).

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

3 Citations (Scopus)

WUppaal: A web-service for the Uppaal model-checker

Fogh, P., Cano Hald, T. & Nielsen, B., 11 Apr 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, p. 1-6 6 p.

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

1 Citation (Scopus)

WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process

Lawall, J., Brunel, J. P. M., Palix, N. J-M., Hansen, R. R., Stuart, H. & Muller, G., Jan 2013, In : Software: Practice & Experience. 43, 1, p. 67-92

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)

WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, p. 43-52 10 p.

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