Articles with public access mandates - Anders P. RavnLearn more
Not available anywhere: 4
Safety-critical Java for low-end embedded platforms
H Søndergaard, SE Korsholm, AP Ravn
Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012
Mandates: Danish Council for Technology and Innovation
A real‐time Java tool chain for resource constrained platforms
SE Korsholm, H Søndergaard, AP Ravn
Concurrency and Computation: Practice and Experience 26 (14), 2407-2431, 2014
Mandates: Danish Council for Technology and Innovation
A test suite for Safety-Critical Java using JML
AP Ravn, H Søndergaard
Proceedings of the 11th International Workshop on Java Technologies for Real …, 2013
Mandates: Danish Council for Technology and Innovation
A Safety-Critical Java Technology Compatibility Kit
H Søndergaard, SE Korsholm, AP Ravn
Proceedings of the 12th International Workshop on Java Technologies for Real …, 2014
Mandates: Danish Council for Technology and Innovation
Available somewhere: 7
An abstract model for proving safety of multi-lane traffic manoeuvres
M Hilscher, S Linker, ER Olderog, AP Ravn
International Conference on Formal Engineering Methods, 404-419, 2011
Mandates: German Research Foundation
A two-way path between formal and informal design of embedded systems
M Chen, AP Ravn, S Wang, M Yang, N Zhan
Unifying Theories of Programming: 6th International Symposium, UTP 2016 …, 2017
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China
Linking discrete and continuous models, applied to traffic manoeuvrers
ER Olderog, AP Ravn, R Wisniewski
Provably Correct Systems, 95-120, 2017
Mandates: German Research Foundation
Safety‐critical Java for embedded systems
M Schoeberl, AE Dalsgaard, RR Hansen, SE Korsholm, AP Ravn, ...
Concurrency and Computation: Practice and Experience 29 (22), e3963, 2017
Mandates: Danish Council for Technology and Innovation
Certifiable Java for embedded systems
M Schoeberl, AE Dalsgaard, RR Hansen, SE Korsholm, AP Ravn, ...
Proceedings of the 12th International Workshop on Java Technologies for Real …, 2014
Mandates: Danish Council for Technology and Innovation
Linking spatial and dynamic models for traffic maneuvers
ER Olderog, AP Ravn, R Wisniewski
2015 54th IEEE Conference on Decision and Control (CDC), 6809-6816, 2015
Mandates: German Research Foundation
Validating Timed Component Contracts
T Le Guilly, S Liu, P Olsen, AP Ravn, A Skou
2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015
Mandates: European Commission
Publication and funding information is determined automatically by a computer program