Concepedia

Kåre J. Kristoffersen

KJ

7

Publications

242

Citations

7

H-Index

1999

Active since

Affiliations

Aalborg University(Current)

IT University of Copenhagen

Danish National Research Foundation

Kåre J. Kristoffersen is an author at Aalborg University specializing in computer science, systems engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringReal-time SystemsProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

1999–2003

7

Publications

7

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

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard et al. · Formal Methods in System Design · 2001 · 45 citations

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems

Kåre J. Kristoffersen, Christian Roed Pedersen, Henrik Reif Andersen · Electronic Notes in Theoretical Computer Science · 2003 · 41 citations · Full text

Engineering, Verification, Computer-aided Verification +17

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

Automated Analysis of an Audio Control Protocol Using UPPAAL

Johan Bengtsson, David Griffioen, Kåre J. Kristoffersen et al. · 2002 · 31 citations

Rows per page

1–5 of 7