Andreas Engelbredt Dalsgaard

Publikationer

  1. 2017
  2. Udgivet

    Extended dependency graphs and efficient distributed fixed-point computation. / Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr; Pastva, Samuel; Srba, Jiří.

    Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Vol. 10258 LNCS Springer Verlag, 2017. s. 139-158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  3. 2016
  4. Udgivet

    Distributed computation of fixed points on dependency graphs. / Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiri.

    Dependable Software Engineering: Theories, Tools, and Applications. Springer, 2016. s. 197-212 (Lecture Notes in Computer Science, Vol. 9984).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  5. E-pub ahead of print

    Safety-critical Java for embedded systems. / Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Korsholm, Stephan E.; Ravn, Anders P.; Rios Rivas, Juan Ricardo; Strøm, Tórur Biskopstø; Søndergaard, Hans; Wellings, Andy; Zhao, Shuai.

    I: Concurrency and Computation: Practice & Experience, Nr. Special Issue, 2016.

    Publikation: Forskning - peer reviewTidsskriftartikel

  6. Udgivet
  7. 2014
  8. Udgivet

    Certifiable Java for Embedded Systems. / Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Korsholm, Stephan E.; Ravn, Anders P.; Rivas, Juan Ricardo Rios; Strøm, Tórur Biskopstø; Søndergaard, Hans.

    Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2014. s. 10-19.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  9. 2013
  10. Udgivet

    Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction. / Laarman, Alfons; Olesen, Mads Chr.; Dalsgaard, Andreas; Larsen, Kim G.; Pol, Jaco van de.

    Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Vol. 8044 Springer Publishing Company, 2013. s. 968-983 (Lecture Notes in Computer Science, Vol. 8044).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  11. Udgivet

    Worst-Case Memory Consumption Analysis for SCJ. / Andersen, Jeppe Lunde; Todberg, Mikkel; Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof.

    Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, 2013. s. 2-10 (International Workshop of Java Technologies for Real-Time and Embedded Systems. Proceedings).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  12. 2012
  13. Udgivet

    Multi-core reachability for timed automata. / Dalsgaard, Andreas Engelbredt; Laarman, Alfons; Larsen, K.G.; Olesen, M.Chr.; Van De Pol, Jaco.

    Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. red. / Marcin Jurdzinski; Dejan Nickovic. Springer Publishing Company, 2012. s. 91-106 (Lecture Notes in Computer Science, Vol. 7595).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  14. Udgivet

    Private memory allocation analysis for safety-critical java. / Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof; Schoeberl, Martin.

    JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. s. 9-17 (International Workshop of Java Technologies for Real-Time and Embedded Systems. Proceedings).

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  15. 2011
  16. Udgivet
  17. 2010
  18. Udgivet

    METAMOC; Modular Execution Time Analysis using Model Checking. / Dalsgaard, Andreas Engelbredt; Olesen, Mads Chr.; Toft, Martin; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010). 2010.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  19. 2009
  20. Udgivet