ask others

Aske Wiid Brekling

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/HansenPB14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/HansenPB14
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): 251-278 (2014)
2011
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/time/HansenB11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/time/HansenB11
Michael R. Hansen, Aske Wiid Brekling:
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME 2011: 115-122
2010
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/OvatmanBH10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/OvatmanBH10
Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen:
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 238(6): 81-95 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jlp/BreklingHM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/BreklingHM08
Aske Wiid Brekling, Michael R. Hansen, Jan Madsen:
Models and formal verification of multiprocessor system-on-chips. J. Log. Algebr. Program. 77(1-2): 1-19 (2008)
2007
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HansenMB07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/HansenMB07
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: 300-319

Coauthor Index

see FAQ

maintained by

, founded at