Aske Wiid Brekling

According to our database, Aske Wiid Brekling authored at least 5 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

A practical approach to model checking Duration Calculus using Presburger Arithmetic.

Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling

Ann. Math. Artif. Intell., 2014

2011

On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.

Michael R. Hansen, Aske Wiid Brekling

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

2008

Models and formal verification of multiprocessor system-on-chips.

Aske Wiid Brekling, Michael R. Hansen, Jan Madsen

J. Log. Algebraic Methods Program., 2008

Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata.

Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

2007

Semantics and Verification of a Language for Modelling Hardware Architectures.

Michael R. Hansen, Jan Madsen, Aske Wiid Brekling

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007