I agree that this site is using cookies. You can find further informations here.
X
Dalsgaard, Andreas Engelbredt
5  results:
Search for persons X
?
1

Safety‐critical Java for embedded systems:

Schoeberl, Martin ; Dalsgaard, Andreas Engelbredt ; Hansen, René Rydhof...
Concurrency and Computation: Practice and Experience.  29 (2016)  22 - p. , 2016
Link: https://doi.org/10.1002/..
 
?
2

Certifiable Java for Embedded Systems:

, In: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems,
Schoeberl, Martin ; Dalsgaard, Andreas Engelbredt ; Hansen, René Rydhof... - p. 10-19 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

Verification of Safety Critical Systems using Program Analy..:

Dalsgaard, Andreas Engelbredt
Dalsgaard , A E 2016 , ' Verification of Safety Critical Systems using Program Analysis and Model Checking ' . https://doi.org/10.5278/VBN.PHD.ENGSCI.00117.  , 2016
Link: https://vbn.aau.dk/da/pu..
 
?
4

Safety-critical Java for embedded systems:

Schoeberl, Martin ; Dalsgaard, Andreas Engelbredt ; Hansen, René Rydhof...
https://orbit.dtu.dk/en/publications/952a8114-b693-4d8e-90da-5c3296394801.  , 2016
Link: https://orbit.dtu.dk/en/..
 
?
5

Opaal:A Lattice Model Checker:

Dalsgaard, Andreas Engelbredt ; Hansen, Rene Rydhof ; Jørgensen, Kenneth Yrke...
https://vbn.aau.dk/da/publications/b4ae7e8e-a7fb-47f0-8340-2d816ac72748.  , 2011
Link: https://vbn.aau.dk/da/pu..
 
1-5