Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

AdvBokeh: Learning to Adversarially Defocus Blur., , , , , and . CoRR, (2021)FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles., , , , , , , , and . CoRR, (2020)A framework for Requirements specification of machine-learning systems., and . SEKE, page 7-12. KSI Research Inc., (2022)A Formal Engineering Approach to Product Family Modeling., , and . TASE, page 87-94. IEEE, (2021)FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction., , , , , , , , , and . ACM Multimedia, page 1217-1226. ACM, (2020)FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain., , , , , , , , , and 1 other author(s). ESEC/SIGSOFT FSE, page 1376-1386. ACM, (2020)Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph., , , , , and . SEKE, page 1-6. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)Fine-Grained Neural Network Abstraction for Efficient Formal Verification., , and . SEKE, page 144-149. KSI Research Inc., (2021)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , and 1 other author(s). CoRR, (2023)A formal specification animation method for operation validation., and . J. Syst. Softw., (2021)