Anders P. Ravn

2008
40	EE	Joseph C. Okika, Anders P. Ravn: Classification of SOA Contract Specification Languages. ICWS 2008: 433-440
39	EE	Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn: Hardware Objects for Java. ISORC 2008: 445-452
38	EE	Stephan Korsholm, Martin Schoeberl, Anders P. Ravn: Interrupt Handlers in Java. ISORC 2008: 453-457
2007
37	EE	Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145
36	EE	John Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413
35	EE	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
34	EE	Martin Schoeberl, Hans Sondergaard, Bent Thomsen, Anders P. Ravn: A Profile for Safety Critical Java. ISORC 2007: 94-101
33		Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch: Automated distributed simulation in PTOLEMY II. Parallel and Distributed Computing and Networks 2007: 138-143
32	EE	Ernst-Rüdiger Olderog, Anders P. Ravn: Editorial: Hybrid Systems. Acta Inf. 43(7): 449-450 (2007)
2006
31		Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344
2004
30	EE	Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Asp. Comput. 16(2): 140-154 (2004)
2003
29	EE	Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn: AsmL Specification of a Ptolemy II Scheduler. Abstract State Machines 2003: 417
28	EE	Thomas Bak, Jan Bendtsen, Anders P. Ravn: Hybrid Control Design for a Wheeled Mobile Robot. HSCC 2003: 50-65
27		Mauno Rönkkö, Anders P. Ravn, Kaisa Sere: Hybrid action systems. Theor. Comput. Sci. 290(1): 937-973 (2003)
2000
26	EE	Ernst-Rüdiger Olderog, Anders P. Ravn: Completeness in formal specification language design for process-control systems. FMSP 2000: 89-100
1999
25	EE	Anders P. Ravn, Hans Rischel: Real-Time Constraints Through the ProCoS Layers. Correct System Design 1999: 61-78
1998
24		Anders P. Ravn, Hans Rischel: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings Springer 1998
23		Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345
22	EE	Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou: From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24(7): 573-584 (1998)
1997
21	EE	Mauno Rönkkö, Anders P. Ravn: Action Systems with Continuous Behaviour. Hybrid Systems 1997: 304-323
1996
20		Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel: Engineering of Real-Time Systems with an Experiment in Hybrid Control. European Educational Forum: School on Embedded Systems 1996: 316-352
1995
19		Michael Schenke, Anders P. Ravn: Refinement from a Control Problem to Programs. Formal Methods for Industrial Applications 1995: 403-427
18		Zhou Chaochen, Wang Ji, Anders P. Ravn: A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530
17		Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber: Development of Safety-Critical Real-Time Systems. SOFSEM 1995: 206-235
1994
16	EE	Anders P. Ravn, Jørgen Staunstrup: Interface models. CODES 1994: 157-164
15		Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Provably Correct Systems. FTRTFT 1994: 288-335
14		Anders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen: Hybrid Control of a Robot - A Case Study. Hybrid Systems 1994: 391-404
1993
13		Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel: Hybrid Systems Springer 1993
12	EE	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen: Specifying and Verifying Requirements of Real-Time Systems. IEEE Trans. Software Eng. 19(1): 41-55 (1993)
1992
11		Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. FTRTFT 1992: 21-32
10		Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel: Introduction. Hybrid Systems 1992: 1-3
9		Zhou Chaochen, Anders P. Ravn, Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
8		Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen: A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems 1992: 452-474
1991
7		Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn: A Calculus of Durations. Inf. Process. Lett. 40(5): 269-276 (1991)
1988
6		Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen: A Design Method for Embedded Software Systems. BIT 28(3): 427-438 (1988)
1986
5		Anders P. Ravn: Abstractions for Fault Tolerance in Distributed Systems - Response. IFIP Congress 1986: 735-738
1984
4	EE	William F. Appelbe, Anders P. Ravn: Encapsulation Constructs in Systems Programming Languages. ACM Trans. Program. Lang. Syst. 6(2): 129-158 (1984)
1982
3		Anders P. Ravn: Pointer Variables in Concurrent Pascal. Softw., Pract. Exper. 12(3): 211-222 (1982)
1980
2		Anders P. Ravn: Device Monitors. IEEE Trans. Software Eng. 6(1): 49-53 (1980)
1979
1		Jørn Jensen, Søren Lauesen, Anders P. Ravn: Synchronization under a Commercial Operating System. Softw., Pract. Exper. 9(9): 729-740 (1979)

Coauthor Index

1	Torben O. Andersen	[14]
2	William F. Appelbe	[4]
3	Thomas Bak	[28]
4	Jan Bendtsen	[28]
5	Zhenbang Chen	[35] [37]
6	Finn Conrad	[14]
7	Daniel Lázaro Cuadrado	[29] [33]
8	Jorge Cuéllar	[17]
9	Marcin Engel	[8]
10	Thomas J. Eriksen	[20]
11	Martin Fränzle	[15]
12	Pablo Giambiagi	[31]
13	Robert L. Grossman	[10] [13]
14	Abdel Hakim Hannousse	[37]
15	Kirsten Mark Hansen	[12] [22]
16	Michael R. Hansen	[9] [11] [15]
17	Jifeng He	[15]
18	C. A. R. Hoare (Tony Hoare)	[7] [15]
19	Michael Holdgaard	[20]
20	Dang Van Hung	[37]
21	Jørn Jensen	[1]
22	Wang Ji	[18]
23	Istvan Knoll	[37]
24	John Knudsen	[36]
25	Peter Koch	[29] [33]
26	Stephan Korsholm	[38] [39]
27	Marcin Kubica	[8]
28	Søren Lauesen	[1]
29	Xiaoshan Li	[23] [30] [37]
30	Yang Liu	[37]
31	Zhiming Liu	[23] [30] [35] [37]
32	Hans Henrik Løvengreen	[6]
33	Jan Madey	[8]
34	Simon Mørk	[17]
35	Markus Müller-Olm	[15]
36	Qu Nan	[37]
37	Anil Nerode	[10] [13]
38	Joseph C. Okika	[37] [40]
39	Ernst-Rüdiger Olderog	[15] [26] [32]
40	Olaf Owe	[31]
41	David Lorge Parnas	[8]
42	Hans Rischel	[6] [10] [11] [12] [13] [14] [15] [17] [20] [24] [25]
43	Mauno Rönkkö	[21] [27]
44	Michael Schenke	[15] [19]
45	Gerardo Schneider	[31]
46	Martin Schoeberl	[34] [38] [39]
47	A. John van Schouwen	[8]
48	Kaisa Sere	[27]
49	Arne Skou	[36]
50	Hans Sondergaard	[34]
51	Jørgen Staunstrup	[16]
52	Victoria Stavridou	[22]
53	Volker Stolz	[35] [37]
54	Christian Thalinger	[39]
55	Bent Thomsen	[34]
56	Isolde Wildgruber	[17]
57	Lu Yang	[35] [37]
58	Naijun Zhan	[37]
59	Chaochen Zhou (Zhou Chaochen)	[7] [9] [11] [18]

Colors in the list of coauthors