Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Recommender systems in model-driven engineering: A systematic map** review
Recommender systems are information filtering systems used in many online applications
like music and video broadcasting and e-commerce platforms. They are also increasingly …
like music and video broadcasting and e-commerce platforms. They are also increasingly …
[HTML][HTML] ATTEST: Automating the review and update of assurance case arguments
FU Muram, MA Javed - Journal of systems architecture, 2023 - Elsevier
The assurance case arguments are created to demonstrate acceptable system safety and/or
security. In this regard, a series of propositions expressed by natural language statements …
security. In this regard, a series of propositions expressed by natural language statements …
[HTML][HTML] Safe and secure platooning of Automated Guided Vehicles in Industry 4.0
Abstract Automated Guided Vehicles (AGVs) are widely used for materials transportation.
Operating them in a platooned manner has the potential to improve safety, security and …
Operating them in a platooned manner has the potential to improve safety, security and …
Codefeater: Using llms to find defeaters in assurance cases
Constructing assurance cases is a widely used and sometimes required process toward
demonstrating that safety-critical systems will operate safely in their planned environment …
demonstrating that safety-critical systems will operate safely in their planned environment …
Evaluating the effectiveness of gpt-4 turbo in creating defeaters for assurance cases
KK Shahandashti, M Sivakumar, MM Mohajer… - ar** study on system assurance weakeners
Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that
a mission-critical system supports specific requirements (eg, safety, security, privacy). The …
a mission-critical system supports specific requirements (eg, safety, security, privacy). The …
Using gpt-4 turbo to automatically identify defeaters in assurance cases
Assurance cases (ACs) are convincing arguments, supported by a body of evidence and
aiming at demonstrating that a system will function as intended. Producers of systems can …
aiming at demonstrating that a system will function as intended. Producers of systems can …
Assessing the impact of GPT-4 turbo in generating defeaters for assurance cases
K Khakzad Shahandashti, M Sivakumar… - Proceedings of the …, 2024 - dl.acm.org
Assurance cases (ACs) are structured arguments that allow verifying the correct
implementation of the created systems' non-functional requirements (eg, safety, security) …
implementation of the created systems' non-functional requirements (eg, safety, security) …
[HTML][HTML] Assuring the safety of rechargeable energy storage systems in electric vehicles
Energy storage systems, especially lithium-ion batteries have gained significant attention
and interest due to their potential in storing electrical energy and environmental …
and interest due to their potential in storing electrical energy and environmental …