Network composition for situation assessment: A "trusted meeting" case study. - Shan Lu 012; Alexey Tazin; Mieczyslaw M. Kokar (FUSION, 2012)

UML Class Diagram Composition Using Software Requirements Specifications. - Alexey Tazin (MoDELS (Satellite Events), 2017)

Dynamic Deployment of Communication Applications to Different Hardware Platforms using Ontological Representations. - Yanji Chen; Mehmet Güngör; Shweta Singh; Alex Tazin; Mieczyslaw M. Kokar; Miriam Leeser (HPEC, 2018)

Ontology-based Detection of Inconsistencies in UML/OCL Models. - Shan Lu 012; Alexey Tazin; Yanji Chen; Mieczyslaw M. Kokar; Jeff Smith (MODELSWARD, 2022)

Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning. - Shan Lu 012; Alexey Tazin; Yanji Chen; Mieczyslaw M. Kokar; Jeff Smith (SN Comput. Sci., 2023)