research
∙
06/02/2023
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Formal methods are promising for modeling and analyzing system requireme...
share
research
∙
03/24/2022
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals
In goal-oriented requirement engineering, boundary conditions(BC) are us...
research
∙
09/19/2020
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise
The novelty and creativity of DeepFake generation techniques have attrac...
research
∙
06/13/2020
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction
The recently rapid advances of generative adversarial networks (GANs) in...
research
∙
01/27/2020
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles
Nowadays, full face synthesis and partial face manipulation by virtue of...
research
∙
12/17/2019
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
We present Prema, a tool for Precise Requirement Editing, Modeling and A...
research
∙
02/23/2018