Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

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). s. 63-75 13 s. (Electronic Proceedings in Theoretical Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2 Citationer (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. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Weighted modal transition systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

15 Citationer (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. (red.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 23. s. 1-12 12 s. (OpenAccess Series in Informatics).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
7 Citationer (Scopus)
111 Downloads (Pure)

What is Theoretical Computer Science? (Preliminary Version)

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

Publikation: Bog/antologi/afhandling/rapportBog

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. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
6 Citationer (Scopus)
209 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; Nr. 70).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, s. 2-10 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (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, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (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, s. 1-6 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (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, I : Software: Practice & Experience. 43, 1, s. 67-92

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

11 Citationer (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, s. 43-52 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review