Anders P. Ravn

According to our database1, Anders P. Ravn
  • authored at least 84 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Conformance test development with the Java modeling language.
Concurrency and Computation: Practice and Experience, 2017

Safety-critical Java for embedded systems.
Concurrency and Computation: Practice and Experience, 2017

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers.
Proceedings of the Provably Correct Systems, 2017

2016
A Two-Way Path Between Formal and Informal Design of Embedded Systems.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Modeling and Analysis of Component Faults and Reliability.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
A Method for Model Checking Feature Interactions.
Proceedings of the ICSOFT-EA 2015, 2015

Model Checking Feature Interactions.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Validating Timed Component Contracts.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Linking spatial and dynamic models for traffic maneuvers.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
A real-time Java tool chain for resource constrained platforms.
Concurrency and Computation: Practice and Experience, 2014

INTrEPID: A project on energy optimization in buildings.
Proceedings of the 4th International Conference on Wireless Communications, 2014

A Safety-Critical Java Technology Compatibility Kit.
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

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

2013
Model-checking web services business activity protocols.
STTT, 2013

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

Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011.
Concurrency and Computation: Practice and Experience, 2013

HomePort: Middleware for heterogeneous home automation networks.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

A test suite for safety-critical Java using JML.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

A Toolchain for Home Automation Controller Development.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012
Compositional verification of real-time systems using Ecdar.
STTT, 2012

Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults.
Int. J. Systems Science, 2012

Safety-critical Java with cyclic executives on chip-multiprocessors.
Concurrency and Computation: Practice and Experience, 2012

Safety-critical Java for low-end embedded platforms.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011
A Hardware Abstraction Layer in Java.
ACM Trans. Embedded Comput. Syst., 2011

Modelling and Verification of Web Services Business Activity Protocol.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Refactoring Real-Time Java Profiles.
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.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Formal Modelling and Analysis of Predictable Java.
ERCIM News, 2010

Cyclic executive for safety-critical Java on chip-multiprocessors.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Schedulability analysis for Java finalizers.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Design and Verification of Fault-Tolerant Components.
Proceedings of the Methods, 2009

Refinement and verification in component-based model-driven design.
Sci. Comput. Program., 2009

On the Specification of Full Contracts.
Electr. Notes Theor. Comput. Sci., 2009

Semantics for Communicating Actors with Interdependent Real-Time Deadlines.
Proceedings of the TASE 2009, 2009

A predictable Java profile: rationale and implementations.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Automatic sensor assignment of a supermarket refrigeration system.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Contract-Oriented Software Development for Internet Services.
ERCIM News, 2008

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

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

Classification of SOA Contract Specification Languages.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007
Editorial: Hybrid Systems.
Acta Inf., 2007

Automated distributed simulation in PTOLEMY II.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

A Profile for Safety Critical Java.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

A Refinement Driven Component-Based Design.
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.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Design Verification Patterns.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Harnessing Theories for Tool Support.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Language-based support for service oriented architectures: Future directions.
Proceedings of the ICSOFT 2006, 2006

Developing a TTCN-3 Test Harness for Legacy Software.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2004
Unifying proof methodologies of duration calculus and timed linear temporal logic.
Formal Asp. Comput., 2004

2003
Hybrid action systems.
Theor. Comput. Sci., 2003

Hybrid Control Design for a Wheeled Mobile Robot.
Proceedings of the Hybrid Systems: Computation and Control, 2003

AsmL Specification of a Ptolemy II Scheduler.
Proceedings of the Abstract State Machines, 2003

2000
Completeness in formal specification language design for process-control systems.
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999
Real-Time Constraints Through the ProCoS Layers.
Proceedings of the Correct System Design, 1999

1998
From Safety Analysis to Software Requirements.
IEEE Trans. Software Eng., 1998

Verifying duration properties of timed transition systems.
Proceedings of the Programming Concepts and Methods, 1998

1997
Action Systems with Continuous Behaviour.
Proceedings of the Hybrid Systems V, 1997

1996
Engineering of Real-Time Systems with an Experiment in Hybrid Control.
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Hybrid Systems: A Real-Time Interface to Control Engineering.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
Development of Safety-Critical Real-Time Systems.
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.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

A distributed implementation of a mode switching control program.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Refinement from a Control Problem to Programs.
Proceedings of the Formal Methods for Industrial Applications, 1995

Design of embedded real-time computing systems.
PhD thesis, 1995

1994
Hybrid Control of a Robot - A Case Study.
Proceedings of the Hybrid Systems II, 1994

Provably Correct Systems.
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.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993
Specifying and Verifying Requirements of Real-Time Systems.
IEEE Trans. Software Eng., 1993

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

1992
Introduction.
Proceedings of the Hybrid Systems, 1992

A Formal Approach to Computer Systems Requirements Documentation.
Proceedings of the Hybrid Systems, 1992

An Extended Duration Calculus for Hybrid Real-Time Systems.
Proceedings of the Hybrid Systems, 1992

Duration Specifications for Shared Processors.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Specification Of Embedded, Real-time Systems.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991
A Calculus of Durations.
Inf. Process. Lett., 1991

1988
A Design Method for Embedded Software Systems.
BIT, 1988

1986
Abstractions for Fault Tolerance in Distributed Systems - Response.
IFIP Congress, 1986

1984
Encapsulation Constructs in Systems Programming Languages.
ACM Trans. Program. Lang. Syst., 1984

1982
Pointer Variables in Concurrent Pascal.
Softw., Pract. Exper., 1982

1980
Device Monitors.
IEEE Trans. Software Eng., 1980

1979
Synchronization under a Commercial Operating System.
Softw., Pract. Exper., 1979


  Loading...