Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978520001> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1978520001 abstract "We present a parallel random exhaustive Hardware In the Loop Simulation based model checker for hybrid systems that, by simulating all operational scenarios exactly once in a uniform random order, is able to provide, at any time during the verification process, an upper bound to the probability that the System Under Verification exhibits an error in a yet-to-be-simulated scenario (Omission Probability). We show effectiveness of the proposed approach by presenting experimental results on System Level Formal Verification of the Fuel Control System example in the Simulink distribution. To the best of our knowledge, no previously published model checker can exhaustively verify hybrid systems of such a size and provide at any time an upper bound to the Omission Probability." @default.
- W1978520001 created "2016-06-24" @default.
- W1978520001 creator A5010524910 @default.
- W1978520001 creator A5052419841 @default.
- W1978520001 creator A5061205069 @default.
- W1978520001 creator A5084753554 @default.
- W1978520001 creator A5085357809 @default.
- W1978520001 date "2014-08-01" @default.
- W1978520001 modified "2023-10-05" @default.
- W1978520001 title "Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation" @default.
- W1978520001 cites W1783413852 @default.
- W1978520001 cites W1850679117 @default.
- W1978520001 cites W1998674588 @default.
- W1978520001 cites W2002900603 @default.
- W1978520001 cites W2005860604 @default.
- W1978520001 cites W2007072455 @default.
- W1978520001 cites W2012210872 @default.
- W1978520001 cites W2017560506 @default.
- W1978520001 cites W2033455284 @default.
- W1978520001 cites W2099392892 @default.
- W1978520001 cites W2100914165 @default.
- W1978520001 cites W2107701089 @default.
- W1978520001 cites W2115803389 @default.
- W1978520001 cites W2136786452 @default.
- W1978520001 cites W2171520043 @default.
- W1978520001 cites W2172184261 @default.
- W1978520001 cites W296769721 @default.
- W1978520001 cites W4231916799 @default.
- W1978520001 doi "https://doi.org/10.1109/dsd.2014.91" @default.
- W1978520001 hasPublicationYear "2014" @default.
- W1978520001 type Work @default.
- W1978520001 sameAs 1978520001 @default.
- W1978520001 citedByCount "21" @default.
- W1978520001 countsByYear W19785200012015 @default.
- W1978520001 countsByYear W19785200012016 @default.
- W1978520001 countsByYear W19785200012017 @default.
- W1978520001 countsByYear W19785200012018 @default.
- W1978520001 countsByYear W19785200012019 @default.
- W1978520001 countsByYear W19785200012020 @default.
- W1978520001 countsByYear W19785200012021 @default.
- W1978520001 countsByYear W19785200012022 @default.
- W1978520001 countsByYear W19785200012023 @default.
- W1978520001 crossrefType "proceedings-article" @default.
- W1978520001 hasAuthorship W1978520001A5010524910 @default.
- W1978520001 hasAuthorship W1978520001A5052419841 @default.
- W1978520001 hasAuthorship W1978520001A5061205069 @default.
- W1978520001 hasAuthorship W1978520001A5084753554 @default.
- W1978520001 hasAuthorship W1978520001A5085357809 @default.
- W1978520001 hasBestOaLocation W19785200012 @default.
- W1978520001 hasConcept C105795698 @default.
- W1978520001 hasConcept C110251889 @default.
- W1978520001 hasConcept C111498074 @default.
- W1978520001 hasConcept C11413529 @default.
- W1978520001 hasConcept C119857082 @default.
- W1978520001 hasConcept C134306372 @default.
- W1978520001 hasConcept C149441793 @default.
- W1978520001 hasConcept C199360897 @default.
- W1978520001 hasConcept C33923547 @default.
- W1978520001 hasConcept C41008148 @default.
- W1978520001 hasConcept C50897621 @default.
- W1978520001 hasConcept C77553402 @default.
- W1978520001 hasConcept C98045186 @default.
- W1978520001 hasConceptScore W1978520001C105795698 @default.
- W1978520001 hasConceptScore W1978520001C110251889 @default.
- W1978520001 hasConceptScore W1978520001C111498074 @default.
- W1978520001 hasConceptScore W1978520001C11413529 @default.
- W1978520001 hasConceptScore W1978520001C119857082 @default.
- W1978520001 hasConceptScore W1978520001C134306372 @default.
- W1978520001 hasConceptScore W1978520001C149441793 @default.
- W1978520001 hasConceptScore W1978520001C199360897 @default.
- W1978520001 hasConceptScore W1978520001C33923547 @default.
- W1978520001 hasConceptScore W1978520001C41008148 @default.
- W1978520001 hasConceptScore W1978520001C50897621 @default.
- W1978520001 hasConceptScore W1978520001C77553402 @default.
- W1978520001 hasConceptScore W1978520001C98045186 @default.
- W1978520001 hasLocation W19785200011 @default.
- W1978520001 hasLocation W19785200012 @default.
- W1978520001 hasOpenAccess W1978520001 @default.
- W1978520001 hasPrimaryLocation W19785200011 @default.
- W1978520001 hasRelatedWork W1532594742 @default.
- W1978520001 hasRelatedWork W1600235415 @default.
- W1978520001 hasRelatedWork W2014066180 @default.
- W1978520001 hasRelatedWork W2117798332 @default.
- W1978520001 hasRelatedWork W2151898527 @default.
- W1978520001 hasRelatedWork W2167919796 @default.
- W1978520001 hasRelatedWork W2177212599 @default.
- W1978520001 hasRelatedWork W2355960921 @default.
- W1978520001 hasRelatedWork W2385961228 @default.
- W1978520001 hasRelatedWork W98354153 @default.
- W1978520001 isParatext "false" @default.
- W1978520001 isRetracted "false" @default.
- W1978520001 magId "1978520001" @default.
- W1978520001 workType "article" @default.