Anders Peter Ravn

Dr. Tech.

  • Selma Lagerløfs Vej 300, 1-1-12

    9220 Aalborg Ø


  • Selma Lagerløfs Vej 300, 0-0-0

    9220 Aalborg Ø


If you made any changes in Pure these will be visible here soon.

Personal profile


  • Computer Science

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 1 Similar Profiles
Web services Engineering & Materials Science
Model checking Engineering & Materials Science
Network protocols Engineering & Materials Science
Service oriented architecture (SOA) Engineering & Materials Science
Semantics Engineering & Materials Science
Software engineering Engineering & Materials Science
Specifications Engineering & Materials Science
Real time systems Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2004 2015

Intelligent systems
Intelligent control
Energy conservation
Office buildings

IDEA4CPS: Foundations for Cyber-Physical Sytems

Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.


Project: Research

Hybrid Systems

Wisniewski, R., Izadi-Zamanabadi, R., Ravn, A. P., Bhanderi, D., Thomsen, J. S., Larsen, J. A., N. Soltani, M., Stoustrup, J., Bendtsen, J. D., Trangbæk, K., Alminde, L., Grunnet, J. D. & Laursen, K. K.

<ingen navn>


Project: Research

Hybrid systems
Dynamical systems
Space applications
Control theory

Research Output 1998 2017

A Two-Way Path Between Formal and Informal Design of Embedded Systems

Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer, p. 65-92 (Lecture Notes in Computer Science, Vol. 10134).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

Conformance test development with the Java modeling language

Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2017, In : Concurrency Computation. 29, Special Issue Paper.

Research output: Contribution to journalJournal articleResearchpeer-review

Acceptance tests
Interfaces (computer)

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

Olderog, E-R., Ravn, A. P. & Wisniewski, R., 2017, Provably Correct Systems. Springer, p. 95-120 (NASA Monographs in Systems and Software Engineering).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

1 Citation (Scopus)

Safety-critical Java for embedded systems

Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rios Rivas, J. R., Strøm, T. B., Søndergaard, H., Wellings, A. & Zhao, S., 2017, In : Concurrency and Computation: Practice & Experience. 29, 22

Research output: Contribution to journalJournal articleResearchpeer-review

Embedded systems
Engineering research
Data storage equipment

Press / Media

Fire professorer ved AAU tildeles ridderkorset

Anders Peter Ravn, Erik Laursen, John Johansen & Lars Qvortrup


1 item of media coverage

Press/Media: Press / Media