Seguir
Anders P. Ravn
Anders P. Ravn
Dirección de correo verificada de cs.aau.dk - Página principal
Título
Citado por
Citado por
Año
A calculus of durations
Z Chaochen, CAR Hoare, AP Ravn
Information processing letters 40 (5), 269-276, 1991
12401991
Hybrid systems
RL Grossman, A Nerode, AP Ravn, H Rischel
Springer 736, 474, 1993
6641993
An extended duration calculus for hybrid real-time systems
Z Chaochen, AP Ravn, MR Hansen
Hybrid Systems, 36-59, 1993
2641993
Specifying and verifying requirements of real-time systems
AP Ravn, H Rischel, KM Hansen
IEEE Transactions on Software Engineering 19 (1), 41-55, 1993
2611993
From safety analysis to software requirements
KM Hansen, AP Ravn, V Stavridou
IEEE Transactions on Software Engineering 24 (7), 573-584, 1998
2001998
A formal description of hybrid systems
Z Chaochen, W Ji, AP Ravn
Hybrid Systems III: Verification and Control 3, 511-530, 1996
1811996
Design of embedded real-time computing systems
AP Ravn
Technical University of Denmark, 1995
1301995
Provably correct systems
J He, CAR Hoare, M Fränzle, M Müller-Olm, ER Olderog, M Schenke, ...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994
1271994
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
922011
Distributed arbitration for multiple processors
CJ Georgiou, AP Ravn
US Patent 4,633,394, 1986
871986
Refinement and verification in component-based model-driven design
Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan
Science of Computer Programming 74 (4), 168-196, 2009
802009
Duration specifications for shared processors
Z Chaochen, MR Hansen, AP Ravn, H Rischel
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second …, 1991
691991
Hybrid Systems, volume 736 of LNCS
RL Grossman, A Nerode, AP Ravn, H Rischel
Springer, 1993
641993
Hybrid action systems
M Rönkkö, AP Ravn, K Sere
Theoretical Computer Science 290 (1), 937-973, 2003
612003
Refining system requirements to program specifications
ER Olderog, AP Ravn, JU Skakkebaek
Formal Methods in Real-Time Systems, 1996
611996
A ProCoS project description
D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ...
Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989
591989
Developing correct systems
J Bowen, ER udiger Olderog, AP Ravn
Bulletin of the EATCS, 1993
581993
A hardware abstraction layer in Java
M Schoeberl, S Korsholm, T Kalibera, AP Ravn
ACM Transactions on Embedded Computing Systems (TECS) 10 (4), 1-40, 2011
572011
Requirements capture for embedded real-time systems
AP Ravn, H Rischel
Proc. IMACS-MCTS 91, 147-152, 1991
571991
A profile for safety critical java
M Schoeberl, H Sondergaard, B Thomsen, AP Ravn
10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007
532007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20