Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid systems, 209-229, 1992 | 1722 | 1992 |
A calculus of durations Z Chaochen, CAR Hoare, AP Ravn Information processing letters 40 (5), 269-276, 1991 | 1160 | 1991 |
Hybrid systems RL Grossman, A Nerode, AP Ravn, H Rischel Springer, 1993 | 574 | 1993 |
An extended duration calculus for hybrid real-time systems Z Chaochen, AP Ravn, MR Hansen Hybrid Systems, 36-59, 1992 | 250 | 1992 |
Specifying and verifying requirements of real-time systems AP Ravn, H Rischel, KM Hansen IEEE Transactions on Software Engineering 19 (1), 41-55, 1993 | 248 | 1993 |
From safety analysis to software requirements KM Hansen, AP Ravn, V Stavridou IEEE Transactions on Software Engineering 24 (7), 573-584, 1998 | 187 | 1998 |
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, 288-335, 1994 | 151* | 1994 |
A formal description of hybrid systems Z Chaochen, W Ji, AP Ravn International Hybrid Systems Workshop, 511-530, 1995 | 144 | 1995 |
Design of embedded real-time computing systems AP Ravn Technical University of Denmark, 1995 | 129 | 1995 |
Distributed arbitration for multiple processors CJ Georgiou, AP Ravn US Patent 4,633,394, 1986 | 87 | 1986 |
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 | 73 | 2009 |
Duration specifications for shared processors Z Chaochen, MR Hansen, AP Ravn, H Rischel International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1992 | 69 | 1992 |
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 | 60 | 2011 |
Refining system requirements to program specifications ER Olderog, AP Ravn, JU Skakkebaek Formal Methods in Real-Time Systems, 1996 | 57 | 1996 |
Developing correct systems J Bowen, ER udiger Olderog, AP Ravn Bulletin of the EATCS, 1993 | 57 | 1993 |
Hybrid action systems M Rönkkö, AP Ravn, K Sere Theoretical Computer Science 290 (1), 937-973, 2003 | 55 | 2003 |
Requirements capture for embedded real-time systems AP Ravn, H Rischel Proc. IMACS-MCTS 91, 147-152, 1991 | 55 | 1991 |
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 | 52 | 2011 |
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 | 52 | 1989 |
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 | 49 | 2007 |