Aske Wiid Brekling

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Quantifier Elimination

Linear Time Temporal Logic

Transition Systems

Verification Method

Top Venues

Ann. Math. Artif. Intell.

Publications

Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling
A practical approach to model checking Duration Calculus using Presburger Arithmetic. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Michael R. Hansen, Aske Wiid Brekling
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME (2011)
Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Aske Wiid Brekling, Michael R. Hansen, Jan Madsen
Models and formal verification of multiprocessor system-on-chips. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems (2007)