Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anders P. Ravn
2010 – today
- 2013
[j21]Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen: Towards harnessing theories through tool support for hard real-time Java programming. ISSE 9(1): 17-28 (2013)- [j20]Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Saleem Vighio: Model-checking web services business activity protocols. STTT 15(2): 125-147 (2013)
- [c44]Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou: HomePort: Middleware for heterogeneous home automation networks. PerCom Workshops 2013: 627-633
- 2012
- [j19]Anders P. Ravn, Martin Schoeberl: Safety-critical Java with cyclic executives on chip-multiprocessors. Concurrency and Computation: Practice and Experience 24(8): 772-788 (2012)
- [j18]Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi, Thomas Bak, Anders P. Ravn: Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults. Int. J. Systems Science 43(11): 1985-1997 (2012)
- [j17]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski: Compositional verification of real-time systems using Ecdar. STTT 14(6): 703-720 (2012)
- [c43]Hans Søndergaard, Stephan Korsholm, Anders P. Ravn: Safety-critical Java for low-end embedded platforms. JTRES 2012: 44-53
- [e5]Gordon J. Pace, Anders P. Ravn (Eds.): Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software. EPTCS 94, 2012
- 2011
- [j16]Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn: A Hardware Abstraction Layer in Java. ACM Trans. Embedded Comput. Syst. 10(4): 42 (2011)
- [c42]Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn: An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM 2011: 404-419
- [c41]Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm: Refactoring Real-Time Java Profiles. ISORC 2011: 109-116
- [c40]Anders P. Ravn, Jirí Srba, Saleem Vighio: Modelling and Verification of Web Services Business Activity Protocol. TACAS 2011: 357-371
- [e4]Andy J. Wellings, Anders P. Ravn (Eds.): The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011. ACM 2011, ISBN 978-1-4503-0731-4
- 2010
- [j15]Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen: Formal Modelling and Analysis of Predictable Java. ERCIM News 2010(81) (2010)
- [c39]Anders P. Ravn, Jirí Srba, Saleem Vighio: A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. ISoLA (1) 2010: 579-593
- [c38]Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: Schedulability analysis for Java finalizers. JTRES 2010: 1-7
- [c37]Anders P. Ravn, Martin Schoeberl: Cyclic executive for safety-critical Java on chip-multiprocessors. JTRES 2010: 63-69
2000 – 2009
- 2009
- [j14]Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider: On the Specification of Full Contracts. Electr. Notes Theor. Comput. Sci. 253(1): 39-55 (2009)
- [j13]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)
- [c36]Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi, Thomas Bak, Anders P. Ravn: Automatic sensor assignment of a supermarket refrigeration system. CCA/ISIC 2009: 1319-1324
- [c35]Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: A predictable Java profile: rationale and implementations. JTRES 2009: 150-159
- [c34]Istvan Knoll, Anders P. Ravn, Arne Skou: Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE 2009: 29-35
- [p1]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
- [e3]Zhiming Liu, Anders P. Ravn (Eds.): Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5799, Springer 2009, ISBN 978-3-642-04760-2
- 2008
- [j12]Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008)
- [c33]Joseph C. Okika, Anders P. Ravn: Classification of SOA Contract Specification Languages. ICWS 2008: 433-440
- [c32]Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn: Hardware Objects for Java. ISORC 2008: 445-452
- [c31]
- 2007
- [j11]
- [c30]John Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413
- [c29]Zhenbang Chen, Abdelhakim 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
- [c28]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
- [c27]Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn: A Profile for Safety Critical Java. ISORC 2007: 94-101
- [c26]Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch: Automated distributed simulation in PTOLEMY II. Parallel and Distributed Computing and Networks 2007: 138-143
- 2006
- [c25]Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah: Developing a TTCN-3 Test Harness for Legacy Software. AST 2006: 104-110
- [c24]Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344
- [c23]Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang: Harnessing Theories for Tool Support. ISoLA 2006: 371-382
- 2004
- [j10]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
- [j9]Mauno Rönkkö, Anders P. Ravn, Kaisa Sere: Hybrid action systems. Theor. Comput. Sci. 290(1): 937-973 (2003)
- [c22]Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn: AsmL Specification of a Ptolemy II Scheduler. Abstract State Machines 2003: 417
- [c21]Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn: Hybrid Control Design for a Wheeled Mobile Robot. HSCC 2003: 50-65
- 2000
- [c20]Ernst-Rüdiger Olderog, Anders P. Ravn: Completeness in formal specification language design for process-control systems. FMSP 2000: 89-100
1990 – 1999
- 1999
- [c19]Anders P. Ravn, Hans Rischel: Real-Time Constraints Through the ProCoS Layers. Correct System Design 1999: 61-78
- 1998
- [j8]Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou: From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24(7): 573-584 (1998)
- [c18]Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345
- [e2]Anders P. Ravn, Hans Rischel (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Lecture Notes in Computer Science 1486, Springer 1998, ISBN 3-540-65003-2
- 1997
- [c17]Mauno Rönkkö, Anders P. Ravn: Action Systems with Continuous Behaviour. Hybrid Systems 1997: 304-323
- 1996
- [c16]Thomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard, Anders P. Ravn: Hybrid Systems: A Real-Time Interface to Control Engineering. RTS 1996: 114-120
- [c15]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
- [b1]Anders P. Ravn: Design of embedded real-time computing systems. TU Lyngby 1995, pp. I-V, 1-191
- [c14]Michael Schenke, Anders P. Ravn: Refinement from a Control Problem to Programs. Formal Methods for Industrial Applications 1995: 403-427
- [c13]Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben O. Andersen: A distributed implementation of a mode switching control program. RTS 1995: 164-168
- [c12]Zhou Chaochen, Wang Ji, Anders P. Ravn: A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530
- [c11]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
- [c10]
- [c9]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
- [c8]Anders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen: Hybrid Control of a Robot - A Case Study. Hybrid Systems 1994: 391-404
- 1993
- [j7]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)
- [c7]Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn: Developing Correct Systems. RTS 1993: 176-187
- [e1]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (Eds.): Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6
- 1992
- [c6]Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou: Specification Of Embedded, Real-time Systems. RTS 1992: 116-121
- [c5]Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. FTRTFT 1992: 21-32
- [c4]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel: Introduction. Hybrid Systems 1992: 1-3
- [c3]Zhou Chaochen, Anders P. Ravn, Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
- [c2]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
- [j6]Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn: A Calculus of Durations. Inf. Process. Lett. 40(5): 269-276 (1991)
1980 – 1989
- 1988
- [j5]Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen: A Design Method for Embedded Software Systems. BIT 28(3): 427-438 (1988)
- 1986
- [c1]Anders P. Ravn: Abstractions for Fault Tolerance in Distributed Systems - Response. IFIP Congress 1986: 735-738
- 1984
- [j4]William F. Appelbe, Anders P. Ravn: Encapsulation Constructs in Systems Programming Languages. ACM Trans. Program. Lang. Syst. 6(2): 129-158 (1984)
- 1982
- [j3]
- 1980
- [j2]
1970 – 1979
- 1979
- [j1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:05 CEST by the dblp team