FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149674749> ?p ?o ?g. }

• W2149674749 abstract "We present Anquiro, a domain-specific model checker for statically verifying the correctness of sensor network software. In this context, static verification has hitherto received little attention, as state space explosion problems may prevent applying these techniques. Anquiro overcomes this limitation by providing different abstraction levels depending on the functionality to verify, and by implementing domain-specific state abstractions within the checking engine. We demonstrate the use of Anquiro in verifying the correctness of a widely used data dissemination protocol. This study allows us to identify issues that the protocol may overlook. Moreover, our evaluation of Anquiro's performance shows that it drastically reduces the number of states generated during the verification, preventing state space explosion problems." @default.
• W2149674749 created "2016-06-24" @default.
• W2149674749 creator A5019634111 @default.
• W2149674749 creator A5024976868 @default.
• W2149674749 creator A5051604156 @default.
• W2149674749 creator A5063590018 @default.
• W2149674749 creator A5071943253 @default.
• W2149674749 creator A5079995076 @default.
• W2149674749 date "2010-05-03" @default.
• W2149674749 modified "2023-09-28" @default.
• W2149674749 title "Anquiro" @default.
• W2149674749 cites W1543560931 @default.
• W2149674749 cites W1967552493 @default.
• W2149674749 cites W2063165833 @default.
• W2149674749 cites W2087252615 @default.
• W2149674749 cites W2090812976 @default.
• W2149674749 cites W2096059127 @default.
• W2149674749 cites W2115032392 @default.
• W2149674749 cites W2115309705 @default.
• W2149674749 cites W2118305444 @default.
• W2149674749 cites W2118581494 @default.
• W2149674749 cites W2125489993 @default.
• W2149674749 cites W2125555950 @default.
• W2149674749 cites W2129538349 @default.
• W2149674749 cites W2130889805 @default.
• W2149674749 cites W2140616837 @default.
• W2149674749 cites W2146924294 @default.
• W2149674749 cites W2147117072 @default.
• W2149674749 cites W2148764493 @default.
• W2149674749 cites W2159430832 @default.
• W2149674749 cites W2159584644 @default.
• W2149674749 cites W2171427043 @default.
• W2149674749 cites W4237395471 @default.
• W2149674749 doi "https://doi.org/10.1145/1809111.1809122" @default.
• W2149674749 hasPublicationYear "2010" @default.
• W2149674749 type Work @default.
• W2149674749 sameAs 2149674749 @default.
• W2149674749 citedByCount "19" @default.
• W2149674749 countsByYear W21496747492012 @default.
• W2149674749 countsByYear W21496747492013 @default.
• W2149674749 countsByYear W21496747492014 @default.
• W2149674749 countsByYear W21496747492015 @default.
• W2149674749 countsByYear W21496747492017 @default.
• W2149674749 crossrefType "proceedings-article" @default.
• W2149674749 hasAuthorship W2149674749A5019634111 @default.
• W2149674749 hasAuthorship W2149674749A5024976868 @default.
• W2149674749 hasAuthorship W2149674749A5051604156 @default.
• W2149674749 hasAuthorship W2149674749A5063590018 @default.
• W2149674749 hasAuthorship W2149674749A5071943253 @default.
• W2149674749 hasAuthorship W2149674749A5079995076 @default.
• W2149674749 hasConcept C105795698 @default.
• W2149674749 hasConcept C110251889 @default.
• W2149674749 hasConcept C111472728 @default.
• W2149674749 hasConcept C111498074 @default.
• W2149674749 hasConcept C120314980 @default.
• W2149674749 hasConcept C124304363 @default.
• W2149674749 hasConcept C134306372 @default.
• W2149674749 hasConcept C138885662 @default.
• W2149674749 hasConcept C142284323 @default.
• W2149674749 hasConcept C142724271 @default.
• W2149674749 hasConcept C149091818 @default.
• W2149674749 hasConcept C149635348 @default.
• W2149674749 hasConcept C151730666 @default.
• W2149674749 hasConcept C186846655 @default.
• W2149674749 hasConcept C199360897 @default.
• W2149674749 hasConcept C202973057 @default.
• W2149674749 hasConcept C204787440 @default.
• W2149674749 hasConcept C2777904410 @default.
• W2149674749 hasConcept C2779343474 @default.
• W2149674749 hasConcept C2780385302 @default.
• W2149674749 hasConcept C33054407 @default.
• W2149674749 hasConcept C33923547 @default.
• W2149674749 hasConcept C36503486 @default.
• W2149674749 hasConcept C41008148 @default.
• W2149674749 hasConcept C48103436 @default.
• W2149674749 hasConcept C55439883 @default.
• W2149674749 hasConcept C71924100 @default.
• W2149674749 hasConcept C72434380 @default.
• W2149674749 hasConcept C86803240 @default.
• W2149674749 hasConcept C97686452 @default.
• W2149674749 hasConceptScore W2149674749C105795698 @default.
• W2149674749 hasConceptScore W2149674749C110251889 @default.
• W2149674749 hasConceptScore W2149674749C111472728 @default.
• W2149674749 hasConceptScore W2149674749C111498074 @default.
• W2149674749 hasConceptScore W2149674749C120314980 @default.
• W2149674749 hasConceptScore W2149674749C124304363 @default.
• W2149674749 hasConceptScore W2149674749C134306372 @default.
• W2149674749 hasConceptScore W2149674749C138885662 @default.
• W2149674749 hasConceptScore W2149674749C142284323 @default.
• W2149674749 hasConceptScore W2149674749C142724271 @default.
• W2149674749 hasConceptScore W2149674749C149091818 @default.
• W2149674749 hasConceptScore W2149674749C149635348 @default.
• W2149674749 hasConceptScore W2149674749C151730666 @default.
• W2149674749 hasConceptScore W2149674749C186846655 @default.
• W2149674749 hasConceptScore W2149674749C199360897 @default.
• W2149674749 hasConceptScore W2149674749C202973057 @default.
• W2149674749 hasConceptScore W2149674749C204787440 @default.
• W2149674749 hasConceptScore W2149674749C2777904410 @default.
• W2149674749 hasConceptScore W2149674749C2779343474 @default.
• W2149674749 hasConceptScore W2149674749C2780385302 @default.

• next