Matches in SemOpenAlex for { <https://semopenalex.org/work/W1590150946> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1590150946 abstract "We introduce a simulator (slimsim) for a subset of AADL extended with formalized behavioral semantics for nominal and error models. The simulator allows to perform probabilistic analysis using the Monte Carlo method, on linear-hybrid, stochastic models, which describe a combination of nominal and error behaviors of hard- and software components. The tool supports the use of different strategies, which control the behavior of the simulator when dealing with various forms of non-determinism. The simulator is tested using benchmarks of the COMPASS toolset, as well as a case study by Airbus Defense and Space." @default.
- W1590150946 created "2016-06-24" @default.
- W1590150946 creator A5079441396 @default.
- W1590150946 creator A5080606370 @default.
- W1590150946 creator A5091091957 @default.
- W1590150946 date "2015-06-01" @default.
- W1590150946 modified "2023-09-26" @default.
- W1590150946 title "A Statistical Approach for Timed Reachability in AADL Models" @default.
- W1590150946 cites W100170310 @default.
- W1590150946 cites W147046584 @default.
- W1590150946 cites W1490079820 @default.
- W1590150946 cites W1533911631 @default.
- W1590150946 cites W1571054242 @default.
- W1590150946 cites W157143398 @default.
- W1590150946 cites W1844438491 @default.
- W1590150946 cites W192333989 @default.
- W1590150946 cites W1993536119 @default.
- W1590150946 cites W2013814408 @default.
- W1590150946 cites W2064459703 @default.
- W1590150946 cites W2070874614 @default.
- W1590150946 cites W2100272680 @default.
- W1590150946 cites W2102609194 @default.
- W1590150946 cites W2114158268 @default.
- W1590150946 cites W2123631651 @default.
- W1590150946 cites W2125930621 @default.
- W1590150946 cites W2141823988 @default.
- W1590150946 cites W2141881497 @default.
- W1590150946 cites W2185071254 @default.
- W1590150946 cites W34142743 @default.
- W1590150946 cites W4246195644 @default.
- W1590150946 doi "https://doi.org/10.1109/dsn.2015.32" @default.
- W1590150946 hasPublicationYear "2015" @default.
- W1590150946 type Work @default.
- W1590150946 sameAs 1590150946 @default.
- W1590150946 citedByCount "6" @default.
- W1590150946 countsByYear W15901509462017 @default.
- W1590150946 countsByYear W15901509462018 @default.
- W1590150946 countsByYear W15901509462019 @default.
- W1590150946 countsByYear W15901509462021 @default.
- W1590150946 countsByYear W15901509462022 @default.
- W1590150946 crossrefType "proceedings-article" @default.
- W1590150946 hasAuthorship W1590150946A5079441396 @default.
- W1590150946 hasAuthorship W1590150946A5080606370 @default.
- W1590150946 hasAuthorship W1590150946A5091091957 @default.
- W1590150946 hasConcept C105795698 @default.
- W1590150946 hasConcept C110251889 @default.
- W1590150946 hasConcept C136643341 @default.
- W1590150946 hasConcept C154945302 @default.
- W1590150946 hasConcept C184337299 @default.
- W1590150946 hasConcept C19499675 @default.
- W1590150946 hasConcept C199360897 @default.
- W1590150946 hasConcept C2777904410 @default.
- W1590150946 hasConcept C33923547 @default.
- W1590150946 hasConcept C41008148 @default.
- W1590150946 hasConcept C44154836 @default.
- W1590150946 hasConcept C49937458 @default.
- W1590150946 hasConcept C80444323 @default.
- W1590150946 hasConceptScore W1590150946C105795698 @default.
- W1590150946 hasConceptScore W1590150946C110251889 @default.
- W1590150946 hasConceptScore W1590150946C136643341 @default.
- W1590150946 hasConceptScore W1590150946C154945302 @default.
- W1590150946 hasConceptScore W1590150946C184337299 @default.
- W1590150946 hasConceptScore W1590150946C19499675 @default.
- W1590150946 hasConceptScore W1590150946C199360897 @default.
- W1590150946 hasConceptScore W1590150946C2777904410 @default.
- W1590150946 hasConceptScore W1590150946C33923547 @default.
- W1590150946 hasConceptScore W1590150946C41008148 @default.
- W1590150946 hasConceptScore W1590150946C44154836 @default.
- W1590150946 hasConceptScore W1590150946C49937458 @default.
- W1590150946 hasConceptScore W1590150946C80444323 @default.
- W1590150946 hasLocation W15901509461 @default.
- W1590150946 hasOpenAccess W1590150946 @default.
- W1590150946 hasPrimaryLocation W15901509461 @default.
- W1590150946 hasRelatedWork W1587224678 @default.
- W1590150946 hasRelatedWork W1588952892 @default.
- W1590150946 hasRelatedWork W2139989305 @default.
- W1590150946 hasRelatedWork W2403555318 @default.
- W1590150946 hasRelatedWork W2551539219 @default.
- W1590150946 hasRelatedWork W2751754194 @default.
- W1590150946 hasRelatedWork W2786605369 @default.
- W1590150946 hasRelatedWork W3097319085 @default.
- W1590150946 hasRelatedWork W925418074 @default.
- W1590150946 hasRelatedWork W2091137162 @default.
- W1590150946 isParatext "false" @default.
- W1590150946 isRetracted "false" @default.
- W1590150946 magId "1590150946" @default.
- W1590150946 workType "article" @default.