For how long and with what relevance do genetics articles retracted due to research misconduct remain active in the scientific literature
Sign Up to like & getrecommendations! Published in 2020 at "Accountability in Research"
DOI: 10.1080/08989621.2020.1835479
Abstract: ABSTRACT We aimed to quantify the number of pre- and post-retraction citations obtained by genetics articles retracted due to research misconduct. All retraction notices available in the Retraction Watch database for genetics articles published in… read more here.
Keywords: retraction; genetics; falsification; fabrication ... See more keywords
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2021.3056360
Abstract: Cyber-physical systems (CPSs) integrate discrete computations with continuous physical processes and can be highly nonlinear and nondeterministic. Unlike the verification of CPS, which is difficult to handle, the falsification of CPS fulfills certain requirements from… read more here.
Keywords: nonlinear nondeterministic; cps; path; derivative free ... See more keywords
Falsification Detection System for IoV Using Randomized Search Optimization Ensemble Algorithm
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Intelligent Transportation Systems"
DOI: 10.1109/tits.2022.3233536
Abstract: Falsification detection is a critical advance in ensuring that real-time information about vehicles and their movement states is certified on the Internet of Vehicles (IoV). Thus, detecting nodes that are propagating inaccurate information is a… read more here.
Keywords: falsification detection; falsification; search optimization; optimization ensemble ... See more keywords
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2020.2969178
Abstract: A Cyber-Physical System (CPS) is a system which consists of software components and physical components. Traditional system verification techniques such as model checking or theorem proving are difficult to apply to CPS because the physical… read more here.
Keywords: system; falsification; cyber physical; reinforcement learning ... See more keywords
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2022.3194640
Abstract: Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (e.g., autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep neural networks (DNNs). The quality assurance of such types of systems is… read more here.
Keywords: coverage criteria; time; time aware; falsification ... See more keywords