Aske Wiid Brekling

PhD Student

I am working as a PhD student at the DTU Informatics, Technical University of Denmark.

Contact Information
Technical University of Denmark
DTU Informatics
Building 322, office 223
Phone: (+45) 4525 3745
Email: awb(a)imm.dtu.dk

Publications

• Master's Thesis
  • Aske Wiid Brekling
    Modelling and Verification of MPSoC
    Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2006
    [full] [bibtex] [pdf]
  
  
• Journal Papers
  • Aske Brekling, Michael R. Hansen, Jan Madsen
    Models and formal verification of multiprocessor system-on-chips
    The Journal of Logic and Algebraic Programming, vol: 77(1-2), p. 1-19, 2008
    [full] [Orbit]
  
  
• Conference Papers
  • Aske Brekling, Michael R. Hansen, Jan Madsen
    A Timed-Automata Semantics for a System-Level MPSoC model
    The 18th Nordic Workshop on Programming Theory, Reykjavik University, 2006
    [full] [Orbit]
  
  
  • Jens Ellebæk, Kristian S. Knudsen, Aske Brekling, Michael R. Hansen, Jan Madsen
    MOVES - A tool for Modeling and Verification of Embedded Systems
    DATE'07 University Booth, 2007
    [full] [Orbit]
  
  
  • Aske Brekling, Michael R. Hansen, Jan Madsen
    Hardware Modelling Language and Verification of Design Properties
    The 19th Nordic Workshop on Programming Theory, University of Oslo, 2007
    [full] [Orbit]
  
  
  • Jan Madsen, Michael R. Hansen, Kristian S. Knudsen, Jens E. Nielsen, Aske Brekling
    System-level verification of multi-core embedded systems using timed-automata
    The 17th World Congress International Federation of Automatic Control, 2008
    [full] [Orbit]
  
  
  • Tolga Ovatman, Aske Brekling, Michael R. Hansen
    Analysis of costs of embedded systems: experiments with priced timed automata
    The 4th Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008
    [full] [Orbit]
  
  
  • Aske Brekling, Michael R. Hansen, Jan Madsen
    Analysis of Quantitative Properties of Hardware Specifications
    The 21st Nordic Workshop on Programming Theory, Technical University of Denmark, 2009
    [program]
  
  
  • Aske Brekling, Michael R. Hansen, Jan Madsen
    MoVES - A Framework for Modelling and Verifying Embedded Systems
    The 21st International Conference on Microelectronics, Marrakech, Morocco, 2009
    [program]
  
  
• Book Chapters
  • Michael R. Hansen, Jan Madsen, Aske Brekling
    Semantics and verification of a language for modelling hardware architectures
    Festschript for Dines Bjørner and Zhou Chaochen, Springer-Verlag, 2007
    [full] [Orbit]
  
  
  • Jan Madsen, Michael R. Hansen, Aske W. Brekling
    A Modelling and Analysis Framework for Embedded Systems
    Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009
  
  
• Conference Posters
  • Aske W. Brekling, Michael R. Hansen, Jan Madsen
    Formal Verification of Design Properties of Hardware Architectures
    DATE'08 Conference Poster Presentation, 2008
    [full] [Orbit]