Matches in SemOpenAlex for { <https://semopenalex.org/work/W2587052563> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2587052563 abstract "In order to facilitate model-based verification and validation, effort is underway to develop techniques for generating models of communication system components from observations of their external behavior. Most previous such work has employed regular inference techniques which generate modest-size finite-state models. They typically suppress parameters of messages, although these have a significant impact on control flow in many communication protocols. We present a framework, which adapts regular inference to include data parameters in messages and states for generating components with large or infinite message alphabets. A main idea is to adapt the framework of predicate abstraction, successfully used in formal verification. Since we are in a black-box setting, the abstraction must be supplied externally, using information about how the component manages data parameters. We have implemented our techniques by connecting the LearnLib tool for regular inference with an implementation of session initiation protocol (SIP) in ns-2 and an implementation of transmission control protocol (TCP) in Windows 8, and generated models of SIP and TCP components." @default.
- W2587052563 created "2017-02-17" @default.
- W2587052563 creator A5001955028 @default.
- W2587052563 creator A5009514870 @default.
- W2587052563 creator A5016708258 @default.
- W2587052563 creator A5037215996 @default.
- W2587052563 date "2013-01-01" @default.
- W2587052563 modified "2023-10-18" @default.
- W2587052563 title "Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction" @default.
- W2587052563 hasPublicationYear "2013" @default.
- W2587052563 type Work @default.
- W2587052563 sameAs 2587052563 @default.
- W2587052563 citedByCount "2" @default.
- W2587052563 countsByYear W25870525632012 @default.
- W2587052563 crossrefType "journal-article" @default.
- W2587052563 hasAuthorship W2587052563A5001955028 @default.
- W2587052563 hasAuthorship W2587052563A5009514870 @default.
- W2587052563 hasAuthorship W2587052563A5016708258 @default.
- W2587052563 hasAuthorship W2587052563A5037215996 @default.
- W2587052563 hasConcept C110251889 @default.
- W2587052563 hasConcept C111472728 @default.
- W2587052563 hasConcept C120314980 @default.
- W2587052563 hasConcept C121332964 @default.
- W2587052563 hasConcept C12269588 @default.
- W2587052563 hasConcept C124304363 @default.
- W2587052563 hasConcept C136764020 @default.
- W2587052563 hasConcept C138885662 @default.
- W2587052563 hasConcept C140146324 @default.
- W2587052563 hasConcept C142724271 @default.
- W2587052563 hasConcept C154945302 @default.
- W2587052563 hasConcept C158379750 @default.
- W2587052563 hasConcept C160191386 @default.
- W2587052563 hasConcept C168167062 @default.
- W2587052563 hasConcept C199360897 @default.
- W2587052563 hasConcept C204787440 @default.
- W2587052563 hasConcept C2776214188 @default.
- W2587052563 hasConcept C2779182362 @default.
- W2587052563 hasConcept C2780385302 @default.
- W2587052563 hasConcept C31258907 @default.
- W2587052563 hasConcept C33588617 @default.
- W2587052563 hasConcept C41008148 @default.
- W2587052563 hasConcept C48103436 @default.
- W2587052563 hasConcept C71924100 @default.
- W2587052563 hasConcept C80444323 @default.
- W2587052563 hasConcept C97355855 @default.
- W2587052563 hasConceptScore W2587052563C110251889 @default.
- W2587052563 hasConceptScore W2587052563C111472728 @default.
- W2587052563 hasConceptScore W2587052563C120314980 @default.
- W2587052563 hasConceptScore W2587052563C121332964 @default.
- W2587052563 hasConceptScore W2587052563C12269588 @default.
- W2587052563 hasConceptScore W2587052563C124304363 @default.
- W2587052563 hasConceptScore W2587052563C136764020 @default.
- W2587052563 hasConceptScore W2587052563C138885662 @default.
- W2587052563 hasConceptScore W2587052563C140146324 @default.
- W2587052563 hasConceptScore W2587052563C142724271 @default.
- W2587052563 hasConceptScore W2587052563C154945302 @default.
- W2587052563 hasConceptScore W2587052563C158379750 @default.
- W2587052563 hasConceptScore W2587052563C160191386 @default.
- W2587052563 hasConceptScore W2587052563C168167062 @default.
- W2587052563 hasConceptScore W2587052563C199360897 @default.
- W2587052563 hasConceptScore W2587052563C204787440 @default.
- W2587052563 hasConceptScore W2587052563C2776214188 @default.
- W2587052563 hasConceptScore W2587052563C2779182362 @default.
- W2587052563 hasConceptScore W2587052563C2780385302 @default.
- W2587052563 hasConceptScore W2587052563C31258907 @default.
- W2587052563 hasConceptScore W2587052563C33588617 @default.
- W2587052563 hasConceptScore W2587052563C41008148 @default.
- W2587052563 hasConceptScore W2587052563C48103436 @default.
- W2587052563 hasConceptScore W2587052563C71924100 @default.
- W2587052563 hasConceptScore W2587052563C80444323 @default.
- W2587052563 hasConceptScore W2587052563C97355855 @default.
- W2587052563 hasLocation W25870525631 @default.
- W2587052563 hasOpenAccess W2587052563 @default.
- W2587052563 hasPrimaryLocation W25870525631 @default.
- W2587052563 hasRelatedWork W1496330206 @default.
- W2587052563 hasRelatedWork W1523043808 @default.
- W2587052563 hasRelatedWork W1560397499 @default.
- W2587052563 hasRelatedWork W1575520076 @default.
- W2587052563 hasRelatedWork W1607787799 @default.
- W2587052563 hasRelatedWork W1777805 @default.
- W2587052563 hasRelatedWork W1845427069 @default.
- W2587052563 hasRelatedWork W1979001960 @default.
- W2587052563 hasRelatedWork W1989445634 @default.
- W2587052563 hasRelatedWork W2094783813 @default.
- W2587052563 hasRelatedWork W2225152177 @default.
- W2587052563 hasRelatedWork W2282895087 @default.
- W2587052563 hasRelatedWork W2394934717 @default.
- W2587052563 hasRelatedWork W2625661349 @default.
- W2587052563 hasRelatedWork W3159186352 @default.
- W2587052563 hasRelatedWork W3200112307 @default.
- W2587052563 hasRelatedWork W329987150 @default.
- W2587052563 hasRelatedWork W72832420 @default.
- W2587052563 hasRelatedWork W958997602 @default.
- W2587052563 hasRelatedWork W2135327371 @default.
- W2587052563 isParatext "false" @default.
- W2587052563 isRetracted "false" @default.
- W2587052563 magId "2587052563" @default.
- W2587052563 workType "article" @default.