Aske Wiid Brekling

Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata

Michael R. Hansen, Tolga Ovatman, Aske Wiid Brekling, 2010, Electron. Notes Theor. Comput. Sci..

A practical approach to model checking Duration Calculus using Presburger Arithmetic

Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling, 2013, Annals of Mathematics and Artificial Intelligence.

Semantics and Verification of a Language for Modelling Hardware Architectures

Michael R. Hansen, Jan Madsen, Aske Wiid Brekling, 2007, Formal Methods and Hybrid Real-Time Systems.

Modeling and Analysis Framework for Embedded Systems

Jan Madsen, Aske Wiid Brekling, Michael Riis Hansen, 2009 .

Modelling and Verification of MPSoC

Aske Wiid Brekling, 2006 .

Modelling and Analyses of Embedded Systems Design

Jan Madsen, Michael R. Hansen, Aske Wiid Brekling, 2010 .

System-level Verification of Multi-Core Embedded Systems using Timed-Automata

Michael R. Hansen, Jan Madsen, Aske Wiid Brekling, 2008 .

Models and formal verification of multiprocessor system-on-chips

Michael R. Hansen, Jan Madsen, Aske Wiid Brekling, 2008, J. Log. Algebraic Methods Program..