Research output
Publications
Papers by RAISE members, with PDFs, code, slides and BibTeX where available. For the lab head's complete record, see his homepage.
2027 6 papers
Stability Across Environments, Not Resamples: Noise-Corrected Symbolic Pattern Mining
WSDM 2027 (Main Conference; acceptance rate: 15.8%), Hong Kong · February 2027
A Selection-Aware Audit of Learned Stopping in Short-Horizon Iterative Retrieval
WSDM 2027 (Main Conference; acceptance rate: 15.8%), Hong Kong · February 2027
EvidenceGraph: Measuring and Controlling Repeated Evidence in Retrieval-Augmented Verification
WSDM 2027 (Main Conference; acceptance rate: 15.8%), Hong Kong · February 2027
When Do Propagation Models Beat Cascade Summaries? A Released-Signal Audit of Text-Free Misinformation Detection
WSDM 2027 (Findings; acceptance rate: 12.6%), Hong Kong · February 2027
Anchor the Head: Alignment Drift in Open-Vocabulary Segmentation
WACV 2027 (Applications Track, CORE Rank A), Orlando, Florida, USA · January 2027
SegMaFormer: A Hybrid State-Space and Transformer Model for Efficient 3D Medical Image Segmentation
WACV 2027 (Applications Track, CORE Rank A), Orlando, Florida, USA · January 2027
2026 36 papers
RelationalRAG-Tables: A Learned Join Verifier for QA over Tables and Knowledge Graphs
ACML 2026 (Journal Track) — Machine Learning journal (Springer, Scimago Q1, Impact Factor 4.9), Melbourne, Australia · December 2026
MDP-Guided Reinforcement Learning for Cost-Aware LLM-Based Test Generation
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearAuditable AI AgentsSource-Obligation-Guided Validation of LLM-Based Code Translation
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearVerified AINetwork-Aware Post-Timetabling Examination Room Allocation with Screened-Pool Repair
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearApplied & CollaborativeQuantumTrustKG: Provenance-Aware Orchestration for Quantum-Safe Microservices
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
Deon: Runtime Guards for Policy-Safe Agentic Service Composition under Attack
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
Lexi: Priority-First Service Orchestration
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
A Failure-Mode Taxonomy for LLM-Agent Services: An Empirical Mining Study
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
ACaaS: Privacy-Preserving Access Control as a Service for Healthcare on the Cloud-Edge Continuum
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
When Grounding Hurts: Retrieval and Validation for LLM Repair of Quantum Programs
ICECCS 2026 (Research Track), Brisbane, Australia · November 2026
To appearQuantum ReasoningWhen Audit Quality Fails to Predict Downstream Utility: Synthetic-Data Selection for Low-Resource Classification
EMNLP 2026 (Findings Track, CORE Rank A*), Budapest, Hungary · October 2026
LTM-RAG: Longitudinal Trust Mining for Poison-Resilient Retrieval-Augmented Generation
ICDM 2026 (Research Track, CORE Rank A*, Acceptance Rate: 392/1966, 20%), Shenyang, China · November 2026
From Natural-Language Hypotheses to Verified Data-Mining Discoveries
ICDM 2026 (Research Track, CORE Rank A*, Acceptance Rate: 392/1966, 20%), Shenyang, China · November 2026
GraphMemShield: Auditing Cross-Session Leakage in Graph Memories
CIKM 2026 (Full Research Track, CORE Rank A, Acceptance Rate: 597/2216, 27%), Rome, Italy · November 2026
Test-Time Spectral Adaptation for Image-to-Image Multispectral Retrieval
ACIVS 2026, Okinawa, Japan · December 2026
To appearApplied & CollaborativeLatent-Space Prediction Error and Fuzzy Risk-Scaled Recovery for Robotic Manipulation
ACIVS 2026, Okinawa, Japan · December 2026
To appearSafe Autonomous SystemsSwin-AQI: Depth-Aware Vision Transformer with Physics-Informed Learning for Particulate Matter Estimation from Ground Imagery
ACIVS 2026, Okinawa, Japan · December 2026
To appearApplied & CollaborativeDistributional Program Analysis: Treating Large Language Models as Program Samplers
ASE 2026 (NIER Track, CORE Rank A*, Acceptance Rate: 23/89, 25%), Munich, Germany · November 2026
GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation
ASE 2026 (Research Track, CORE Rank A*, Acceptance Rate: 115/1236), Munich, Germany · November 2026
Towards Resource-Constrained Event Extraction: A Knowledge-Augmented Framework for Overcoming Challenges in Vietnamese NLP
International Journal of Innovative Computing (IJIC), 16(1), pp. 79-85 · June 2026
Examination Room Usage Optimization Via Greedy and Exact Methods: A Vietnamese University Case Study
SOMET 2026, Kuala Lumpur, Malaysia · September 2026
To appearApplied & CollaborativeTraceToChain: Auditing LLM-Agent Reliability with Absorbing Markov Chains
ISSRE 2026 (Research Track, CORE Rank A), Limassol, Cyprus · October 2026
Uncertainty-Aware Forecasting and Inventory Optimization for ATM Cash Management in Vietnam
FLINS-ISKE 2026, Sydney, Australia · July 2026
Outstanding Student Paper AwardApplied & CollaborativeThe Paradigm Shift in Event Extraction: An In-Depth Overview with Large Language Models
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
Emerging Trends and Challenges Toward LLM Agents in Static Analysis
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
Nominated for Best Paper AwardAuditable AI AgentsFrom Black-Box to Glass-Box: Explainable AI for Applied Intelligent Software Systems Across the Software Development Life Cycle
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
Best Paper AwardAuditable AI AgentsIndustrial Visual Anomaly Detection in Robotics: Methods, Datasets, and Deployable System Architectures
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
VSLIM: A Vietnamese Explicit Slot-Intent Mapping for Joint Multi-Intent Detection and Slot Filling
ACIIDS 2026, Kaohsiung, Taiwan · April 2026
SBV-LawGraph: A Hybrid RAG Approach Integrating Knowledge Graph for the State Bank of Vietnam Legal Documents
ACIIDS 2026 (Oral), Kaohsiung, Taiwan · April 2026
Applying Robotic Process Automation (RPA) in Education: A Platform
SN Computer Science · 2026
Taint-Based Code Slicing for LLMs-based Malicious NPM Package Detection
arXiv preprint arXiv:2512.12313 · 2026
POP2TIC: Performance Optimization for Privacy-Preserving Fog Computing using TEE and Intelligent Caching
Journal of Network and Computer Applications (SCImago Q1, IF: 8.0) · 2026
Q1Exploring the Reasoning Depth of Small Language Models in Software Architecture: A Multidimensional Evaluation Framework Towards Software Engineering 2.0
23rd IEEE International Conference on Software Architecture (ICSA), (Amsterdam, Netherlands), 2026. (A Conference in Software Engineering)
PrivacyGuard:A Hierarchical Privacy‑Preserving Framework for IoT‑Fog‑Cloud Architectures
Computer Networks (SCIE, SCImago Q1, IF: 4.6) · 2026
Q1LiteFormer: A Lightweight Encoder‑Only Transformer for Efficient Financial Time Series Forecasting Across Global Stock Indices
Engineering Applications of Artificial Intelligence (SCIE, SCImago Q1, IF: 8.0) · 2026
Q1Enhancing Large Language Model Performance for Automatic Zero‑Shot Multiple‑Choice Question Answering via Single‑Token Logit Prompting
Computers & Education: Artificial Intelligence (ESCI, SCImago Q1, top 1 journal in Education). · 2026
Q1
2025 9 papers
An Automation Framework for Business Process Evaluation
International Conference on Advanced Computing and Analytics (ACOMPA) · 2025
An Automatic Business Process Evaluation Framework: Focusing on Quality, Flexibility, Transparency, and Exception Handling
Lecture Notes in Computer Science (LNCS) · 2025
TACKLE: Time-based access control and key delegation for letter of credit ecosystems
High-Confidence Computing (ESCI, SCImago Q1, IF: 3.0) · 2025
Q1Evaluating the impact of generative AI in mathematics education: A comparative study in Vietnamese high schools
Human Behavior and Emerging Technologies (ESCI, SCImago Q1, IF: 3.0) · 2025
Q1SLM-Bench: A Comprehensive Benchmark of Small Language Models on Environmental Impacts
EMNLP 2025 (Suzhou, China) (CORE Rank A*)
CORE A*SLIE: A Secure and Lightweight Cryptosystem for Data Sharing in IoT Healthcare Services
International Conference on Service Oriented Computing (ICSOC), (Shenzhen, China) (A Conference in Software Engineering) · 2025
CI2P‑MedHFDroid: A Context‑Aware Individual Privacy Preferences Model for Medical, Health & Fitness Android Apps
International Journal of Information Security (SCIE, SCImago Q2, IF: 3.2, National “Creative Youth” Award for Vietnamese people under 35) · 2025
Q2SecureWearTrade: A Comprehensive Blockchain‑Enabled IoT Framework for Secure Personal Data Trading from Wearable Devices
Pervasive and Mobile Computing (SCIE, SCImago Q1, IF: 3.5) · 2025
Q1A Systematic Review of Multi‑Factor Authentication in Digital Payment Systems: NIST Standards Alignment and Industry Implementation Analysis
Journal of Systems Architecture (SCIE, SCImago Q1, IF: 4.1) · 2025
Q1
2024 4 papers
Reinforcement Learning with LTL and Omega-Regular Objectives via Optimality-Preserving Translation to Average Rewards
NeurIPS 2024 (CORE Rank A*), Vancouver, Canada · December 2024
CORE A*Safe Autonomous SystemsMoney Laundering Detection Using A Transaction-Based Graph Learning Approach
18th IEEE IMCOM (Kuala Lumpur, Malaysia) · 2024
A Pragmatic Privacy-Preserving Deep Learning Framework Satisfying Differential Privacy
SN Computer Science (Scopus, SCImago Q2) · 2024
Q2Decoding the Privacy Policy Implications of Personal Data Processing: A Framework for GDPR Compliance in Business and Social Apps
International Conference on Service Oriented Computing (ICSOC), (Tunis, Tunisia) (A Conference in Software Engineering) · 2024
2023 8 papers
Age of twin (aot): A new digital twin qualifier for 6g ecosystem
IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS), (Jaipur, India) (Conference Paper). · 2023
Novel Methods for Improved Particle Swarm Optimization in Designing the Bandgap Reference Circuit
IEEE Access, (Piscataway, NJ, USA) (Q1 Journal). · 2023
Q1Optimal Computation Resource Allocation in Energy-Efficient Edge IoT Systems With Deep Reinforcement Learning
IEEE Transactions on Green Communications and Networking, (Piscataway, NJ, USA) (Q1 Journal). · 2023
Q1TwinPort: 5G drone-assisted data collection with digital twin for smart seaports
Scientific Reports (Sci Rep), (London, UK) (Q1 Journal) · 2023
Q1Digital transformation in engineering education: Exploring the potential of AI-assisted learning
Australasian Journal of Educational Technology (SSCI, SCImago Q1, IF: 3.3) · 2023
Q1Race with the machines: Assessing the capability of generative AI in solving authentic assessments
Australasian Journal of Educational Technology (SSCI, SCImago Q1, IF: 3.3) · 2023
Q1SPaMeR: securing patient medical records in the cloud-a microservice and brokerless architecture approach
International Conference on Web Services (ICWS 2023) (Chicago, Illinois USA) (CORE Rank A)
CORE AApplying blockchain technology for privacy preservation in android platforms
International Conference on Web Services (ICWS 2023) (Chicago, Illinois USA) (CORE Rank A)
CORE A
2022 3 papers
A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic
POPL 2022 (CORE Rank A*), Philadelphia, USA · January 2022
CORE A*Quantum ReasoningA risk estimation mechanism for android apps based on hybrid analysis
Data Science and Engineering (ESCI, SCImago Q1, IF: 4.2) · 2022
Q1BMDD: a novel approach for IoT platform (broker-less and microservice architecture, decentralized identity, and dynamic transmission messages)
PeerJ Computer Science (SCImago Q1, IF: 3.8) · 2022
Q1
2021 2 papers
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications
ICECCS 2020 (CORE Rank A), Singapore · March 2021
CORE AVerified AIA Data-Driven, Goal-Oriented Framework for Process-Focused Enterprise Re-engineering
Information Systems and e-Business Management · 2021
2020 1 paper
DeM-CoD: novel access-control-based cash on delivery mechanism for decentralized marketplace
TrustCom 2020 (Guangzhou, China), (CORE Rank A)
CORE A
2019 1 paper
Monadic Decomposability of Regular Relations
ICALP 2019 (CORE Rank A*), Patras, Greece · July 2019
CORE A*Verified AI
2018 2 papers
Complexity Analysis of Tree Share Structure
APLAS 2018, Wellington, New Zealand · December 2018
Logical Reasoning for Disjoint Permissions
ESOP 2018 (CORE Rank A), Thessaloniki, Greece · April 2018
CORE AVerified AI
2017 3 papers
A Certified Decision Procedure for Tree Shares
ICFEM 2017, Xi'an, China · November 2017
Disjoint Fractional Permissions in Verification: Applications, Systems and Theory
PhD Thesis, submitted September 2017
Re-engineering Enterprises Using Data Warehouse as a Driver and Requirements as an Enabler
IEEE International Enterprise Distributed Object Computing Conference · 2017
2016 2 papers
Decidability and Complexity of Tree Share Formulas
FSTTCS 2016, Chennai, India · December 2016
Towards a Formal Framework for Business Process Re-design Based on Data Mining
17th International Conference on Business Process Modeling, Development, and Support, held at CAiSE · 2016
2014 1 paper
Proposed combination of PCA and MFCC feature extraction in speech recognition system
International Conference on Computer, Communications, and Control Technology (I4CT), (Kuching, Malaysia) (Conference Paper). · 2014
2012 2 papers
Decision Procedures Over Sophisticated Fractional Permissions
APLAS 2012, Kyoto, Japan · December 2012
A robust algorithm for detection and classification of traffic signs in video data
IEEE Transactions on Intelligent Transportation Systems (Piscataway, NJ, USA) (Q1 Journal). · 2012
Q1
2011 1 paper
SAW parameters analysis and equivalent circuit of SAW device
Springer Nature, (Singapore) (Book Chapter trong cuốn Advances in Materials and Manufacturing Engineering). · 2011
2010 2 papers
Design and realization of SAW pressure sensor using Aluminum Nitride
Thèse de doctorat (Luận án Tiến sĩ), Université de Franche-Comté, (Besançon, France). · 2010
Environmental Evaluation of Machine-to-Machine Services: the case of Glass Waste Collection.
International Conference on Intelligence in Next Generation Networks (ICIN), (Berlin, Germany) (Conference Paper). · 2010
2007 1 paper
Temperature-Compensated Structure For Saw Pressure Sensor In Very High Temperature
IEEE International Frequency Control Symposium, (Geneva, Switzerland) (Conference Paper). · 2007