Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111688293> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2111688293 abstract "This paper presents an algorithm for checking global predicates from distributed traces of cyber-physical systems. For an individual agent, such as a mobile phone or a robot, a trace is a finite sequence of state observations and message histories. Each observation has a possibly inaccurate timestamp from the agent's local clock. The challenge is to symbolically over approximate the reachable states of the entire system from the unsynchronized traces of the individual agents. The presented algorithm first approximates the time of occurrence of each event, based on the synchronization errors of the local clocks, and then over approximates the reach sets of the continuous variables between consecutive observations. The algorithm is shown to be sound, it is also complete for a class of agents with restricted continuous dynamics and when the traces have precise information about timing synchronization inaccuracies. The algorithm is implemented in an SMT solver-based tool for analyzing distributed Android apps. Experimental results illustrate that interesting properties like safe separation, correct geocast delivery, and distributed deadlocks can be checked for up-to twenty agents in minutes." @default.
- W2111688293 created "2016-06-24" @default.
- W2111688293 creator A5042406677 @default.
- W2111688293 creator A5065269963 @default.
- W2111688293 creator A5067901159 @default.
- W2111688293 creator A5085795401 @default.
- W2111688293 date "2012-12-01" @default.
- W2111688293 modified "2023-10-18" @default.
- W2111688293 title "Static and Dynamic Analysis of Timed Distributed Traces" @default.
- W2111688293 cites W1480909796 @default.
- W2111688293 cites W1525967073 @default.
- W2111688293 cites W1689388462 @default.
- W2111688293 cites W1994441984 @default.
- W2111688293 cites W2004463571 @default.
- W2111688293 cites W2004960534 @default.
- W2111688293 cites W2100559484 @default.
- W2111688293 cites W2109049680 @default.
- W2111688293 cites W2131053137 @default.
- W2111688293 cites W2134934621 @default.
- W2111688293 cites W2149660990 @default.
- W2111688293 cites W2160800498 @default.
- W2111688293 cites W2163590987 @default.
- W2111688293 cites W2166842511 @default.
- W2111688293 cites W2170797973 @default.
- W2111688293 cites W2473612013 @default.
- W2111688293 cites W3137220996 @default.
- W2111688293 cites W89866905 @default.
- W2111688293 doi "https://doi.org/10.1109/rtss.2012.69" @default.
- W2111688293 hasPublicationYear "2012" @default.
- W2111688293 type Work @default.
- W2111688293 sameAs 2111688293 @default.
- W2111688293 citedByCount "24" @default.
- W2111688293 countsByYear W21116882932013 @default.
- W2111688293 countsByYear W21116882932014 @default.
- W2111688293 countsByYear W21116882932015 @default.
- W2111688293 countsByYear W21116882932016 @default.
- W2111688293 countsByYear W21116882932018 @default.
- W2111688293 countsByYear W21116882932019 @default.
- W2111688293 countsByYear W21116882932022 @default.
- W2111688293 crossrefType "proceedings-article" @default.
- W2111688293 hasAuthorship W2111688293A5042406677 @default.
- W2111688293 hasAuthorship W2111688293A5065269963 @default.
- W2111688293 hasAuthorship W2111688293A5067901159 @default.
- W2111688293 hasAuthorship W2111688293A5085795401 @default.
- W2111688293 hasConcept C113954288 @default.
- W2111688293 hasConcept C11413529 @default.
- W2111688293 hasConcept C120314980 @default.
- W2111688293 hasConcept C127162648 @default.
- W2111688293 hasConcept C167822520 @default.
- W2111688293 hasConcept C2778562939 @default.
- W2111688293 hasConcept C31258907 @default.
- W2111688293 hasConcept C41008148 @default.
- W2111688293 hasConcept C48103436 @default.
- W2111688293 hasConcept C79403827 @default.
- W2111688293 hasConceptScore W2111688293C113954288 @default.
- W2111688293 hasConceptScore W2111688293C11413529 @default.
- W2111688293 hasConceptScore W2111688293C120314980 @default.
- W2111688293 hasConceptScore W2111688293C127162648 @default.
- W2111688293 hasConceptScore W2111688293C167822520 @default.
- W2111688293 hasConceptScore W2111688293C2778562939 @default.
- W2111688293 hasConceptScore W2111688293C31258907 @default.
- W2111688293 hasConceptScore W2111688293C41008148 @default.
- W2111688293 hasConceptScore W2111688293C48103436 @default.
- W2111688293 hasConceptScore W2111688293C79403827 @default.
- W2111688293 hasLocation W21116882931 @default.
- W2111688293 hasOpenAccess W2111688293 @default.
- W2111688293 hasPrimaryLocation W21116882931 @default.
- W2111688293 hasRelatedWork W2046430934 @default.
- W2111688293 hasRelatedWork W2070290693 @default.
- W2111688293 hasRelatedWork W2107419747 @default.
- W2111688293 hasRelatedWork W2131630752 @default.
- W2111688293 hasRelatedWork W2136248236 @default.
- W2111688293 hasRelatedWork W2278920673 @default.
- W2111688293 hasRelatedWork W2352517023 @default.
- W2111688293 hasRelatedWork W2376127085 @default.
- W2111688293 hasRelatedWork W2380855473 @default.
- W2111688293 hasRelatedWork W2133768637 @default.
- W2111688293 isParatext "false" @default.
- W2111688293 isRetracted "false" @default.
- W2111688293 magId "2111688293" @default.
- W2111688293 workType "article" @default.