Aske Wiid Brekling

  1. 2013
  2. E-pub ahead of print
  3. 2011
  4. Published

    On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. / Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2011. p. 115-122 (Uden navn).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  5. 2010
  6. Published

    Analysis for Embedded Systems: Experiments with Priced Timed Automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

    In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, 2010, p. 81-95.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  7. Published

    Modelling and Analyses of Embedded Systems Design. / Brekling, Aske Wiid; Hansen, Michael Reichhardt (Supervisor); Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. (IMM-PHD-2011-236).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  8. Published

    Modelling and Analysis for Embedded Systems. / Madsen, Jan; Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    Model-Based Design for Embedded Systems. CRC Press, 2010. p. 121-145 (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2010

  9. 2009
  10. Published

    A modelling and analysis framework for embedded systems. / Madsen, Jan; Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    Model-Based Design for Embedded Systems. CRC Press : Routledge, 2009. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  11. Published

    Analysis of Quantitative Properties of Hardware Specifications. / Brekling, Aske Wiid; Madsen, Jan; Hansen, Michael Reichhardt.

    21st Nordic Workshop on Programming Theory (NWPT'09). DTU Informatik, Danmarks Tekniske Universitet, 2009. p. 92-94.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  12. Published

    MoVES - A Framework for Modelling and Verifying Embedded Systems. / Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan.

    2009 International Conference on Microelectronics. IEEE, 2009. p. 143-146.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  13. Published

    Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009. / Hansen, Michael Reichhardt (Editor); Brekling, Aske Wiid (Editor).

    Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2009. 106 p.

    Publication: ResearchReport – Annual report year: 2009

  14. 2008
  15. Published

    Analysis of costs of embedded systems: experiments with priced timed automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

    Formal Foundations of Embedded Software and Component-Based Software Architectures: FESCA@ETAPS. Elsevier, 2008. p. 1-14.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word