Anders Peter Ravn

  1. 2017
  2. Published

    A Two-Way Path Between Formal and Informal Design of Embedded Systems. / Chen, Mingshuai ; Ravn, Anders Peter; Wang, Shuling ; Yang, Mengfei ; Zhan, Naijun .

    Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. ed. / Jonathan P. Bowen; Huibiao Zhu. Springer, 2017. p. 65-92 (Lecture Notes in Computer Science, Vol. 10134).

    Publication: Research - peer-reviewArticle in proceeding

  3. Accepted/In press

    Conformance test development with the Java modeling language. / Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders P.

    In: Concurrency Computation, 2017.

    Publication: Research - peer-reviewJournal article

  4. Published

    Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. / Ravn, Anders P.; Thomsen, Bent; Søe Luckow, Kasper; Thomsen, Lone Leth; Bøgholm, Thomas.

    Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. ed. / Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Axel Legay; Radu Mardare. Cham : Springer International Publishing, 2017. p. 269-288.

    Publication: Research - peer-reviewBook chapter

  5. 2016
  6. Published

    Model Checking Feature Interactions. / Le Guilly, Thibaut; Olsen, Petur; Pedersen, Thomas; Ravn, Anders Peter; Skou, Arne Joachim.

    Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. ed. / Pascal Lorenz; Jorge Cardoso; Leszek A. Maciaszek; Marten van Sinderen. Springer, 2016. p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Publication: Research - peer-reviewBook chapter

  7. Published

    Modeling and Analysis of Component Faults and Reliability. / Le Guilly, Thibaut; Olsen, Petur; Ravn, Anders Peter; Skou, Arne Joachim.

    From Action Systems to Distributed Systems: The Refinement Approach. ed. / Luigia Petre; Emil Sekerinski. C R C Press LLC, 2016. p. 45-60 (Computational Science Series).

    Publication: Research - peer-reviewBook chapter

  8. E-pub ahead of print

    Safety-critical Java for embedded systems. / Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Korsholm, Stephan E.; Ravn, Anders P.; Rios Rivas, Juan Ricardo; Strøm, Tórur Biskopstø; Søndergaard, Hans; Wellings, Andy; Zhao, Shuai.

    In: Concurrency and Computation: Practice & Experience, No. Special Issue, 2016.

    Publication: Research - peer-reviewJournal article

  9. 2015
  10. Published

    A Method for Model Checking Feature Interactions. / Pedersen, Thomas; Le Guilly, Thibaut; Ravn, Anders Peter; Skou, Arne Joachim.

    Proceedings of the 10th International Conference on Software Engineering and Applications. ed. / Pascal Lorenz; Leszek Maciaszek. SCITEPRESS Digital Library, 2015. p. 219-228.

    Publication: Research - peer-reviewArticle in proceeding

  11. Published

    Linking spatial and dynamic models for traffic maneuvers. / Olderog, Ernst-Rüdiger; Ravn, Anders Peter; Wisniewski, Rafal.

    2015 54th Annual Conference on Decision and Control (CDC). IEEE, 2015. p. 6809-6816.

    Publication: Research - peer-reviewArticle in proceeding

  12. Published

    Validating Timed Component Contracts. / Le Guilly, Thibaut; Liu, Shaoying; Olsen, Petur; Ravn, Anders Peter; Skou, Arne Joachim.

    41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, 2015. p. 245-249.

    Publication: Research - peer-reviewArticle in proceeding

  13. 2014
  14. Published

    A real-time Java tool chain for resource constrained platforms. / Korsholm, Stephan E.; Søndergaard, Hans; Ravn, Anders Peter.

    In: Concurrency and Computation: Practice & Experience, Vol. 26, No. 14, 2014, p. 2407-2431.

    Publication: Research - peer-reviewJournal article

  15. Published

    A safety-critical java technology compatibility kit. / Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders Peter.

    Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, 2014. p. 1-9.

    Publication: Research - peer-reviewArticle in proceeding

  16. Published

    Certifiable Java for Embedded Systems. / Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Korsholm, Stephan E.; Ravn, Anders P.; Rivas, Juan Ricardo Rios; Strøm, Tórur Biskopstø; Søndergaard, Hans.

    Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2014. p. 10-19.

    Publication: Research - peer-reviewArticle in proceeding

  17. Published

    INTrEPID : A project on energy optimization in buildings. / Pedersen, Thomas; Ravn, Anders Peter; Skou, Arne.

    Proceedings of 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE). IEEE Press, 2014. p. 172-175.

    Publication: Research - peer-reviewArticle in proceeding

  18. 2013
  19. Published

    A Test Suite for Safety-Critical Java using JML. / Ravn, Anders Peter; Søndergaard, Hans.

    Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2013. p. 80-88 (International Workshop of Java Technologies for Real-Time and Embedded Systems. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  20. Published

    A Toolchain for Home Automation Controller Development. / Dalsgaard, Peter H.; Le Guilly, Thibaut; Middelhede, Daniel; Olsen, Petur; Pedersen, Thomas; Ravn, Anders Peter; Skou, Arne.

    39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). ed. / Onur Demirors; Oktay Turetken. IEEE Computer Society Press, 2013. p. 122-129 (Euromicro Conference. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  21. Published

    HomePort : Middleware for heterogeneous home automation networks. / Le Guilly, Thibaut; Olsen, Petur; Ravn, Anders Peter; Rosenkilde, Jesper; Skou, Arne.

    2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). IEEE, 2013. p. 627 - 633.

    Publication: Research - peer-reviewArticle in proceeding

  22. Published

    Introduction to the special issue on Java technologies for real-time and embedded systems : JTRES2011. / Ravn, Anders P.; Higuera-Toledano, M. Teresa.

    In: Concurrency and Computation: Practice & Experience, Vol. 25, No. 16, 01.11.2013, p. 2225-2226.

    Publication: Research - peer-reviewJournal article

  23. Published

    Model-Checking Web Services Business Activity Protocols. / Marques, Abinoam P.; Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    In: International Journal on Software Tools for Technology Transfer, Vol. 15, No. 2, 2013, p. 125-147.

    Publication: Research - peer-reviewJournal article

  24. Published
  25. 2012
  26. Published
  27. Published
  28. Published
  29. Published
  30. Published

    Safety-critical Java for low-end embedded platforms. / Søndergaard, Hans ; Korsholm, Stephan E.; Ravn, Anders Peter.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, 2012. p. 44-53 (ACM International Conference Proceeding Series (ICPS)).

    Publication: Research - peer-reviewArticle in proceeding

  31. Published

    Safety-critical Java with cyclic executives on chip-multiprocessors. / Ravn, Anders Peter; Schoeberl, Martin.

    In: Concurrency and Computation: Practice & Experience, Vol. 24, No. 8, 12.06.2012, p. 772-788.

    Publication: Research - peer-reviewJournal article

  32. 2011
  33. Published

    A Hardware Abstraction Layer in Java. / Schoeberl, Martin; Korsholm, Stephan; Kalibera, Tomas; Ravn, Anders Peter.

    In: ACM Transactions on Embedded Computing Systems, Vol. 10, No. 4, 11.2011.

    Publication: Research - peer-reviewJournal article

  34. Published

    An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. / Hilscher, Martin; Linker, Sven; Olderog, Ernst-Rüdiger; Ravn, Anders Peter.

    In: Lecture Notes in Computer Science, Vol. 6991, 2011, p. 404-419.

    Publication: Research - peer-reviewConference article in Journal

  35. Published

    Message from the Chairs. / Wellings, Andy; Ravn, Anders Peter.

    Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 2011.

    Publication: ResearchPreface/Introduction/postscript

  36. Published

    Modelling and Verification of Web Services Business Activity Protocol. / Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    In: Lecture Notes in Computer Science, Vol. 6605, 2011, p. 357--371.

    Publication: Research - peer-reviewConference article in Journal

  37. Published

    Refactoring Real-Time Java Profiles. / Søndergaard, Hans; Thomsen, Bent; Ravn, Anders Peter; Hansen, Rene Rydhof; Bøgholm, Thomas.

    Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, 2011. p. 109 - 116.

    Publication: Research - peer-reviewArticle in proceeding

  38. Published

    Tool Supported Analysis of Web Services Protocols. / Marques, Abinoam P.; Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo : University of Oslo, 2011. p. 50-64.

    Publication: Research - peer-reviewArticle in proceeding

  39. 2010
  40. Published

    Active Diagnosis of MLD Systems using Distinguishable Steady Outputs. / Tabatabaeipour, Seyed Mojtaba; Ravn, Anders Peter; Izadi-Zamanabadi, Roozbeh; Bak, Thomas.

    10th IEEE International symposium on Industrial Electronics. IEEE Press, 2010. p. 52-57.

    Publication: Research - peer-reviewArticle in proceeding

  41. Published

    A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. / Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    In: Lecture Notes in Computer Science, Vol. 6415, 2010, p. 579-593.

    Publication: Research - peer-reviewConference article in Journal

  42. Published

    Cyclic executive for safety-critical Java on chip-multiprocessor. / Ravn, A.P.; Schoeberl, Martin.

    ACM International Conference Proceeding Series. Association for Computing Machinery, 2010. p. 63-69.

    Publication: Research - peer-reviewArticle in proceeding

  43. Published

    Formal Modelling and Analysis of Predictable Java. / Bøgholm, Thomas; Hansen, Rene Rydhof; Ravn, Anders Peter; Søndergaard, Hans; Thomsen, Bent.

    In: ERCIM News, No. 81, 04.2010, p. 52-53.

    Publication: Research - peer-reviewJournal article

  44. Published

    Schedulability Analysis for Java Finalizers. / Bøgholm, Thomas; Hansen, Rene Rydhof; Søndergaard, Hans; Ravn, Anders Peter; Thomsen, Bent.

    Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 2010.

    Publication: Research - peer-reviewArticle in proceeding

  45. 2009
  46. Published

    Analysis of collisions in wireless sensor networks. / Vighio, Muhammad Saleem; Ravn, Anders Peter.

    21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009. ed. / Michael R. Hansen; Aske Brekling. Technical University of Denmark (DTU), 2009.

    Publication: Research - peer-reviewArticle in proceeding

  47. Published

    A predictable Java profile : rationale and implementations. / Bøgholm, Thomas; Hansen, Rene Rydhof; Ravn, Anders Peter; Thomsen, Bent; Søndergaard, Hans.

    ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 2009. p. 150-159.

    Publication: Research - peer-reviewArticle in proceeding

  48. Published

    Automated Technology for Verificiation and Analysis : Proceedings 7th International Symposium, ATVA 2009. / Liu, Zhiming (Editor); Ravn, Anders Peter (Editor).

    Springer, 2009. (Lecture Notes in Computer Science, Vol. 5799).

    Publication: ResearchAnthology

  49. Published
  50. Published

    Design and Verification of Fault-Tolerant Components. / Zhang, Miaomiao; Liu, Zhiming; Ravn, Anders Peter; Morisset, Charles.

    In: Lecture Notes in Computer Science, Vol. 5454, 2009, p. 57-84.

    Publication: Research - peer-reviewConference article in Journal

  51. Published

    Model-based analysis of embedded java programs. / Bøgholm, Thomas; Ravn, Anders Peter; Thomsen, Bent.

    In: RWTH Aachen, Dept. of Computer Science, No. 14, 2009, p. 17-19.

    Publication: Research - peer-reviewConference article in Journal

  52. Published

    On the Specification of Full Contracts. / Okika, Joseph; Ravn, Anders Peter; Fenech, Stephen; Pache, Gordon; Schneider, Gerardo.

    Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Vol. 253 Elsevier Science, 2009. p. 39-55 (Electronic Notes in Theoretical Computer Science; No. 253, Vol. 1).

    Publication: Research - peer-reviewArticle in proceeding

  53. Published

    Refinement and verification in component-based model-driven design. / Chen, Zhenbang; Liu, Zhiming; Ravn, Anders Peter; Stolz, Volker; Zhan, Naijun.

    In: Science of Computer Programming, Vol. 74, No. 4, 2009, p. 168-196.

    Publication: Research - peer-reviewJournal article

  54. Published

    Semantics for Communicating Actors with Interdependent Real-Time Deadlines. / Knoll, Istvan; Ravn, Anders Peter; Skou, Arne.

    Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, 2009. p. 29-35.

    Publication: Research - peer-reviewArticle in proceeding

  55. 2008
  56. Published

    A Practical Approach to Mode Change in Real-Time Systems. / Søndergaard, Hans; Ravn, Anders Peter; Thomsen, Bent; Schoeberl, Martin.

    Aalborg : Department of Computer Science, Aalborg University, 2008. 11 p. (Technical Report; No. 08-001).

    Publication: ResearchReport

  57. Published

    A Semantics for a Real-Time Actor Language. / Knoll, Istvan; Ravn, Anders Peter; Skou, Arne.

    20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, 2008. p. 60-62.

    Publication: Research - peer-reviewArticle in proceeding

  58. Published

    Classification of SOA Contract Specification Languages. / Okika, Joseph C.; Ravn, Anders Peter.

    Proceedings of the 2008 IEEE International Conference on Web Services - Volume 00. 00. ed. IEEE Computer Society Press, 2008. p. 433-440.

    Publication: Research - peer-reviewArticle in proceeding

  59. Published

    Consistency Checking of Web Service Contracts. / Cambronero, M. Emilia; Okika, Joseph C.; Ravn, Anders Peter.

    In: International Journal on Advances in Systems and Measurements, Vol. 1, No. 1, 2008, p. 29-39.

    Publication: Research - peer-reviewJournal article

  60. Published

    Contract-oriented software development for internet services. / Giambiagi, Pablo; Owe, Olaf; Ravn, Anders Peter; Schneider, Gerardo.

    In: ERCIM News, No. 72, 2008, p. 47-48.

    Publication: CommunicationJournal article

  61. Published

    Hardware Objects for Java. / Schoeberl, Martin; Thalinger, Christian; Korsholm, Stephan; Ravn, Anders Peter.

    11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, 2008. p. 445-452.

    Publication: Research - peer-reviewArticle in proceeding

  62. Published

    Interrupt Handlers in Java. / Korsholm, Stephan; Schoeberl, Martin; Ravn, Anders Peter.

    11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, 2008. p. 453-457.

    Publication: Research - peer-reviewArticle in proceeding

  63. Published

    Modelling with Relational Calculus of Object and Component Systems - rCOS. / Chen, Zhenbang; Hannousse, Abdel Hakim; Hung, Dang Van; Knoll, Istvan; LI, Xiaoshan; Liu, Zhiming; Liu, Yang; Nan, Qu; Okika, Joseph C.; Ravn, Anders Peter; Stolz, Volker; Yang, Lu; Zhan, Naijun.

    The Common Component Modeling Example: Comparing Software Component Models. ed. / Andreas Rausch; Ralf Reussner; Raffaela Mirandola; Frantisek Plasil. Berlin/Heidelberg : Springer, 2008. p. 116-145 (Lecture Notes in Computer Science; No. 5153).

    Publication: ResearchBook chapter

  64. 2007
  65. Published

    Analyzing Web Service Contracts : an aspect oriented approach. / Cambronero, M.-Emilia; Okika, Joseph C.; Ravn, Anders Peter.

    Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM'2007. IEEE Computer Society Press, 2007. p. 149-154.

    Publication: Research - peer-reviewArticle in proceeding

  66. Published

    A Profile for Safety Critical Java. / Schoeberl, Martin; Søndergaard, Hans; Thomsen, Bent; Ravn, Anders Peter.

    Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, 2007. p. 94-101.

    Publication: Research - peer-reviewArticle in proceeding

  67. Published

    A refinement driven component-based design. / Chen, Zhenbang; Liu, Zhiming; Ravn, Anders Peter; Stolz, Volker; Yang, Lu.

    Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, 2007. p. 277-289.

    Publication: Research - peer-reviewArticle in proceeding

  68. Published

    Automated Distributed Simulation in Ptolemy II. / Lázaro Cuadrado, Daniel; Ravn, Anders Peter; Koch, Peter.

    Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. ed. / H, Burkhart. ACTA Press, 2007. p. 139-144.

    Publication: Research - peer-reviewArticle in proceeding

  69. Published

    Compositionality and Compatibility of Service Contracts. / Okika, Joseph C.; Ravn, Anders Peter.

    NWPT'07/FLACOS'07 Workshop Proceeding. ed. / Einar Broch Johansen; Olaf Owe; Gerardo Schneider. Department of Informatics, University of Oslo, 2007. p. 101-103 (Research Report; No. 366).

    Publication: ResearchArticle in proceeding

  70. Published

    Design Verifikation Patterns. / Knudsen, John; Ravn, Anders Peter; Skou, Arne.

    Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. ed. / Cliff Jones; Zhiming Liu; Jim Woodcock. Berlin /Heidelberg : Springer, 2007. p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

    Publication: ResearchBook chapter

  71. Published

    Editorial: Hybrid Systems. / Olderog, Ernst-Rüdiger; Ravn, Anders Peter.

    In: Acta Informatica, Vol. 43, No. 7, 2007, p. 449-450.

    Publication: ResearchEditorial

  72. Published

    How do exhibition visitors describe aesthetic qualities? / Thomsen, Bente Dahl; Ravn, Anders Peter.

    International Conference on Computing, Communications and Control Technologies  CCCT 2007: Interactive Communication Design of Information Systems. Vol. III 1. ed. International Institute of Informatics and Cybernetics, 2007. p. 155-160 (The CCCT07).

    Publication: Research - peer-reviewArticle in proceeding

  73. 2006
  74. Published

    A Ravenscar-Java profile implementation. / Thomsen, Bent; Ravn, Anders Peter; Søndergaard, Hans.

    ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Vol. 177 Association for Computing Machinery, 2006. p. 38-47.

    Publication: Research - peer-reviewArticle in proceeding

  75. Published

    Contract-based Internet Service Software Development : A Proposal. / Giambiagi, Pablo; Owe, Olaf; Schneider, Gerardo; Ravn, Anders Peter.

    Oslo, Norway : Department of Informatics, University of Oslo, 2006. (Report-UiO; No. 333).

    Publication: ResearchReport

  76. Published

    Design Patterns for Control Systems. / Knudsen, John; Ravn, Anders Peter; Skou, Arne.

    Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. ed. / Andreas Prinz; Merete Skjelten Tveit. Høgskolen i Agder, 2006.

    Publication: Research - peer-reviewArticle in proceeding

  77. Published

    Developing a TTCN-3 Test Harness for Legacy Software. / Okika, Joseph C.; Ravn, Anders Peter; Siddalingaiah, Lokesh; Liu, Zhiming.

    Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, 2006. p. 104-110.

    Publication: Research - peer-reviewArticle in proceeding

  78. Published

    Formalization in Component Based Development. / Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr; Ravn, Anders Peter.

    Mathematical Frameworks for Component Software. ed. / Zhiming Liu; Jifeng He. World Scientific Publishing Co Pte Ltd, 2006. p. 255-281 (Component-Based Software Development; No. 2).

    Publication: ResearchBook chapter

  79. Published

    Harnessing Theories for Tool Support. / Liu, Zhiming; Mencl, Vladimir; Ravn, Anders Peter; Yang, Lu.

    Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. University of Cyprus, 2006.

    Publication: Research - peer-reviewArticle in proceeding

  80. Published

    Language-based support for service oriented architectures : Future directions. / Giambiagi, Pablo; Owe, Olaf; Ravn, Anders Peter; Schneider, Gerardo.

    Proceedings of ICSOFT. ed. / Joaquim Filipe; Boris Shishkov; Markus Helfert. Vol. 1 Institute for Systems and Technologies of Information, Control and Communication, 2006. p. 339-344.

    Publication: Research - peer-reviewArticle in proceeding

  81. 2005
  82. Published

    The Distributed-SDF Domain. / Cuadrado, Daniel Lázaro; Ravn, Anders Peter; Koch, Peter.

    The Sixth Biennial Ptolemy Miniconference Proceedings. EECS Department, University of California, 2005.

    Publication: Research - peer-reviewArticle in proceeding

  83. Published

    Using UPPAAL to Analyze an MPEG-2 Algorithm. / Cambronero, M. Emilia; Ravn, Anders Peter; Valero, Valentin.

    Proceedings of the VII Workshop Brasileiro de Tempo Real. 2005. p. 73-82.

    Publication: Research - peer-reviewArticle in proceeding

  84. 2004
  85. Published

    An Approach to Quality Estimation in Model-Based Development. / Holmegaard, Jens Peter; Koch, Peter; Ravn, Anders Peter.

    IProceedings of Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2004): TUCS General Publication. 29. ed. Turku Centre for Computer Science, 2004. p. 81-92.

    Publication: ResearchArticle in proceeding

  86. Published

    Integrating an UML tool in an Industrial Development Process : a Case Study. / Knudsen, John; Gøttler, Rene; Jacobsen, Michael; Jensen, Mads W.; Rye-Andersen, Jens G.; Ravn, Anders Peter.

    UML'04 satellite workshop proceedings. ed. / Jan Jürens; Eduardo B. Fernandez; Robert France; Bernhard Rumpe. 2004.

    Publication: ResearchArticle in proceeding

  87. Published

    Quality Estimation of Component-Based Embedded Systems. / Holmegaard, Jens Peter; Ravn, Anders Peter; Koch, Peter.

    Proceedings of Euromicro Work in Progress. 2004.

    Publication: ResearchArticle in proceeding

  88. Published

    Unifying proof methodologies of duration calculus and timed linear temporal logic. / Liu, Zhiming; Ravn, Anders P.; Li, Xioshan.

    In: Formal Aspects of Computing, Vol. 16, No. 2, 2004, p. 140-154.

    Publication: Research - peer-reviewJournal article

  89. Published

    Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II. / Lázaro Cuadrado, Daniel; Koch, Peter; Ravn, Anders Peter.

    Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, 2004. p. 19-28.

    Publication: ResearchArticle in proceeding

  90. 2003
  91. Published

    AsmL Specification of a Ptolemy II Scheduler. / Lázaro Cuadrado, Daniel; Koch, Peter; Ravn, Anders Peter.

    Abstract State Machines 2003 (ASM 2003): LNCS. ed. / Börger, E. : Gargantini, A. : Riccobene, E. (eds.). 2589. ed. Springer, 2003. p. 417.

    Publication: ResearchArticle in proceeding

  92. Published

    Component Based Development - Where is the Place for Formalism? / Makowski, Piotr; Ravn, Anders Peter.

    Procedings of the Workshop on Formal Aspects of Component Software FACS´03, UNU Int. Institute for Software Technology, Macau, September 2003: UNU/IIST Tech. Rep. ,. ed. / Eds.: Dang Van Hung, Zhiming Liu. 284. ed. 2003.

    Publication: ResearchArticle in proceeding

  93. Published

    Efficient and Orderly Co-simulation of Heterogeneous Computational Models. / Lázaro Cuadrado, Daniel; Koch, Peter; Ravn, Anders Peter.

    The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA. 2003.

    Publication: ResearchArticle in proceeding

  94. Published

    Hybrid Action Systems. / Rönnkö, M.; Ravn, Anders Peter; Sere, K.

    In: Theoretical Computer Science, Vol. 290, No. 190, 2003, p. 937-973.

    Publication: Research - peer-reviewJournal article

  95. Published

    Hybrid Control Design for a Wheeled Mobile Robot. / Bak, Thomas; Bendtsen, Jan Dimon; Ravn, Anders Peter.

    In: Lecture Notes in Computer Science, Vol. 2623, 2003, p. 50-65.

    Publication: Research - peer-reviewJournal article

  96. Published

    Hybrid Control Design for a Wheeled Mobile Robot. / Bak, Thomas; Bendtsen, Jan Dimon; Ravn, Anders Peter.

    Hybrid Systems: Computation and Control, HSCC 2003: Lecture Notes in Computer Science. ed. / Oded Maler, Amir Pnueli (eds.). 2623. ed. Springer, 2003. p. 50-65.

    Publication: ResearchArticle in proceeding

  97. Published

    Hybrid Control Design for a Wheeled Mobile Robot. / Bak, Thomas; Bendtsen, Jan Dimon; Ravn, Anders Peter.

    <Forlag uden navn>, 2003.

    Publication: ResearchWorking paper

  98. Published

    Impact of Scheduling Policies on Control System Performance. / Schiøler, Henrik; Ravn, Anders Peter; Nielsen, Jens Frederik Dalsgaard.

    EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003. 2003.

    Publication: ResearchArticle in proceeding

  99. Published
  100. Published

    Towards Reliable Integrated Services for Dependable Systems. / Schiøler, Henrik; Ravn, Anders Peter; Izadi-Zamanabadi, Roozbeh; Nielsen, Kirsten Mølgaard; Madsen, Ole Brun; Nielsen, Jens Frederik Dalsgaard.

    EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003. 2003.

    Publication: ResearchArticle in proceeding

  101. Published
  102. 2002
  103. Published

    Planning and Operation of an Autonomous Vehicle. / Sørensen, C.G.; Olsen, H.J.; Ravn, Anders Peter; Makowski, P.

    Proc. 2002 ASAE / CIGR XVth World Congress, Chicago, USA, July 29 - August 1 2002: ASAE Technical Library. 021177. ed. ASAE, 2002.

    Publication: ResearchArticle in proceeding

  104. 2000
  105. Published

    Documenting Design Refinement. / Olderog, E.-R.; Ravn, Anders Peter.

    Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. ed. / Heimdahl, M. P. E. (ed.). Association for Computing Machinery, 2000.

    Publication: ResearchArticle in proceeding

  106. 1999
  107. Published

    Real-Time Constraints Through the ProCoS Layers. / Ravn, Anders Peter; Rischel, H.

    Correct System Design : Recent Insights and Advances. ed. / Olderog, E.-R. : Steffen, B. (eds.). Berlin : IEEE Computer Society Press, 1999. p. 61-78 (Lecture Notes in Computer Science; No. 1710).

    Publication: ResearchBook chapter

  108. 1998
  109. Published

    Engineering of Real-Time Systems with an Experiment in Hybrid Control. / Ravn, Anders Peter; Eriksen, T. J.; Holdgaard, M.; Rischel, H.

    Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996: Lecture Notes in Computer Science. ed. / Rozenberg, G : Vaandrager, F. (eds.). 1494. ed. IEEE Computer Society Press, 1998. p. 316-352.

    Publication: ResearchArticle in proceeding

  110. Published

    Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998. / Ravn, Anders Peter; Rischel, H. (Ed.).

    Berlin : IEEE Computer Society Press, 1998. (Lecture Notes in Computer Science; No. 1486).

    Publication: ResearchBook

  111. Published

    From Safety Analysis to Formal Specification. / Hansen, Kirsten Mark; Ravn, Anders Peter; Stavridou, Victoria.

    In: IEEE Transactions on Software Engineering, Vol. 24, No. 7, 1998, p. 573-584.

    Publication: Research - peer-reviewJournal article

  112. Published

    Verifying Duration Properties of Timed Transition Systems. / Liu, Z.; Ravn, Anders Peter; Li, X.

    Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. ed. / Gries, D. : Roever, W.-P. de (eds.). Kluwer Academic Publishers, 1998. p. 327-345.

    Publication: ResearchArticle in proceeding