Author of the publication

DOMICO: Checking conformance between domain models and implementations.

, , , , , , and . Softw. Pract. Exp., 54 (4): 595-616 (2024)

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

Asynchronous Federated Learning in Decentralized Topology Based on Dynamic Average Consensus., , and . ICC, page 2822-2827. IEEE, (2022)Enhancing Backtracking Search Algorithm using Reflection Mutation Strategy Based on Sine Cosine., , , , and . Algorithms, 12 (11): 225 (2019)Reconfigurable Antenna Array Direction Finding System Based on a Fast Search Algorithm., , , , and . Sensors, 21 (14): 4729 (2021)DOMICO: Checking conformance between domain models and implementations., , , , , , and . Softw. Pract. Exp., 54 (4): 595-616 (2024)3D-Fingerprint Augment based on Super-Resolution for Indoor 3D WiFi Localization., , , , , and . WCSP, page 1-5. IEEE, (2021)Ship Detection Based on Superpixelwise Local Contrast Measurement for PolSAR Images., , , , and . IGARSS, page 774-777. IEEE, (2020)An Improved Mixed Gas Pipeline Multivariable Decoupling Control Method Based on ADRC Technology., , , and . J. Comput., 7 (9): 2248-2255 (2012)Magnetic Anomaly Detection Based on Attention-Bi-LSTM Network., , , , and . IEEE Trans. Instrum. Meas., (2024)FedSeq: A Hybrid Federated Learning Framework Based on Sequential In-Cluster Training., , , , and . IEEE Syst. J., 17 (3): 4038-4049 (September 2023)Residential demand response: An overview of recent simulation and modeling applications., , , and . CCECE, page 1-6. IEEE, (2013)