Anders P. Ravn

According to our database, Anders P. Ravn authored at least 85 papers between 1979 and 2017.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2017

Conformance test development with the Java modeling language.

Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn

Concurr. Comput. Pract. Exp., 2017

Safety-critical Java for embedded systems.

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao

Concurr. Comput. Pract. Exp., 2017

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

Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers.

Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski

Proceedings of the Provably Correct Systems, 2017

2016

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

Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Modeling and Analysis of Component Faults and Reliability.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

A Method for Model Checking Feature Interactions.

Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou

Proceedings of the ICSOFT-EA 2015, 2015

Model Checking Feature Interactions.

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Validating Timed Component Contracts.

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Linking spatial and dynamic models for traffic maneuvers.

Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

A real-time Java tool chain for resource constrained platforms.

Stephan Korsholm, Hans Søndergaard, Anders P. Ravn

Concurr. Comput. Pract. Exp., 2014

INTrEPID: A project on energy optimization in buildings.

Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the 4th International Conference on Wireless Communications, 2014

A Safety-Critical Java Technology Compatibility Kit.

Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

Certifiable Java for Embedded Systems.

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

2013

Model-checking web services business activity protocols.

Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio

Int. J. Softw. Tools Technol. Transf., 2013

Towards harnessing theories through tool support for hard real-time Java programming.

Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

Innov. Syst. Softw. Eng., 2013

Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011.

Anders P. Ravn, M. Teresa Higuera-Toledano

Concurr. Comput. Pract. Exp., 2013

HomePort: Middleware for heterogeneous home automation networks.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

A test suite for safety-critical Java using JML.

Anders P. Ravn, Hans Søndergaard

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

A Toolchain for Home Automation Controller Development.

Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Compositional verification of real-time systems using Ecdar.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski

Int. J. Softw. Tools Technol. Transf., 2012

Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults.

Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi, Thomas Bak, Anders P. Ravn

Int. J. Syst. Sci., 2012

Safety-critical Java with cyclic executives on chip-multiprocessors.

Anders P. Ravn, Martin Schoeberl

Concurr. Comput. Pract. Exp., 2012

Safety-critical Java for low-end embedded platforms.

Hans Søndergaard, Stephan Korsholm, Anders P. Ravn

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

A Hardware Abstraction Layer in Java.

Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn

ACM Trans. Embed. Comput. Syst., 2011

Modelling and Verification of Web Services Business Activity Protocol.

Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Refactoring Real-Time Java Profiles.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.

Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Formal Modelling and Analysis of Predictable Java.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

ERCIM News, 2010

Cyclic executive for safety-critical Java on chip-multiprocessors.

Anders P. Ravn, Martin Schoeberl

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Schedulability analysis for Java finalizers.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.

Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Design and Verification of Fault-Tolerant Components.

Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn

Proceedings of the Methods, 2009

Refinement and verification in component-based model-driven design.

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan

Sci. Comput. Program., 2009

On the Specification of Full Contracts.

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Semantics for Communicating Actors with Interdependent Real-Time Deadlines.

Istvan Knoll, Anders P. Ravn, Arne Skou

Proceedings of the TASE 2009, 2009

A predictable Java profile: rationale and implementations.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Automatic sensor assignment of a supermarket refrigeration system.

Seyedmojtaba Tabatabaeipour, Roozbeh Izadi-Zamanabadi, Thomas Bak, Anders P. Ravn

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Contract-Oriented Software Development for Internet Services.

Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider

ERCIM News, 2008

Hardware Objects for Java.

Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Interrupt Handlers in Java.

Stephan Korsholm, Martin Schoeberl, Anders P. Ravn

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Classification of SOA Contract Specification Languages.

Joseph C. Okika, Anders P. Ravn

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007

Editorial: Hybrid Systems.

Ernst-Rüdiger Olderog, Anders P. Ravn

Acta Informatica, 2007

Automated distributed simulation in PTOLEMY II.

Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

A Profile for Safety Critical Java.

Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

A Refinement Driven Component-Based Design.

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Design Verification Patterns.

John Knudsen, Anders P. Ravn, Arne Skou

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

A Ravenscar-Java profile implementation.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Harnessing Theories for Tool Support.

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang

Proceedings of the Leveraging Applications of Formal Methods, 2006

Language-based support for service oriented architectures: Future directions.

Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn

Proceedings of the ICSOFT 2006, 2006

Developing a TTCN-3 Test Harness for Legacy Software.

Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2004

Unifying proof methodologies of duration calculus and timed linear temporal logic.

Zhiming Liu, Anders P. Ravn, Xiaoshan Li

Formal Aspects Comput., 2004

2003

Hybrid action systems.

Mauno Rönkkö, Anders P. Ravn, Kaisa Sere

Theor. Comput. Sci., 2003

Hybrid Control Design for a Wheeled Mobile Robot.

Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn

Proceedings of the Hybrid Systems: Computation and Control, 2003

AsmL Specification of a Ptolemy II Scheduler.

Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn

Proceedings of the Abstract State Machines, 2003

2000

Completeness in formal specification language design for process-control systems.

Ernst-Rüdiger Olderog, Anders P. Ravn

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

Real-Time Constraints Through the ProCoS Layers.

Anders P. Ravn, Hans Rischel

Proceedings of the Correct System Design, 1999

1998

From Safety Analysis to Software Requirements.

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou

IEEE Trans. Software Eng., 1998

Verifying duration properties of timed transition systems.

Zhiming Liu, Anders P. Ravn, Xiaoshan Li

Proceedings of the Programming Concepts and Methods, 1998

1997

Action Systems with Continuous Behaviour.

Mauno Rönkkö, Anders P. Ravn

Proceedings of the Hybrid Systems V, 1997

1996

Engineering of Real-Time Systems with an Experiment in Hybrid Control.

Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Hybrid Systems: A Real-Time Interface to Control Engineering.

Thomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard, Anders P. Ravn

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Development of Safety-Critical Real-Time Systems.

Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

A Formal Description of Hybrid Systems.

Chaochen Zhou, Ji Wang, Anders P. Ravn

Proceedings of the Hybrid Systems III: Verification and Control, 1995

A distributed implementation of a mode switching control program.

Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben Ole Andersen

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Refinement from a Control Problem to Programs.

Michael Schenke, Anders P. Ravn

Proceedings of the Formal Methods for Industrial Applications, 1995

Design of embedded real-time computing systems.

Anders P. Ravn

PhD thesis, 1995

1994

Hybrid Control of a Robot - A Case Study.

Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole Andersen

Proceedings of the Hybrid Systems II, 1994

Provably Correct Systems.

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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Interface models.

Anders P. Ravn, Jørgen Staunstrup

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993

Specifying and Verifying Requirements of Real-Time Systems.

Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen

IEEE Trans. Software Eng., 1993

Developing Correct Systems.

Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Introduction.

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Proceedings of the Hybrid Systems, 1992

A Formal Approach to Computer Systems Requirements Documentation.

Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen

Proceedings of the Hybrid Systems, 1992

An Extended Duration Calculus for Hybrid Real-Time Systems.

Zhou Chaochen, Anders P. Ravn, Michael R. Hansen

Proceedings of the Hybrid Systems, 1992

Duration Specifications for Shared Processors.

Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Specification Of Embedded, Real-time Systems.

Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

A Calculus of Durations.

Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn

Inf. Process. Lett., 1991

1988

A Design Method for Embedded Software Systems.

Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen

BIT, 1988

1986

Abstractions for Fault Tolerance in Distributed Systems - Response.

Anders P. Ravn

Proceedings of the Information Processing 86, 1986

1984

Encapsulation Constructs in Systems Programming Languages.

William F. Appelbe, Anders P. Ravn

ACM Trans. Program. Lang. Syst., 1984

1982

Pointer Variables in Concurrent Pascal.

Anders P. Ravn

Softw. Pract. Exp., 1982

1980

Device Monitors.

Anders P. Ravn

IEEE Trans. Software Eng., 1980

1979

Synchronization under a Commercial Operating System.

Jørn Jensen, Søren Lauesen, Anders P. Ravn

Softw. Pract. Exp., 1979