Anders P. Ravn | Academic Influence

Anders P. Ravn's AcademicInfluence.com Rankings

Anders P. Ravn

Computer Science

#1425

World Rank

#1474

Historical Rank

Database

#5061

World Rank

#5258

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Anders P. Ravn's Degrees

PhD Computer Science Aarhus University
Masters Computer Science Aarhus University

Similar Degrees You Can Earn

Why Is Anders P. Ravn Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Anders Peter Ravn was a Danish computer scientist. Anders P. Ravn was born in 1947 in Caracas, Venezuela, the son of Niels and Henny Ravn. He arrived in Denmark in 1948. Ravn received a Master of Science degree in Computer Science and Mathematics from the University of Copenhagen in 1973 and a Doctor of Technology degree in Computer Science from the Technical University of Denmark in 1995.

(See a Problem?)

Anders P. Ravn's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Calculus of Durations (1991) (886)
Specifying and verifying requirements of real-time systems (1991) (225)
An Extended Duration Calculus for Hybrid Real-Time Systems (1992) (182)
From Safety Analysis to Software Requirements (1998) (142)
A Formal Description of Hybrid Systems (1996) (127)
Design of embedded real-time computing systems (1994) (91)
Refinement and verification in component-based model-driven design (2009) (63)
Formal Techniques in Real-Time and Fault-Tolerant Systems (1994) (57)
Hybrid action systems (2003) (55)
Duration Specifications for Shared Processors (1992) (53)
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres (2011) (52)
Developing Correct Systems (1993) (45)
A Hardware Abstraction Layer in Java (2011) (42)
A ProCos Project Description: Esprit BRA 3104 (1989) (42)
A Probabilistic Duration Calculus (1992) (40)
A Profile for Safety Critical Java (2007) (38)
Specification Of Embedded, Real-time Systems (1992) (37)
Hardware Objects for Java (2008) (35)
Derivation and validation of a coal mill model for control (2012) (33)
Hybrid Control Design for a Wheeled Mobile Robot (2003) (32)
Safety-critical Java for low-end embedded platforms (2012) (30)
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL (2010) (30)
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults (2012) (29)
Modelling and Verification of Web Services Business Activity Protocol (2011) (29)
A predictable Java profile: rationale and implementations (2009) (29)
HomePort: Middleware for heterogeneous home automation networks (2013) (28)
Modelling with Relational Calculus of Object and Component Systems - rCOS (2007) (28)
An Extended Duration Calculus for Hybrid Systems (1993) (28)
Towards a calculus of systems dependability (1992) (28)
A ProCoS II Project Final Report: ESPRIT Basic Research project 7071 (1996) (27)
Compositional verification of real-time systems using Ecdar (2012) (27)
A Formal Approach to Computer Systems Requirements Documentation (1992) (26)
Design and Verification of Fault-Tolerant Components (2009) (24)
Component-based Design and Integration Platforms (2003) (24)
Harnessing Theories for Tool Support (2006) (21)
Developing a TTCN-3 test harness for legacy software (2006) (16)
Classification of SOA Contract Specification Languages (2008) (16)
Action Systems with Continuous Behaviour (1997) (16)
A Ravenscar-Java profile implementation (2006) (14)
Language-based support for service oriented architectures: Future directions (2006) (14)
Hybrid Control of a Robot - A Case Study (1994) (14)
Refinement from a Control Problem to Programs (1995) (13)
Towards harnessing theories through tool support for hard real-time Java programming (2013) (13)
On the Specification of Full Contracts (2009) (13)
Design of embedded, real-time systems: developing a method for practical software engineering (1990) (11)
Verifying duration properties of timed transition systems (1998) (11)
Device Monitors (1980) (10)
Automated distributed simulation in PTOLEMY II (2007) (10)
Hybrid systems: a real-time interface to control engineering (1996) (10)
Unifying proof methodologies of duration calculus and timed linear temporal logic (2004) (10)
Proceedings of the 2006 international workshop on Automation of software test (2006) (10)
Model-checking web services business activity protocols (2013) (10)
A Two-Way Path Between Formal and Informal Design of Embedded Systems (2016) (10)
Safety‐critical Java for embedded systems (2017) (9)
SWITCHES AND JUMPS IN HYBRID ACTION SYSTEMS (1997) (9)
Active diagnosis of hybrid systems — A model predictive approach (2009) (9)
A real‐time Java tool chain for resource constrained platforms (2013) (9)
A design method for embedded software systems (1988) (9)
Interrupt Handlers in Java (2008) (9)
A Toolchain for Home Automation Controller Development (2013) (8)
A Refinement Driven Component-Based Design (2007) (8)
Interface models (1994) (8)
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers (2017) (8)
A method for model checking feature interactions (2015) (8)
PROVABLY CORRECT SAFETY CRITICAL SOFTWARE (1990) (8)
Formal Techniques in Real-Time and Fault-Tolerant Systems (1998) (8)
Cyclic executive for safety-critical Java on chip-multiprocessors (2010) (8)
Refactoring Real-Time Java Profiles (2011) (7)
Development of Safety-Critical Real-Time Systems (1995) (7)
Schedulability analysis for Java finalizers (2010) (7)
Appendix B - The ProCoS Project: Provably Correct Systems (1994) (6)
Planning and Operation of an Autonomous Vehicle for Weed Inspection (2002) (6)
Safety‐critical Java with cyclic executives on chip‐multiprocessors (2012) (6)
Design Verification Patterns (2007) (6)
The Procos Approach to the Design of Real-time Systems: Linking Diierent Formalisms Document Purpose (1996) (6)
Documenting Design Refinement (2000) (5)
Planning and Operation of an Autonomous Vehicle (2002) (5)
Encapsulation constructs in systems programming languages (1984) (5)
Mathematical Frameworks for Component Software (2006) (5)
Analysis of collisions in wireless sensor networks (2009) (5)
Analyzing Web Service Contracts: an aspect oriented approach (2007) (5)
Active diagnosis of MLD systems using distinguishable steady outputs (2010) (5)
Automatic sensor assignment of a supermarket refrigeration system (2009) (4)
A test suite for safety-critical Java using JML (2013) (4)
Certifiable Java for Embedded Systems (2014) (4)
A Practical Approach to Mode Change in Real-Time Systems (2008) (4)
Contract-Oriented Software Development for Internet Services (2008) (4)
Engineering of Real-Time Systems with an Experiment in Hybrid Control (1996) (4)
Analyzing Web Service Contracts (2007) (4)
Consistency Checking of Web Service Contracts (2008) (4)
Using UPPAAL to analyze an MPEG 2 algorithm (2005) (4)
A distributed implementation of a mode switching control program (1995) (4)
Pointer variables in concurrent Pascal (1982) (3)
Synchronization under a commercial operating system (1979) (3)
Modeling and Analysis of Component Faults and Reliability (2016) (3)
Completeness in formal specification language design for process-control systems (2000) (3)
Duration Properties of Timed Transition Systems (1997) (3)
Linking spatial and dynamic models for traffic maneuvers (2015) (3)
AsmL Specification of a Ptolemy II Scheduler (2003) (2)
Towards Reliable Integrated Services for Dependable Systems (2003) (2)
Modelling the Common Component Modelling Example in rCOS (2007) (2)
INTrEPID: A project on energy optimization in buildings (2014) (2)
Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (2009) (2)
Tool Supported Analysis of Web Services Protocols (2011) (2)
Conformance test development with the Java modeling language (2017) (2)
Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1998) (2)
Use of concurrent Pascal in systems programming teaching (1982) (2)
Formalization in Component Based Development (2006) (2)
A standard format for data exchange - SFD (1996) (2)
Impact of Scheduling Policies on Control System Performance (2003) (2)
Design and Verification of a Fault-Tolerant System (2007) (2)
A Safety-Critical Java Technology Compatibility Kit (2014) (2)
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (2011) (1)
Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11) (2011) (1)
Differential Equations as Actions (1997) (1)
Model Checking Feature Interactions (2015) (1)
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings (2009) (1)
International Conference on Computing, Communications and Control Technologies CCCT 2007 (2007) (1)
Chapter 2. Mode-switching in Hydraulic Actuator Systems - An Experiment (1996) (1)
The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA (2003) (1)
Component Based Development-Where is the Place for Formalization ? (2003) (1)
Proc. 2002 ASAE / CIGR XVth World Congress, Chicago, USA, July 29 - August 1 2002 (2002) (1)
Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II (2004) (1)
Contract-based Internet Service Software Development: A Proposal (2006) (1)
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking (2017) (0)
Harnessing Theories for Tool Support A Real-Time Java Case (2017) (0)
Encapsulation Constructs in Programming Languages (1984) (0)
How do exhibition visitors describe aesthetic qualities (2007) (0)
The Distributed-SDF Domain (2005) (0)
Engineering aspects of real-time systems and an experiment in hybrid control (1996) (0)
Session details: Tools and methods for safety-critical Java (2013) (0)
21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009 (2009) (0)
Semantics for Communicating Actors with Interdependent Real-Time Deadlines (2009) (0)
An Approach to Quality Estimation in Model-Based Development (2004) (0)
A predictable Java profile (2009) (0)
Introduction to the special issue on Java technologies for real‐time and embedded systems: JTRES2011 (2013) (0)
EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003 (2003) (0)
Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA (2000) (0)
Real-Time Constraints Through the ProCoS Layers (1999) (0)
Editorial: Hybrid Systems (2007) (0)
Abstractions for Fault Tolerance in Distributed Systems - Response (1986) (0)
Model-based analysis of embedded java programs (2009) (0)
Design Patterns for Control Systems (2006) (0)
Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations (2004) (0)
Quality Estimation of Component-Based Embedded Systems (2004) (0)
Model-checking web services business activity protocols (2012) (0)
Towards harnessing theories through tool support for hard real-time Java programming (2012) (0)
Compositional verification of real-time systems using Ecdar (2012) (0)
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012 (2012) (0)
Component Based Development - Where is the Place for Formalism? (2003) (0)
Efficient and Orderly Co-simulation of Heterogeneous Computational Models (2003) (0)
A Semantics for a Real-Time Actor Language (2008) (0)
Compositionality and Compatibility of Service Contracts (2007) (0)
Design Verifikation Patterns (2007) (0)
\emph{Don't know} for Multi-valued Systems (2009) (0)
Validating Timed Component Contracts (2015) (0)
Using UPPAAL to Verify the MPEG2 Encoding Algorithm (2003) (0)
Formal Modelling and Analysis of Predictable Java (2010) (0)
Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009 (2009) (0)
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software: Preface (2012) (0)
Specification problem 7 Solutions 16 (2008) (0)
Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006 (2006) (0)
Integrating an UML tool in an Industrial Development Process: a Case Study (2004) (0)

This paper list is powered by the following services:

Other Resources About Anders P. Ravn

What Schools Are Affiliated With Anders P. Ravn?

Anders P. Ravn is affiliated with the following schools:

Image Attributions

Image Source for Anders P. Ravn