Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136934865> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2136934865 abstract "It is well recognized that debugging or testing a distributed system is a great challenge. FiLM is a runtime monitoring tool that can monitor the execution of distributed applications against LTL specifications on finite traces. Implemented within the online predicate checking infrastructure D <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> S, FiLM models the execution of distributed applications as a trace of consistent global snapshots with global timestamps, and it employs finite automata constructed from LTL specifications to evaluate the trace of distributed systems. We proved that the generated automata accept exactly the traces which satisfy LTL specifications. Our case study shows that FiLM successfully detected an important and intricate liveness bug in a real Paxos implementation." @default.
- W2136934865 created "2016-06-24" @default.
- W2136934865 creator A5011323970 @default.
- W2136934865 creator A5040117664 @default.
- W2136934865 creator A5043479748 @default.
- W2136934865 creator A5049487451 @default.
- W2136934865 creator A5074074003 @default.
- W2136934865 creator A5088888083 @default.
- W2136934865 date "2009-07-01" @default.
- W2136934865 modified "2023-10-16" @default.
- W2136934865 title "FiLM: A Runtime Monitoring Tool for Distributed Systems" @default.
- W2136934865 cites W1529311848 @default.
- W2136934865 cites W1568471959 @default.
- W2136934865 cites W1576549127 @default.
- W2136934865 cites W1607782211 @default.
- W2136934865 cites W1973501242 @default.
- W2136934865 cites W2020063716 @default.
- W2136934865 cites W2023808162 @default.
- W2136934865 cites W2028637393 @default.
- W2136934865 cites W2030935018 @default.
- W2136934865 cites W2048327004 @default.
- W2136934865 cites W2065675749 @default.
- W2136934865 cites W2075854425 @default.
- W2136934865 cites W207759855 @default.
- W2136934865 cites W2114768982 @default.
- W2136934865 cites W2115309705 @default.
- W2136934865 cites W2117009500 @default.
- W2136934865 cites W2117020308 @default.
- W2136934865 cites W2119965246 @default.
- W2136934865 cites W2124877509 @default.
- W2136934865 cites W2137591753 @default.
- W2136934865 cites W45951652 @default.
- W2136934865 cites W55426108 @default.
- W2136934865 doi "https://doi.org/10.1109/ssiri.2009.55" @default.
- W2136934865 hasPublicationYear "2009" @default.
- W2136934865 type Work @default.
- W2136934865 sameAs 2136934865 @default.
- W2136934865 citedByCount "5" @default.
- W2136934865 countsByYear W21369348652012 @default.
- W2136934865 countsByYear W21369348652014 @default.
- W2136934865 countsByYear W21369348652015 @default.
- W2136934865 crossrefType "proceedings-article" @default.
- W2136934865 hasAuthorship W2136934865A5011323970 @default.
- W2136934865 hasAuthorship W2136934865A5040117664 @default.
- W2136934865 hasAuthorship W2136934865A5043479748 @default.
- W2136934865 hasAuthorship W2136934865A5049487451 @default.
- W2136934865 hasAuthorship W2136934865A5074074003 @default.
- W2136934865 hasAuthorship W2136934865A5088888083 @default.
- W2136934865 hasConcept C110251889 @default.
- W2136934865 hasConcept C111498074 @default.
- W2136934865 hasConcept C112505250 @default.
- W2136934865 hasConcept C113954288 @default.
- W2136934865 hasConcept C120314980 @default.
- W2136934865 hasConcept C138885662 @default.
- W2136934865 hasConcept C140146324 @default.
- W2136934865 hasConcept C15569618 @default.
- W2136934865 hasConcept C168065819 @default.
- W2136934865 hasConcept C199360897 @default.
- W2136934865 hasConcept C202973057 @default.
- W2136934865 hasConcept C25016198 @default.
- W2136934865 hasConcept C41008148 @default.
- W2136934865 hasConcept C41895202 @default.
- W2136934865 hasConcept C75291252 @default.
- W2136934865 hasConcept C79403827 @default.
- W2136934865 hasConcept C80444323 @default.
- W2136934865 hasConceptScore W2136934865C110251889 @default.
- W2136934865 hasConceptScore W2136934865C111498074 @default.
- W2136934865 hasConceptScore W2136934865C112505250 @default.
- W2136934865 hasConceptScore W2136934865C113954288 @default.
- W2136934865 hasConceptScore W2136934865C120314980 @default.
- W2136934865 hasConceptScore W2136934865C138885662 @default.
- W2136934865 hasConceptScore W2136934865C140146324 @default.
- W2136934865 hasConceptScore W2136934865C15569618 @default.
- W2136934865 hasConceptScore W2136934865C168065819 @default.
- W2136934865 hasConceptScore W2136934865C199360897 @default.
- W2136934865 hasConceptScore W2136934865C202973057 @default.
- W2136934865 hasConceptScore W2136934865C25016198 @default.
- W2136934865 hasConceptScore W2136934865C41008148 @default.
- W2136934865 hasConceptScore W2136934865C41895202 @default.
- W2136934865 hasConceptScore W2136934865C75291252 @default.
- W2136934865 hasConceptScore W2136934865C79403827 @default.
- W2136934865 hasConceptScore W2136934865C80444323 @default.
- W2136934865 hasLocation W21369348651 @default.
- W2136934865 hasOpenAccess W2136934865 @default.
- W2136934865 hasPrimaryLocation W21369348651 @default.
- W2136934865 hasRelatedWork W1481201928 @default.
- W2136934865 hasRelatedWork W2007588592 @default.
- W2136934865 hasRelatedWork W2078282392 @default.
- W2136934865 hasRelatedWork W2081995564 @default.
- W2136934865 hasRelatedWork W2084220032 @default.
- W2136934865 hasRelatedWork W2091946694 @default.
- W2136934865 hasRelatedWork W2098228838 @default.
- W2136934865 hasRelatedWork W2136934865 @default.
- W2136934865 hasRelatedWork W2274258207 @default.
- W2136934865 hasRelatedWork W2346382103 @default.
- W2136934865 isParatext "false" @default.
- W2136934865 isRetracted "false" @default.
- W2136934865 magId "2136934865" @default.
- W2136934865 workType "article" @default.