Concepedia

Torsten K. Iversen

TK

2

Publications

82

Citations

2

H-Index

1999

Active since

Affiliations

Aalborg University(Current)

Torsten K. Iversen is an author at Aalborg University specializing in systems engineering, computer science, and system software.

Top concepts

AutomationEngineeringVerificationFormal MethodsControl SystemsSystem SoftwareComputer ScienceProgram AnalysisReal-time SystemsSoftware Analysis

Publications per year

1999–2000

2

Publications

2

Model-checking real-time control programs: verifying LEGO MINDSTORMS<sup>TM</sup> systems using UPPAAL

Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen et al. · 2000 · 48 citations

Engineering, Verification, Computer-aided Verification +29

Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen et al. · BRICS Report Series · 1999 · 34 citations · Full text

Engineering, Verification, Computer-aided Verification +22

Rows per page

1–2 of 2