Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078282392> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2078282392 endingPage "225" @default.
- W2078282392 startingPage "210" @default.
- W2078282392 abstract "In this paper we present a new framework for runtime verification of properties of real time systems such as financial systems or backend databases. Such a systems has a semantics which resemples that of timed traces, namely a sequence of states where each state consists of predicates true in this state and then a timestamp explaining when the state is valid. We present a logic, LTLt, which is an extension of LTL with time constraints and a freeze quantifier and show how formulae in this logic are able to express properties of bounded liveness and safety which are ideal for these systems. It is shown how a formula in LTLt may be rewritten to a certain disjunctive normal form suitable for checking a real time system at runtime. The normal form captures the essential part of runtime verification by a set of mutually defined formula identifiers, each expressing two things: What should hold now and which formula identifiers that will need to hold in the next state. As part of the theoretical foundation for this work we propose a characterization of Runtime Verification and address the challenges in developing a method which is both sound and complete while at the same time efficient." @default.
- W2078282392 created "2016-06-24" @default.
- W2078282392 creator A5023108558 @default.
- W2078282392 creator A5059875134 @default.
- W2078282392 creator A5070753302 @default.
- W2078282392 date "2003-10-01" @default.
- W2078282392 modified "2023-09-24" @default.
- W2078282392 title "Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems" @default.
- W2078282392 cites W1521364045 @default.
- W2078282392 cites W1607782211 @default.
- W2078282392 cites W2046213250 @default.
- W2078282392 cites W2088655521 @default.
- W2078282392 doi "https://doi.org/10.1016/s1571-0661(04)81050-8" @default.
- W2078282392 hasPublicationYear "2003" @default.
- W2078282392 type Work @default.
- W2078282392 sameAs 2078282392 @default.
- W2078282392 citedByCount "33" @default.
- W2078282392 countsByYear W20782823922012 @default.
- W2078282392 countsByYear W20782823922013 @default.
- W2078282392 countsByYear W20782823922014 @default.
- W2078282392 countsByYear W20782823922015 @default.
- W2078282392 countsByYear W20782823922016 @default.
- W2078282392 countsByYear W20782823922017 @default.
- W2078282392 crossrefType "journal-article" @default.
- W2078282392 hasAuthorship W2078282392A5023108558 @default.
- W2078282392 hasAuthorship W2078282392A5059875134 @default.
- W2078282392 hasAuthorship W2078282392A5070753302 @default.
- W2078282392 hasBestOaLocation W20782823921 @default.
- W2078282392 hasConcept C110251889 @default.
- W2078282392 hasConcept C111498074 @default.
- W2078282392 hasConcept C113954288 @default.
- W2078282392 hasConcept C134306372 @default.
- W2078282392 hasConcept C153269930 @default.
- W2078282392 hasConcept C154504017 @default.
- W2078282392 hasConcept C15569618 @default.
- W2078282392 hasConcept C177264268 @default.
- W2078282392 hasConcept C184337299 @default.
- W2078282392 hasConcept C199360897 @default.
- W2078282392 hasConcept C202973057 @default.
- W2078282392 hasConcept C25016198 @default.
- W2078282392 hasConcept C2778029271 @default.
- W2078282392 hasConcept C2778112365 @default.
- W2078282392 hasConcept C33923547 @default.
- W2078282392 hasConcept C34388435 @default.
- W2078282392 hasConcept C41008148 @default.
- W2078282392 hasConcept C48103436 @default.
- W2078282392 hasConcept C54355233 @default.
- W2078282392 hasConcept C79403827 @default.
- W2078282392 hasConcept C80444323 @default.
- W2078282392 hasConcept C86803240 @default.
- W2078282392 hasConceptScore W2078282392C110251889 @default.
- W2078282392 hasConceptScore W2078282392C111498074 @default.
- W2078282392 hasConceptScore W2078282392C113954288 @default.
- W2078282392 hasConceptScore W2078282392C134306372 @default.
- W2078282392 hasConceptScore W2078282392C153269930 @default.
- W2078282392 hasConceptScore W2078282392C154504017 @default.
- W2078282392 hasConceptScore W2078282392C15569618 @default.
- W2078282392 hasConceptScore W2078282392C177264268 @default.
- W2078282392 hasConceptScore W2078282392C184337299 @default.
- W2078282392 hasConceptScore W2078282392C199360897 @default.
- W2078282392 hasConceptScore W2078282392C202973057 @default.
- W2078282392 hasConceptScore W2078282392C25016198 @default.
- W2078282392 hasConceptScore W2078282392C2778029271 @default.
- W2078282392 hasConceptScore W2078282392C2778112365 @default.
- W2078282392 hasConceptScore W2078282392C33923547 @default.
- W2078282392 hasConceptScore W2078282392C34388435 @default.
- W2078282392 hasConceptScore W2078282392C41008148 @default.
- W2078282392 hasConceptScore W2078282392C48103436 @default.
- W2078282392 hasConceptScore W2078282392C54355233 @default.
- W2078282392 hasConceptScore W2078282392C79403827 @default.
- W2078282392 hasConceptScore W2078282392C80444323 @default.
- W2078282392 hasConceptScore W2078282392C86803240 @default.
- W2078282392 hasIssue "2" @default.
- W2078282392 hasLocation W20782823921 @default.
- W2078282392 hasOpenAccess W2078282392 @default.
- W2078282392 hasPrimaryLocation W20782823921 @default.
- W2078282392 hasRelatedWork W1481201928 @default.
- W2078282392 hasRelatedWork W1503969427 @default.
- W2078282392 hasRelatedWork W1515452107 @default.
- W2078282392 hasRelatedWork W178744699 @default.
- W2078282392 hasRelatedWork W2066789939 @default.
- W2078282392 hasRelatedWork W2078282392 @default.
- W2078282392 hasRelatedWork W2136934865 @default.
- W2078282392 hasRelatedWork W2346382103 @default.
- W2078282392 hasRelatedWork W4221166042 @default.
- W2078282392 hasRelatedWork W4312659158 @default.
- W2078282392 hasVolume "89" @default.
- W2078282392 isParatext "false" @default.
- W2078282392 isRetracted "false" @default.
- W2078282392 magId "2078282392" @default.
- W2078282392 workType "article" @default.