Artikel mit Open-Access-Mandaten - Mads Chr. OlesenWeitere Informationen
Verfügbar: 5
What is a Timing Anomaly?.
F Cassez, RR Hansen, M Chr
12th International Workshop on Worst-Case Execution-Time Analysis (WCET), 1-12, 2012
Mandate: Danish Council for Technology and Innovation
Extended dependency graphs and efficient distributed fixed-point computation
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ...
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
Mandate: European Commission, Innovation Fund Denmark
A distributed fixed-point algorithm for extended dependency graphs
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, PG Jensen, TS Jepsen, ...
Fundamenta Informaticae 161 (4), 351-381, 2018
Mandate: European Commission, Innovation Fund Denmark
PtrTracker: Pragmatic pointer analysis
S Biallas, MC Olesen, F Cassez, R Huuck
2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013
Mandate: Australian Research Council
Adaptable value-set analysis for low-level code
J Brauer, RR Hansen, S Kowalewski, KG Larsen, MC Olesen
6th International Workshop on Systems Software Verification (2012), 2012
Mandate: Deutsche Forschungsgemeinschaft
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt