Concepedia

Andreas Engelbredt Dalsgaard

AE

Statistics

Publications

3

Citations

89

H-Index

3

Active since

2010

Affiliations

Aalborg University(Current)

Andreas Engelbredt Dalsgaard is an author at Aalborg University specializing in formal methods, engineering, and formal verification.

Top concepts

Publications per year

2010–2018

3

Publications

3

METAMOC: Modular Execution Time Analysis using Model Checking

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 68 citations · Full text

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh et al. · Fundamenta Informaticae · 2018 · 11 citations · Full text

, , +26

Private memory allocation analysis for safety-critical Java

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Martin Schoeberl · 2012 · 10 citations

, , +19

1–3 of 3