Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313158170> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4313158170 endingPage "338" @default.
- W4313158170 startingPage "338" @default.
- W4313158170 abstract "Mobile cellular networks are becoming the most important technology in the telecom industry, and this made them a preferred subject for research and development of new hardware and software systems. In order to check the validity of these systems, one can use either a simulation or formal methods. Recently, new emerging methods have been proposed as alternative solutions, such as Statistical Model Checking (SMC). In this paper, we present a comprehensive framework based on SMC that could be used to analyse the cellular network protocol Random-Access Procedure (RAP), by using UPPAAL. We model the system using a simplified network of timed automata, we check the validity of our model by running some concrete simulations and after that we perform a formal verification of some properties of the protocol. Finally, the statistical approach, SMC, is used to study the performance of the system." @default.
- W4313158170 created "2023-01-06" @default.
- W4313158170 creator A5042006894 @default.
- W4313158170 creator A5064514018 @default.
- W4313158170 date "2022-01-01" @default.
- W4313158170 modified "2023-10-18" @default.
- W4313158170 title "A statistical model checking approach to analyse the random access protocol" @default.
- W4313158170 doi "https://doi.org/10.1504/ijwmc.2022.127603" @default.
- W4313158170 hasPublicationYear "2022" @default.
- W4313158170 type Work @default.
- W4313158170 citedByCount "0" @default.
- W4313158170 crossrefType "journal-article" @default.
- W4313158170 hasAuthorship W4313158170A5042006894 @default.
- W4313158170 hasAuthorship W4313158170A5064514018 @default.
- W4313158170 hasConcept C110251889 @default.
- W4313158170 hasConcept C112505250 @default.
- W4313158170 hasConcept C11413529 @default.
- W4313158170 hasConcept C115903868 @default.
- W4313158170 hasConcept C120314980 @default.
- W4313158170 hasConcept C142724271 @default.
- W4313158170 hasConcept C199360897 @default.
- W4313158170 hasConcept C204787440 @default.
- W4313158170 hasConcept C2777904410 @default.
- W4313158170 hasConcept C2780385302 @default.
- W4313158170 hasConcept C35527583 @default.
- W4313158170 hasConcept C41008148 @default.
- W4313158170 hasConcept C71924100 @default.
- W4313158170 hasConcept C75606506 @default.
- W4313158170 hasConcept C80444323 @default.
- W4313158170 hasConceptScore W4313158170C110251889 @default.
- W4313158170 hasConceptScore W4313158170C112505250 @default.
- W4313158170 hasConceptScore W4313158170C11413529 @default.
- W4313158170 hasConceptScore W4313158170C115903868 @default.
- W4313158170 hasConceptScore W4313158170C120314980 @default.
- W4313158170 hasConceptScore W4313158170C142724271 @default.
- W4313158170 hasConceptScore W4313158170C199360897 @default.
- W4313158170 hasConceptScore W4313158170C204787440 @default.
- W4313158170 hasConceptScore W4313158170C2777904410 @default.
- W4313158170 hasConceptScore W4313158170C2780385302 @default.
- W4313158170 hasConceptScore W4313158170C35527583 @default.
- W4313158170 hasConceptScore W4313158170C41008148 @default.
- W4313158170 hasConceptScore W4313158170C71924100 @default.
- W4313158170 hasConceptScore W4313158170C75606506 @default.
- W4313158170 hasConceptScore W4313158170C80444323 @default.
- W4313158170 hasIssue "3/4" @default.
- W4313158170 hasLocation W43131581701 @default.
- W4313158170 hasOpenAccess W4313158170 @default.
- W4313158170 hasPrimaryLocation W43131581701 @default.
- W4313158170 hasRelatedWork W2044226583 @default.
- W4313158170 hasRelatedWork W2046905069 @default.
- W4313158170 hasRelatedWork W2087107052 @default.
- W4313158170 hasRelatedWork W2087491520 @default.
- W4313158170 hasRelatedWork W2132726969 @default.
- W4313158170 hasRelatedWork W2155162307 @default.
- W4313158170 hasRelatedWork W2156663954 @default.
- W4313158170 hasRelatedWork W2570735530 @default.
- W4313158170 hasRelatedWork W38902447 @default.
- W4313158170 hasRelatedWork W4312254064 @default.
- W4313158170 hasVolume "23" @default.
- W4313158170 isParatext "false" @default.
- W4313158170 isRetracted "false" @default.
- W4313158170 workType "article" @default.