Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
On safety properties and their monitoring
Grigore Roşu
Information Trust Institute
Siebel School of Computing and Data Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On safety properties and their monitoring'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Cardinality
100%
runtime verification
100%
Real Number
100%
Execution Trace
100%
Keyphrases
Safety Properties
100%
Finite Traces
20%
General Notion
10%
Answering Questions
10%
Real numbers
10%
Runtime Verification
10%
Execution Trace
10%
Cardinality
10%
Infinite Trace
10%
Monitorable Property
10%
Bijective
10%