Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Link opens in a new tab
Dansk
English
Search content at IT-University of Copenhagen
Home
Organisation
Researchers
Projects
Publications
Datasets
Courses
Press/Media
Activities
Prizes
Event-Based Runtime Checking of Timed LTL
Kåre Jelling Kristoffersen
, Christian Pedersen
, Henrik Reif Andersen
IT University of Copenhagen
Research output
:
Book / Anthology / Report
›
Report
›
Research
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Event-Based Runtime Checking of Timed LTL'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Event-based
100%
Runtime Checking
100%
Timed Systems
100%
Runtime Verification
66%
State Change
33%
Linear Temporal Logic
33%
Discrete-time
33%
Business Software
33%
Quad
33%
System State
33%
System of Equations
33%
Event-based Algorithm
33%
Occurence
33%
Fixed-point Reduction
33%
Normalized Equation
33%
Charaterization
33%
LTL Formulas
33%
Computer Science
runtime verification
100%
Large Data Set
50%
discrete-time
50%
Linear Temporal Logic
50%
Fixed Points
50%
Equation System
50%
Mathematics
Temporal Logic
33%
Discrete Time
33%
System State
33%
Taking Place
33%
Event Occurs
33%