Concepedia

Anders P. Ravn

AP

25

Publications

1.6K

Citations

18

H-Index

1989

Active since

Affiliations

Aalborg University(Current)

Technical University of Denmark

VIA University College

Institute of Software

Anders P. Ravn is an author at Aalborg University specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceSystem SoftwareFormal MethodsSoftware AnalysisFormal VerificationProgram AnalysisComputer EngineeringSoftware Design

Publications per year

1989–2013

25

Publications

25

A calculus of durations

Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn · Information Processing Letters · 1991 · 716 citations

Mathematical Programming, Temporal Dynamic, Temporal Complexity +1

Specifying and verifying requirements of real-time systems

Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen · IEEE Transactions on Software Engineering · 1993 · 164 citations

Engineering, Real-time System Design, Verification +24

From safety analysis to software requirements

Kirsten Mark Hansen, Anders P. Ravn, V. Stavridou · IEEE Transactions on Software Engineering · 1998 · 125 citations

Software Maintenance, Safety Case, Engineering +22

Specifying and verifying requirements of real-time systems

Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel · ACM SIGSOFT Software Engineering Notes · 1991 · 68 citations

Engineering, Verification, Software Systems +17

Refinement and verification in component-based model-driven design

Zhenbang Chen, Zhiming Liu, Anders P. Ravn et al. · Science of Computer Programming · 2008 · 56 citations

Architectural Design, Engineering, Automated Reasoning +12

Rows per page

1–5 of 25