Andreas Engelbredt Dalsgaard

Publikationer

  1. 2018
  2. Udgivet
  3. 2017
  4. 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, Jiri.

    Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Bind 10258 LNCS Springer, 2017. s. 139-158.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  5. Udgivet

    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, Bind 29, Nr. 22, 2017.

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  6. 2016
  7. 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.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  8. Udgivet

    Verification of Safety Critical Systems using Program Analysis and Model Checking. / Dalsgaard, Andreas Engelbredt.

    2016. 197 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

  9. 2014
  10. 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: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  11. 2013
  12. 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). Bind 8044 Springer Publishing Company, 2013. s. 968-983.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  13. 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.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  14. 2012
  15. 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.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  16. 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.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  17. 2011
  18. Udgivet
  19. 2010
  20. 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: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceeding

  21. 2009
  22. Udgivet