Author of the publication

AMOEBA-RT: Run-Time Verification of Adaptive Software.

, , and . MoDELS (Workshops), volume 5002 of Lecture Notes in Computer Science, page 212-224. Springer, (2007)

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

Knowledge Graph Embedding by Dynamic Translation., , , , , and . IEEE Access, (2017)Combined cause inference: Definition, model and performance., , , , and . Inf. Sci., (2021)Privacy-aware access control with trust management in web service., , , , and . World Wide Web, 14 (4): 407-430 (2011)A fast approximate method for k-edge connected component detection in graphs with high accuracy., , , and . Inf. Sci., (July 2023)Training more discriminative multi-class classifiers for hand detection., , , , , and . Pattern Recognit., 48 (3): 785-797 (2015)Small-Size Target Detection in Remotely Sensed Image Using Improved Multi-Scale Features and Attention Mechanism., , , and . IEEE Access, (2023)Pyramid style-attentional network for arbitrary style transfer., , , and . Multim. Tools Appl., 83 (5): 13483-13502 (February 2024)Facial depth forgery detection based on image gradient., , , and . Multim. Tools Appl., 82 (19): 29501-29525 (2023)A 3D RRAM Using a Stackable Multi-Layer 1TXR Cell., , , , , , and . IEICE Trans. Electron., 93-C (12): 1692-1699 (2010)Distributed Model-Free Sliding-Mode Predictive Control of Discrete-Time Second-Order Nonlinear Multiagent Systems With Delays., , , and . IEEE Trans. Cybern., 52 (11): 12403-12413 (2022)