Concepedia

Kirsten Mark Hansen

KM

4

Publications

373

Citations

4

H-Index

1991

Active since

Affiliations

Technical University of Denmark(Current)

Kirsten Mark Hansen is an author at Technical University of Denmark specializing in computer science, systems engineering, and software analysis.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceReal-time SystemsSoftware AnalysisFormal VerificationSystems EngineeringVerificationEmbedded Systems

Publications per year

1991–1998

4

Publications

4

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

Specifying and verifying requirements of real-time systems

Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel · 1991 · 16 citations

Engineering, Real-time System Design, Verification +22

Rows per page

1–4 of 4