default search action
Anders P. Ravn
Person information
- affiliation: Aalborg University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2017
- [j22]Martin Schoeberl
, Andreas Engelbredt Dalsgaard, René Rydhof Hansen
Safety-critical Java for embedded systems. Concurr. Comput. Pract. Exp. 29(22) (2017) - [j21]Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn:
Conformance test development with the Java modeling language. Concurr. Comput. Pract. Exp. 29(22) (2017) - [c58]Anders P. Ravn, Bent Thomsen
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools 2017: 269-288 - [p3]Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski:
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. Provably Correct Systems 2017: 95-120 - 2016
- [c57]Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan:
A Two-Way Path Between Formal and Informal Design of Embedded Systems. UTP 2016: 65-92 - [p2]Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou
Modeling and Analysis of Component Faults and Reliability. From Action Systems to Distributed Systems 2016: 45-60 - 2015
- [c56]Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski:
Linking spatial and dynamic models for traffic maneuvers. CDC 2015: 6809-6816 - [c55]Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
Validating Timed Component Contracts. EUROMICRO-SEAA 2015: 245-249 - [c54]Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou
A Method for Model Checking Feature Interactions. ICSOFT-EA 2015: 219-228 - [c53]Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
Model Checking Feature Interactions. ICSOFT (Selected Papers) 2015: 307-325 - 2014
- [j20]Stephan Korsholm, Hans Søndergaard, Anders P. Ravn:
A real-time Java tool chain for resource constrained platforms. Concurr. Comput. Pract. Exp. 26(14): 2407-2431 (2014) - [c52]Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn:
A Safety-Critical Java Technology Compatibility Kit. JTRES 2014: 1 - [c51]Martin Schoeberl
Certifiable Java for Embedded Systems. JTRES 2014: 10 - [c50]Thomas Pedersen, Anders P. Ravn, Arne Skou
INTrEPID: A project on energy optimization in buildings. VITAE 2014: 1-4 - 2013
- [j19]Anders P. Ravn, M. Teresa Higuera-Toledano:
Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011. Concurr. Comput. Pract. Exp. 25(16): 2225-2226 (2013) - [j18]Thomas Bøgholm, Christian Frost, René Rydhof Hansen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9(1): 17-28 (2013) - [j17]Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba
Model-checking web services business activity protocols. Int. J. Softw. Tools Technol. Transf. 15(2): 125-147 (2013) - [c49]Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
A Toolchain for Home Automation Controller Development. EUROMICRO-SEAA 2013: 122-129 - [c48]Anders P. Ravn, Hans Søndergaard:
A test suite for safety-critical Java using JML. JTRES 2013: 80-88 - [c47]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
- [j16]Anders P. Ravn, Martin Schoeberl
Safety-critical Java with cyclic executives on chip-multiprocessors. Concurr. Comput. Pract. Exp. 24(8): 772-788 (2012) - [j15]Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults. Int. J. Syst. Sci. 43(11): 1985-1997 (2012) - [j14]Alexandre David, Kim Guldstrand Larsen
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012) - [c46]Hans Søndergaard, Stephan Korsholm, Anders P. Ravn:
Safety-critical Java for low-end embedded platforms. JTRES 2012: 44-53 - [e5]Gordon J. Pace
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. EPTCS 94, 2012 [contents] - 2011
- [j13]Martin Schoeberl
A Hardware Abstraction Layer in Java. ACM Trans. Embed. Comput. Syst. 10(4): 42:1-42:40 (2011) - [c45]Martin Hilscher, Sven Linker
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM 2011: 404-419 - [c44]Hans Søndergaard, Bent Thomsen
Refactoring Real-Time Java Profiles. ISORC 2011: 109-116 - [c43]Anders P. Ravn, Jirí Srba
Modelling and Verification of Web Services Business Activity Protocol. TACAS 2011: 357-371 - [e4]Andy J. Wellings, Anders P. Ravn:
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 [contents] - 2010
- [c42]Anders P. Ravn, Jirí Srba
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. ISoLA (1) 2010: 579-593 - [c41]Thomas Bøgholm, René Rydhof Hansen
Schedulability analysis for Java finalizers. JTRES 2010: 1-7 - [c40]Anders P. Ravn, Martin Schoeberl
Cyclic executive for safety-critical Java on chip-multiprocessors. JTRES 2010: 63-69 - [i2]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)
2000 – 2009
- 2009
- [j12]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) - [c39]Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi
Automatic sensor assignment of a supermarket refrigeration system. CCA/ISIC 2009: 1319-1324 - [c38]Thomas Bøgholm, René Rydhof Hansen
A predictable Java profile: rationale and implementations. JTRES 2009: 150-159 - [c37]Istvan Knoll, Anders P. Ravn, Arne Skou
Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE 2009: 29-35 - [c36]Stephen Fenech, Gordon J. Pace
On the Specification of Full Contracts. FESCA@ETAPS 2009: 39-55 - [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:
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 [contents] - 2008
- [c35]Joseph C. Okika, Anders P. Ravn:
Classification of SOA Contract Specification Languages. ICWS 2008: 433-440 - [c34]Martin Schoeberl
Hardware Objects for Java. ISORC 2008: 445-452 - [c33]Stephan Korsholm, Martin Schoeberl
Interrupt Handlers in Java. ISORC 2008: 453-457 - [i1]Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider:
Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008) - 2007
- [j11]Ernst-Rüdiger Olderog, Anders P. Ravn:
Editorial: Hybrid Systems. Acta Informatica 43(7): 449-450 (2007) - [c32]John Knudsen, Anders P. Ravn, Arne Skou:
Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413 - [c31]Zhenbang Chen, Abdelhakim Hannousse
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145 - [c30]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c29]Martin Schoeberl, Hans Søndergaard, Bent Thomsen
A Profile for Safety Critical Java. ISORC 2007: 94-101 - [c28]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
- [c27]Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah:
Developing a TTCN-3 Test Harness for Legacy Software. AST 2006: 104-110 - [c26]Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn:
Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344 - [c25]Zhiming Liu, Vladimir Mencl
Harnessing Theories for Tool Support. ISoLA 2006: 371-382 - [c24]Hans Søndergaard, Bent Thomsen
A Ravenscar-Java profile implementation. JTRES 2006: 38-47 - 2004
- [j10]Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects 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) - [c23]Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn:
AsmL Specification of a Ptolemy II Scheduler. Abstract State Machines 2003: 417 - [c22]Thomas Bak, Jan Dimon Bendtsen
Hybrid Control Design for a Wheeled Mobile Robot. HSCC 2003: 50-65 - 2000
- [c21]Ernst-Rüdiger Olderog, Anders P. Ravn:
Completeness in formal specification language design for process-control systems. FMSP 2000: 89-100
1990 – 1999
- 1999
- [c20]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) - [c19]Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345 - [e2]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. Lecture Notes in Computer Science 1486, Springer 1998, ISBN 3-540-65003-2 [contents] - 1997
- [c18]Mauno Rönkkö, Anders P. Ravn:
Action Systems with Continuous Behaviour. Hybrid Systems 1997: 304-323 - 1996
- [c17]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 - [c16]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 - [c15]Michael Schenke, Anders P. Ravn:
Refinement from a Control Problem to Programs. Formal Methods for Industrial Applications 1995: 403-427 - [c14]Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben Ole Andersen
A distributed implementation of a mode switching control program. RTS 1995: 164-168 - [c13]Chaochen Zhou, Ji Wang, Anders P. Ravn:
A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530 - [c12]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
- [c11]Anders P. Ravn, Jørgen Staunstrup:
Interface models. CODES 1994: 157-164 - [c10]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 - [c9]Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole 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) - [c8]Jonathan P. Bowen
Developing Correct Systems. RTS 1993: 176-187 - [e1]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 [contents] - 1992
- [c7]Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou:
Specification Of Embedded, Real-time Systems. RTS 1992: 116-121 - [c6]Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
Duration Specifications for Shared Processors. FTRTFT 1992: 21-32 - [c5]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Introduction. Hybrid Systems 1992: 1-3 - [c4]Zhou Chaochen, Anders P. Ravn, Michael R. Hansen:
An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59 - [c3]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) - [c2]Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel:
Specifying and verifying requirements of real-time systems. SIGSOFT 1991: 44-54
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]Anders P. Ravn:
Pointer Variables in Concurrent Pascal. Softw. Pract. Exp. 12(3): 211-222 (1982) - 1980
- [j2]Anders P. Ravn:
Device Monitors. IEEE Trans. Software Eng. 6(1): 49-53 (1980)
1970 – 1979
- 1979
- [j1]Jørn Jensen, Søren Lauesen, Anders P. Ravn:
Synchronization under a Commercial Operating System. Softw. Pract. Exp. 9(9): 729-740 (1979)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: