Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556312007> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1556312007 abstract "In this paper we present an algorithm for performing runtime verification of a bounded temporal logic over timed runs. The algorithm consists of three elements. First, the bounded temporal formula to be verified is translated into a monadic first-order logic over difference inequalities, which we call monadic difference logic. Second, at each step of the timed run, the monadic difference formula is modified by computing a quotient with the state and time of that step. Third, the resulting formula is checked for being a tautology or being unsatisfiable by a decision procedure for monadic difference logic. We further provide a simple decision procedure for monadic difference logic based on the data structure Difference Decision Diagrams. The algorithm is complete in a very strong sense on a subclass of temporal formulae characterized as homogeneously monadic and it is approximate on other formulae. The approximation comes from the fact that not all unsatisfiable or tautological formulae are recognised at the earliest possible time of the runtime verification. Contrary to existing approaches, the presented algorithms do not work by syntactic rewriting but employ efficient decision structures which make them applicable in real applications within for instance business software." @default.
- W1556312007 created "2016-06-24" @default.
- W1556312007 creator A5023108558 @default.
- W1556312007 creator A5059875134 @default.
- W1556312007 date "2007-05-31" @default.
- W1556312007 modified "2023-09-27" @default.
- W1556312007 title "Temporal Runtime Verification using Monadic Difference Logic" @default.
- W1556312007 cites W105613008 @default.
- W1556312007 cites W1493834706 @default.
- W1556312007 cites W1509343160 @default.
- W1556312007 cites W1519017097 @default.
- W1556312007 cites W1532000439 @default.
- W1556312007 cites W1592502301 @default.
- W1556312007 cites W1912165540 @default.
- W1556312007 cites W2034721959 @default.
- W1556312007 cites W2062787735 @default.
- W1556312007 cites W2080267935 @default.
- W1556312007 cites W2101508170 @default.
- W1556312007 cites W2104717300 @default.
- W1556312007 cites W2115965729 @default.
- W1556312007 cites W2911450990 @default.
- W1556312007 cites W83267564 @default.
- W1556312007 hasPublicationYear "2007" @default.
- W1556312007 type Work @default.
- W1556312007 sameAs 1556312007 @default.
- W1556312007 citedByCount "0" @default.
- W1556312007 crossrefType "posted-content" @default.
- W1556312007 hasAuthorship W1556312007A5023108558 @default.
- W1556312007 hasAuthorship W1556312007A5059875134 @default.
- W1556312007 hasConcept C102993220 @default.
- W1556312007 hasConcept C110039528 @default.
- W1556312007 hasConcept C110251889 @default.
- W1556312007 hasConcept C11413529 @default.
- W1556312007 hasConcept C118615104 @default.
- W1556312007 hasConcept C124656256 @default.
- W1556312007 hasConcept C134306372 @default.
- W1556312007 hasConcept C153269930 @default.
- W1556312007 hasConcept C154690210 @default.
- W1556312007 hasConcept C166374712 @default.
- W1556312007 hasConcept C169896238 @default.
- W1556312007 hasConcept C199360897 @default.
- W1556312007 hasConcept C203659156 @default.
- W1556312007 hasConcept C25016198 @default.
- W1556312007 hasConcept C33923547 @default.
- W1556312007 hasConcept C34388435 @default.
- W1556312007 hasConcept C41008148 @default.
- W1556312007 hasConcept C4777664 @default.
- W1556312007 hasConcept C80444323 @default.
- W1556312007 hasConceptScore W1556312007C102993220 @default.
- W1556312007 hasConceptScore W1556312007C110039528 @default.
- W1556312007 hasConceptScore W1556312007C110251889 @default.
- W1556312007 hasConceptScore W1556312007C11413529 @default.
- W1556312007 hasConceptScore W1556312007C118615104 @default.
- W1556312007 hasConceptScore W1556312007C124656256 @default.
- W1556312007 hasConceptScore W1556312007C134306372 @default.
- W1556312007 hasConceptScore W1556312007C153269930 @default.
- W1556312007 hasConceptScore W1556312007C154690210 @default.
- W1556312007 hasConceptScore W1556312007C166374712 @default.
- W1556312007 hasConceptScore W1556312007C169896238 @default.
- W1556312007 hasConceptScore W1556312007C199360897 @default.
- W1556312007 hasConceptScore W1556312007C203659156 @default.
- W1556312007 hasConceptScore W1556312007C25016198 @default.
- W1556312007 hasConceptScore W1556312007C33923547 @default.
- W1556312007 hasConceptScore W1556312007C34388435 @default.
- W1556312007 hasConceptScore W1556312007C41008148 @default.
- W1556312007 hasConceptScore W1556312007C4777664 @default.
- W1556312007 hasConceptScore W1556312007C80444323 @default.
- W1556312007 hasLocation W15563120071 @default.
- W1556312007 hasOpenAccess W1556312007 @default.
- W1556312007 hasPrimaryLocation W15563120071 @default.
- W1556312007 hasRelatedWork W1507479492 @default.
- W1556312007 hasRelatedWork W1537589219 @default.
- W1556312007 hasRelatedWork W1550523972 @default.
- W1556312007 hasRelatedWork W1581671536 @default.
- W1556312007 hasRelatedWork W1583251282 @default.
- W1556312007 hasRelatedWork W1597089137 @default.
- W1556312007 hasRelatedWork W1602995535 @default.
- W1556312007 hasRelatedWork W1606603558 @default.
- W1556312007 hasRelatedWork W1769923558 @default.
- W1556312007 hasRelatedWork W1812178757 @default.
- W1556312007 hasRelatedWork W1872003434 @default.
- W1556312007 hasRelatedWork W1898783984 @default.
- W1556312007 hasRelatedWork W1983255876 @default.
- W1556312007 hasRelatedWork W2078282392 @default.
- W1556312007 hasRelatedWork W2087411240 @default.
- W1556312007 hasRelatedWork W2146079376 @default.
- W1556312007 hasRelatedWork W2351899084 @default.
- W1556312007 hasRelatedWork W2512033590 @default.
- W1556312007 hasRelatedWork W77447793 @default.
- W1556312007 hasRelatedWork W37473834 @default.
- W1556312007 isParatext "false" @default.
- W1556312007 isRetracted "false" @default.
- W1556312007 magId "1556312007" @default.
- W1556312007 workType "article" @default.