Thanh-Binh Trinh

Researcher Profile 5/10

Phenikaa University · Information Technology

16 publications · 17 citations · h-index 3

This is my profile

Information

🏛️Affiliation: Phenikaa University
🔬Field: Information Technology
✍️Profile incomplete — add information

Featured publications

Checking the Compliance of Timing Constraints in Software Applications6 citations
· 2009 · DOI

Checking Interface Interaction Protocols Using Aspect-Oriented Programming4 citations
· 2008 · DOI

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B3 citations
· 2009 · DOI

A tool support for checking consistency in model refactoring2 citations
· 2017 · DOI

Analysing Conflict of Interest Integrated in Role-Based Access Control Model Using Event-B1 citations
Lecture notes on data engineering and communications technologies · 2024 · DOI

A Runtime Approach to Verify Scenario in Multi-agent Systems1 citations
· 2010 · DOI

Formal Specification and Verification of Smart Contract Access Control Policies
Communications in computer and information science · 2026 · DOI

ReATest: enhancing policy-as-code workflows through automated test case generation from Rego policies
Research Square · 2026 · DOI

ReATest: enhancing policy-as-code workflows through automated test case generation from Rego policies
Software Quality Journal · 2026 · DOI

Detection and Diagnosis of Atopic Dermatitis Using Deep Learning Network
Lecture notes in networks and systems · 2023 · DOI

About the field of Information Technology

2,378researchers 36,643publications 398,190citations 3.7average h-index

Common research topics in this field:

Topic ModelingNatural Language Processing TechniquesAdvanced Neural Network ApplicationsNetwork Security and Intrusion DetectionMultimodal Machine Learning ApplicationsAdvanced Image and Video Retrieval Techniques

Institutions with the most researchers in this field: