Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Communication Engineering & Materials Science
Wireless sensor networks Engineering & Materials Science
Hardware Engineering & Materials Science
Computer hardware Engineering & Materials Science
Data structures Engineering & Materials Science
Object oriented programming Engineering & Materials Science
Queueing theory Engineering & Materials Science
Markov processes Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2000 2018

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

Le, Q. L. & He, M., 13 Aug 2018, (Accepted/In press).

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Formal languages

Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

Wang, J., Sun, J., Qin, S. & Jegourel, C., 14 Dec 2018, In : IEEE Transactions on Software Engineering. 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Large scale systems
Model checking
Water treatment
Systems analysis
Sampling

Automatic Data Structure Repair using Separation Logic

Zheng, G., Le, Q. L., Nguyen, T. & Phan, Q-S., 24 Aug 2018, In : ACM SigSoft Software Engineering Notes .

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Data structures
Repair
Specifications
Software reliability
Concretes