Anders P. Ravn Vis

*	2009
46	EE	Zhiming Liu, Anders P. Ravn: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Springer 2009
45	EE	Thomas Bøgholm, René Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: A predictable Java profile: rationale and implementations. JTRES 2009: 150-159
44	EE	Istvan Knoll, Anders P. Ravn, Arne Skou: Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE 2009: 29-35
43	EE	Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn: Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84
42	EE	Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009)
	2008
41	EE	Joseph C. Okika, Anders P. Ravn: Classification of SOA Contract Specification Languages. ICWS 2008: 433-440
40	EE	Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn: Hardware Objects for Java. ISORC 2008: 445-452
39	EE	Stephan Korsholm, Martin Schoeberl, Anders P. Ravn: Interrupt Handlers in Java. ISORC 2008: 453-457
	2007
38	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
37	EE	John Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413
36	EE	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
35	EE	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn: A Profile for Safety Critical Java. ISORC 2007: 94-101
34		Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch: Automated distributed simulation in PTOLEMY II. Parallel and Distributed Computing and Networks 2007: 138-143
33	EE	Ernst-Rüdiger Olderog, Anders P. Ravn: Editorial: Hybrid Systems. Acta Inf. 43(7): 449-450 (2007)
	2006
32		Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344
31	EE	Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang: Harnessing Theories for Tool Support. ISoLA 2006: 371-382
	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	Thomas Bøgholm	[45]
6	Zhenbang Chen	[36] [38] [42]
7	Finn Conrad	[14]
8	Daniel Lázaro Cuadrado	[29] [34]
9	Jorge Cuéllar	[17]
10	Marcin Engel	[8]
11	Thomas J. Eriksen	[20]
12	Martin Fränzle	[15]
13	Pablo Giambiagi	[32]
14	Robert L. Grossman	[10] [13]
15	Abdel Hakim Hannousse	[38]
16	Kirsten Mark Hansen	[12] [22]
17	Michael R. Hansen	[9] [11] [15]
18	René Hansen	[45]
19	Jifeng He	[15]
20	C. A. R. Hoare (Tony Hoare)	[7] [15]
21	Michael Holdgaard	[20]
22	Dang Van Hung	[38]
23	Jørn Jensen	[1]
24	Wang Ji	[18]
25	Istvan Knoll	[38] [44]
26	John Knudsen	[37]
27	Peter Koch	[29] [34]
28	Stephan Korsholm	[39] [40]
29	Marcin Kubica	[8]
30	Søren Lauesen	[1]
31	Xiaoshan Li	[23] [30] [38]
32	Yang Liu	[38]
33	Zhiming Liu	[23] [30] [31] [36] [38] [42] [43] [46]
34	Hans Henrik Løvengreen	[6]
35	Jan Madey	[8]
36	Vladimir Mencl	[31]
37	Charles Morisset	[43]
38	Simon Mørk	[17]
39	Markus Müller-Olm	[15]
40	Qu Nan	[38]
41	Anil Nerode	[10] [13]
42	Joseph C. Okika	[38] [41]
43	Ernst-Rüdiger Olderog	[15] [26] [33]
44	Olaf Owe	[32]
45	David Lorge Parnas	[8]
46	Hans Rischel	[6] [10] [11] [12] [13] [14] [15] [17] [20] [24] [25]
47	Mauno Rönkkö	[21] [27]
48	Michael Schenke	[15] [19]
49	Gerardo Schneider	[32]
50	Martin Schoeberl	[35] [39] [40]
51	A. John van Schouwen	[8]
52	Kaisa Sere	[27]
53	Arne Skou	[37] [44]
54	Hans Søndergaard	[35] [45]
55	Jørgen Staunstrup	[16]
56	Victoria Stavridou	[22]
57	Volker Stolz	[36] [38] [42]
58	Christian Thalinger	[40]
59	Bent Thomsen	[35] [45]
60	Isolde Wildgruber	[17]
61	Lu Yang	[31] [36] [38]
62	Naijun Zhan	[38] [42]
63	Miaomiao Zhang	[43]
64	Chaochen Zhou (Zhou Chaochen)	[7] [9] [11] [18]

Colors in the list of coauthors