Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976061003> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1976061003 abstract "This tool paper introduces Cosmos, a statistical model checker for the Hybrid Automata Stochastic Logic (HASL). HASL employs Linear Hybrid Automata (LHA), a gen eralization of Deterministic Timed Automata (DTA), to describe relevant execution paths of a Discrete Event Stochastic Process (DESP), a class of stochastic models which includes, but is not limited to, Markov chains. As a result HASL verification turns out to be a unifying framework where sophisticated temporal reasoning is naturally blended with elaborate reward-based analysis. COSMOS takes as input a DESP (described in terms of a Generalized Stochastic Petri Net), an LHA and an expression Z representing the quantity to be estimated. It returns a confidence interval estimation of Z. COSMOS is written in C++ and is freely available to the research community." @default.
- W1976061003 created "2016-06-24" @default.
- W1976061003 creator A5006881035 @default.
- W1976061003 creator A5032695704 @default.
- W1976061003 creator A5041207611 @default.
- W1976061003 creator A5067435617 @default.
- W1976061003 creator A5076352793 @default.
- W1976061003 date "2011-09-01" @default.
- W1976061003 modified "2023-10-06" @default.
- W1976061003 title "COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic" @default.
- W1976061003 cites W4233959905 @default.
- W1976061003 doi "https://doi.org/10.1109/qest.2011.24" @default.
- W1976061003 hasPublicationYear "2011" @default.
- W1976061003 type Work @default.
- W1976061003 sameAs 1976061003 @default.
- W1976061003 citedByCount "39" @default.
- W1976061003 countsByYear W19760610032012 @default.
- W1976061003 countsByYear W19760610032013 @default.
- W1976061003 countsByYear W19760610032014 @default.
- W1976061003 countsByYear W19760610032015 @default.
- W1976061003 countsByYear W19760610032016 @default.
- W1976061003 countsByYear W19760610032017 @default.
- W1976061003 countsByYear W19760610032018 @default.
- W1976061003 countsByYear W19760610032019 @default.
- W1976061003 countsByYear W19760610032020 @default.
- W1976061003 countsByYear W19760610032021 @default.
- W1976061003 countsByYear W19760610032022 @default.
- W1976061003 crossrefType "proceedings-article" @default.
- W1976061003 hasAuthorship W1976061003A5006881035 @default.
- W1976061003 hasAuthorship W1976061003A5032695704 @default.
- W1976061003 hasAuthorship W1976061003A5041207611 @default.
- W1976061003 hasAuthorship W1976061003A5067435617 @default.
- W1976061003 hasAuthorship W1976061003A5076352793 @default.
- W1976061003 hasBestOaLocation W19760610032 @default.
- W1976061003 hasConcept C105795698 @default.
- W1976061003 hasConcept C110251889 @default.
- W1976061003 hasConcept C112505250 @default.
- W1976061003 hasConcept C11413529 @default.
- W1976061003 hasConcept C114614502 @default.
- W1976061003 hasConcept C119857082 @default.
- W1976061003 hasConcept C121332964 @default.
- W1976061003 hasConcept C197551870 @default.
- W1976061003 hasConcept C2778067643 @default.
- W1976061003 hasConcept C2779662365 @default.
- W1976061003 hasConcept C33923547 @default.
- W1976061003 hasConcept C38677869 @default.
- W1976061003 hasConcept C41008148 @default.
- W1976061003 hasConcept C62520636 @default.
- W1976061003 hasConcept C80444323 @default.
- W1976061003 hasConcept C8272713 @default.
- W1976061003 hasConcept C98763669 @default.
- W1976061003 hasConceptScore W1976061003C105795698 @default.
- W1976061003 hasConceptScore W1976061003C110251889 @default.
- W1976061003 hasConceptScore W1976061003C112505250 @default.
- W1976061003 hasConceptScore W1976061003C11413529 @default.
- W1976061003 hasConceptScore W1976061003C114614502 @default.
- W1976061003 hasConceptScore W1976061003C119857082 @default.
- W1976061003 hasConceptScore W1976061003C121332964 @default.
- W1976061003 hasConceptScore W1976061003C197551870 @default.
- W1976061003 hasConceptScore W1976061003C2778067643 @default.
- W1976061003 hasConceptScore W1976061003C2779662365 @default.
- W1976061003 hasConceptScore W1976061003C33923547 @default.
- W1976061003 hasConceptScore W1976061003C38677869 @default.
- W1976061003 hasConceptScore W1976061003C41008148 @default.
- W1976061003 hasConceptScore W1976061003C62520636 @default.
- W1976061003 hasConceptScore W1976061003C80444323 @default.
- W1976061003 hasConceptScore W1976061003C8272713 @default.
- W1976061003 hasConceptScore W1976061003C98763669 @default.
- W1976061003 hasLocation W19760610031 @default.
- W1976061003 hasLocation W19760610032 @default.
- W1976061003 hasOpenAccess W1976061003 @default.
- W1976061003 hasPrimaryLocation W19760610031 @default.
- W1976061003 hasRelatedWork W1488218540 @default.
- W1976061003 hasRelatedWork W1517759046 @default.
- W1976061003 hasRelatedWork W1990325313 @default.
- W1976061003 hasRelatedWork W2005783020 @default.
- W1976061003 hasRelatedWork W2045523968 @default.
- W1976061003 hasRelatedWork W2067525218 @default.
- W1976061003 hasRelatedWork W2379288397 @default.
- W1976061003 hasRelatedWork W3021133488 @default.
- W1976061003 hasRelatedWork W3036249540 @default.
- W1976061003 hasRelatedWork W2978018257 @default.
- W1976061003 isParatext "false" @default.
- W1976061003 isRetracted "false" @default.
- W1976061003 magId "1976061003" @default.
- W1976061003 workType "article" @default.