Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952396543> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2952396543 abstract "Usually, it is the software manufacturer who employs verification or testing to ensure that the software embedded in a device meets its main objectives. However, these days we are confronted with the situation that economical or technological reasons might make a manufacturer become interested in the software slightly deviating from its main objective for dubious reasons. Examples include lock-in strategies and the $mathrm{NO}_x$ emission scandals in automotive industry. This phenomenon is what we call software doping. It is turning more widespread as software is embedded in ever more devices of daily use. The primary contribution of this article is to provide a hierarchy of simple but solid formal definitions that enable to distinguish whether a program is clean or doped. Moreover, we show that these characterisations provide an immediate framework for analysis by using already existing verification techniques. We exemplify this by applying self-composition on sequential programs and model checking of HyperLTL formulas on reactive models." @default.
- W2952396543 created "2019-06-27" @default.
- W2952396543 creator A5028747794 @default.
- W2952396543 creator A5048189898 @default.
- W2952396543 creator A5059610025 @default.
- W2952396543 creator A5075577852 @default.
- W2952396543 creator A5090882382 @default.
- W2952396543 date "2017-02-15" @default.
- W2952396543 modified "2023-09-27" @default.
- W2952396543 title "Is your software on dope? Formal analysis of surreptitiously enhanced programs" @default.
- W2952396543 cites W1213177963 @default.
- W2952396543 cites W157431908 @default.
- W2952396543 cites W1873601359 @default.
- W2952396543 cites W2091776255 @default.
- W2952396543 cites W2101635160 @default.
- W2952396543 cites W2103953153 @default.
- W2952396543 cites W2115974895 @default.
- W2952396543 cites W2116949144 @default.
- W2952396543 cites W2129261459 @default.
- W2952396543 cites W2131275552 @default.
- W2952396543 cites W2131916295 @default.
- W2952396543 cites W2149996206 @default.
- W2952396543 cites W2212621770 @default.
- W2952396543 cites W2418260908 @default.
- W2952396543 cites W2528957327 @default.
- W2952396543 cites W2529025013 @default.
- W2952396543 cites W2949224125 @default.
- W2952396543 cites W3037049410 @default.
- W2952396543 hasPublicationYear "2017" @default.
- W2952396543 type Work @default.
- W2952396543 sameAs 2952396543 @default.
- W2952396543 citedByCount "2" @default.
- W2952396543 countsByYear W29523965432019 @default.
- W2952396543 crossrefType "posted-content" @default.
- W2952396543 hasAuthorship W2952396543A5028747794 @default.
- W2952396543 hasAuthorship W2952396543A5048189898 @default.
- W2952396543 hasAuthorship W2952396543A5059610025 @default.
- W2952396543 hasAuthorship W2952396543A5075577852 @default.
- W2952396543 hasAuthorship W2952396543A5090882382 @default.
- W2952396543 hasConcept C111472728 @default.
- W2952396543 hasConcept C115903868 @default.
- W2952396543 hasConcept C127413603 @default.
- W2952396543 hasConcept C138885662 @default.
- W2952396543 hasConcept C174839445 @default.
- W2952396543 hasConcept C17744445 @default.
- W2952396543 hasConcept C199360897 @default.
- W2952396543 hasConcept C199539241 @default.
- W2952396543 hasConcept C2777904410 @default.
- W2952396543 hasConcept C2780586882 @default.
- W2952396543 hasConcept C31170391 @default.
- W2952396543 hasConcept C41008148 @default.
- W2952396543 hasConcept C75606506 @default.
- W2952396543 hasConcept C78519656 @default.
- W2952396543 hasConceptScore W2952396543C111472728 @default.
- W2952396543 hasConceptScore W2952396543C115903868 @default.
- W2952396543 hasConceptScore W2952396543C127413603 @default.
- W2952396543 hasConceptScore W2952396543C138885662 @default.
- W2952396543 hasConceptScore W2952396543C174839445 @default.
- W2952396543 hasConceptScore W2952396543C17744445 @default.
- W2952396543 hasConceptScore W2952396543C199360897 @default.
- W2952396543 hasConceptScore W2952396543C199539241 @default.
- W2952396543 hasConceptScore W2952396543C2777904410 @default.
- W2952396543 hasConceptScore W2952396543C2780586882 @default.
- W2952396543 hasConceptScore W2952396543C31170391 @default.
- W2952396543 hasConceptScore W2952396543C41008148 @default.
- W2952396543 hasConceptScore W2952396543C75606506 @default.
- W2952396543 hasConceptScore W2952396543C78519656 @default.
- W2952396543 hasLocation W29523965431 @default.
- W2952396543 hasOpenAccess W2952396543 @default.
- W2952396543 hasPrimaryLocation W29523965431 @default.
- W2952396543 hasRelatedWork W14345461 @default.
- W2952396543 hasRelatedWork W1480306250 @default.
- W2952396543 hasRelatedWork W1591736212 @default.
- W2952396543 hasRelatedWork W1601618205 @default.
- W2952396543 hasRelatedWork W1998764868 @default.
- W2952396543 hasRelatedWork W2052791407 @default.
- W2952396543 hasRelatedWork W2064125159 @default.
- W2952396543 hasRelatedWork W2103941273 @default.
- W2952396543 hasRelatedWork W2276958098 @default.
- W2952396543 hasRelatedWork W2293973494 @default.
- W2952396543 hasRelatedWork W2402300611 @default.
- W2952396543 hasRelatedWork W2495087366 @default.
- W2952396543 hasRelatedWork W2570215245 @default.
- W2952396543 hasRelatedWork W2585427915 @default.
- W2952396543 hasRelatedWork W2731619768 @default.
- W2952396543 hasRelatedWork W2744827473 @default.
- W2952396543 hasRelatedWork W3022804065 @default.
- W2952396543 hasRelatedWork W3095449116 @default.
- W2952396543 hasRelatedWork W69722917 @default.
- W2952396543 hasRelatedWork W90694510 @default.
- W2952396543 isParatext "false" @default.
- W2952396543 isRetracted "false" @default.
- W2952396543 magId "2952396543" @default.
- W2952396543 workType "article" @default.