FRINK Linked Data Fragments server

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

• W1985545663 abstract "The Border Gateway Protocol (BGP) is the de facto Internet routing protocol. Various aspects of the BGP protocol have been analyzed using mathematical and experimental approaches. Formal verification of BGP specification validates whether or not a specific set of requirements is satisfied. In resent years, the probabilistic behavior of BGP has been explored. The size of routing tables has been modeled as a stochastic process that changes over time according to some probability distribution function. Hence, the verification of BGP may also be probabilistic in nature due to its randomized behavior. In this paper, we present a probabilistic model checking approach to analyze BGP convergence properties that may be employed to automate the BGP convergence analysis." @default.
• W1985545663 created "2016-06-24" @default.
• W1985545663 creator A5041939086 @default.
• W1985545663 creator A5063188862 @default.
• W1985545663 creator A5075252211 @default.
• W1985545663 date "2011-10-01" @default.
• W1985545663 modified "2023-09-23" @default.
• W1985545663 title "Probabilistic verification of BGP convergence" @default.
• W1985545663 cites W106209860 @default.
• W1985545663 cites W126539787 @default.
• W1985545663 cites W1501731334 @default.
• W1985545663 cites W1516256348 @default.
• W1985545663 cites W1974184357 @default.
• W1985545663 cites W1980507101 @default.
• W1985545663 cites W2005998857 @default.
• W1985545663 cites W2041226400 @default.
• W1985545663 cites W2141881497 @default.
• W1985545663 cites W2145721479 @default.
• W1985545663 cites W2161258453 @default.
• W1985545663 cites W2164989576 @default.
• W1985545663 cites W2986444891 @default.
• W1985545663 doi "https://doi.org/10.1109/icnp.2011.6089037" @default.
• W1985545663 hasPublicationYear "2011" @default.
• W1985545663 type Work @default.
• W1985545663 sameAs 1985545663 @default.
• W1985545663 citedByCount "2" @default.
• W1985545663 countsByYear W19855456632012 @default.
• W1985545663 countsByYear W19855456632013 @default.
• W1985545663 crossrefType "proceedings-article" @default.
• W1985545663 hasAuthorship W1985545663A5041939086 @default.
• W1985545663 hasAuthorship W1985545663A5063188862 @default.
• W1985545663 hasAuthorship W1985545663A5075252211 @default.
• W1985545663 hasBestOaLocation W19855456632 @default.
• W1985545663 hasConcept C101396714 @default.
• W1985545663 hasConcept C104954878 @default.
• W1985545663 hasConcept C110875604 @default.
• W1985545663 hasConcept C120314980 @default.
• W1985545663 hasConcept C128917274 @default.
• W1985545663 hasConcept C133474645 @default.
• W1985545663 hasConcept C136764020 @default.
• W1985545663 hasConcept C142724271 @default.
• W1985545663 hasConcept C154945302 @default.
• W1985545663 hasConcept C162324750 @default.
• W1985545663 hasConcept C178086212 @default.
• W1985545663 hasConcept C204787440 @default.
• W1985545663 hasConcept C204948658 @default.
• W1985545663 hasConcept C2777303404 @default.
• W1985545663 hasConcept C2780385302 @default.
• W1985545663 hasConcept C31258907 @default.
• W1985545663 hasConcept C41008148 @default.
• W1985545663 hasConcept C49937458 @default.
• W1985545663 hasConcept C50522688 @default.
• W1985545663 hasConcept C52837422 @default.
• W1985545663 hasConcept C71924100 @default.
• W1985545663 hasConcept C74172769 @default.
• W1985545663 hasConceptScore W1985545663C101396714 @default.
• W1985545663 hasConceptScore W1985545663C104954878 @default.
• W1985545663 hasConceptScore W1985545663C110875604 @default.
• W1985545663 hasConceptScore W1985545663C120314980 @default.
• W1985545663 hasConceptScore W1985545663C128917274 @default.
• W1985545663 hasConceptScore W1985545663C133474645 @default.
• W1985545663 hasConceptScore W1985545663C136764020 @default.
• W1985545663 hasConceptScore W1985545663C142724271 @default.
• W1985545663 hasConceptScore W1985545663C154945302 @default.
• W1985545663 hasConceptScore W1985545663C162324750 @default.
• W1985545663 hasConceptScore W1985545663C178086212 @default.
• W1985545663 hasConceptScore W1985545663C204787440 @default.
• W1985545663 hasConceptScore W1985545663C204948658 @default.
• W1985545663 hasConceptScore W1985545663C2777303404 @default.
• W1985545663 hasConceptScore W1985545663C2780385302 @default.
• W1985545663 hasConceptScore W1985545663C31258907 @default.
• W1985545663 hasConceptScore W1985545663C41008148 @default.
• W1985545663 hasConceptScore W1985545663C49937458 @default.
• W1985545663 hasConceptScore W1985545663C50522688 @default.
• W1985545663 hasConceptScore W1985545663C52837422 @default.
• W1985545663 hasConceptScore W1985545663C71924100 @default.
• W1985545663 hasConceptScore W1985545663C74172769 @default.
• W1985545663 hasLocation W19855456631 @default.
• W1985545663 hasLocation W19855456632 @default.
• W1985545663 hasOpenAccess W1985545663 @default.
• W1985545663 hasPrimaryLocation W19855456631 @default.
• W1985545663 hasRelatedWork W1495769585 @default.
• W1985545663 hasRelatedWork W1509056624 @default.
• W1985545663 hasRelatedWork W1558646768 @default.
• W1985545663 hasRelatedWork W1593181151 @default.
• W1985545663 hasRelatedWork W1970125210 @default.
• W1985545663 hasRelatedWork W1970659680 @default.
• W1985545663 hasRelatedWork W1980507101 @default.
• W1985545663 hasRelatedWork W2008242407 @default.
• W1985545663 hasRelatedWork W2063454989 @default.
• W1985545663 hasRelatedWork W2066635411 @default.
• W1985545663 hasRelatedWork W2068932333 @default.
• W1985545663 hasRelatedWork W2098478859 @default.
• W1985545663 hasRelatedWork W2118341703 @default.
• W1985545663 hasRelatedWork W2132014983 @default.
• W1985545663 hasRelatedWork W2132744784 @default.
• W1985545663 hasRelatedWork W2363711302 @default.
• W1985545663 hasRelatedWork W2369116983 @default.
• W1985545663 hasRelatedWork W2371801525 @default.
• W1985545663 hasRelatedWork W2391305439 @default.

• next