Matches in SemOpenAlex for { <https://semopenalex.org/work/W1930771207> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1930771207 abstract "We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by checking a running implementation of a system against a verified behavioral model. We use the Ben-Ari classical incremental garbage collection algorithm for illustration." @default.
- W1930771207 created "2016-06-24" @default.
- W1930771207 creator A5016227560 @default.
- W1930771207 creator A5028619113 @default.
- W1930771207 creator A5028932039 @default.
- W1930771207 date "2006-10-11" @default.
- W1930771207 modified "2023-10-16" @default.
- W1930771207 title "On Monitoring Concurrent Systems with TLA: An Example" @default.
- W1930771207 cites W2015688007 @default.
- W1930771207 cites W2052363833 @default.
- W1930771207 cites W2059224852 @default.
- W1930771207 cites W2092767796 @default.
- W1930771207 cites W2112630372 @default.
- W1930771207 cites W2118962824 @default.
- W1930771207 cites W2125047630 @default.
- W1930771207 cites W2135274583 @default.
- W1930771207 cites W2137948900 @default.
- W1930771207 cites W2152651705 @default.
- W1930771207 cites W4213079124 @default.
- W1930771207 cites W4254354208 @default.
- W1930771207 cites W4254394310 @default.
- W1930771207 doi "https://doi.org/10.1109/acsd.2005.29" @default.
- W1930771207 hasPublicationYear "2006" @default.
- W1930771207 type Work @default.
- W1930771207 sameAs 1930771207 @default.
- W1930771207 citedByCount "4" @default.
- W1930771207 countsByYear W19307712072018 @default.
- W1930771207 countsByYear W19307712072023 @default.
- W1930771207 crossrefType "proceedings-article" @default.
- W1930771207 hasAuthorship W1930771207A5016227560 @default.
- W1930771207 hasAuthorship W1930771207A5028619113 @default.
- W1930771207 hasAuthorship W1930771207A5028932039 @default.
- W1930771207 hasConcept C105122174 @default.
- W1930771207 hasConcept C110251889 @default.
- W1930771207 hasConcept C11648818 @default.
- W1930771207 hasConcept C162670838 @default.
- W1930771207 hasConcept C198008173 @default.
- W1930771207 hasConcept C199360897 @default.
- W1930771207 hasConcept C25016198 @default.
- W1930771207 hasConcept C41008148 @default.
- W1930771207 hasConcept C4777664 @default.
- W1930771207 hasConcept C75403996 @default.
- W1930771207 hasConcept C79403827 @default.
- W1930771207 hasConceptScore W1930771207C105122174 @default.
- W1930771207 hasConceptScore W1930771207C110251889 @default.
- W1930771207 hasConceptScore W1930771207C11648818 @default.
- W1930771207 hasConceptScore W1930771207C162670838 @default.
- W1930771207 hasConceptScore W1930771207C198008173 @default.
- W1930771207 hasConceptScore W1930771207C199360897 @default.
- W1930771207 hasConceptScore W1930771207C25016198 @default.
- W1930771207 hasConceptScore W1930771207C41008148 @default.
- W1930771207 hasConceptScore W1930771207C4777664 @default.
- W1930771207 hasConceptScore W1930771207C75403996 @default.
- W1930771207 hasConceptScore W1930771207C79403827 @default.
- W1930771207 hasLocation W19307712071 @default.
- W1930771207 hasOpenAccess W1930771207 @default.
- W1930771207 hasPrimaryLocation W19307712071 @default.
- W1930771207 hasRelatedWork W1031601050 @default.
- W1930771207 hasRelatedWork W1515452107 @default.
- W1930771207 hasRelatedWork W1930771207 @default.
- W1930771207 hasRelatedWork W1981889059 @default.
- W1930771207 hasRelatedWork W2124110813 @default.
- W1930771207 hasRelatedWork W2350953867 @default.
- W1930771207 hasRelatedWork W2363045166 @default.
- W1930771207 hasRelatedWork W3005864166 @default.
- W1930771207 hasRelatedWork W4317033095 @default.
- W1930771207 hasRelatedWork W946220898 @default.
- W1930771207 isParatext "false" @default.
- W1930771207 isRetracted "false" @default.
- W1930771207 magId "1930771207" @default.
- W1930771207 workType "article" @default.