Tan Duong

According to our database, Tan Duong authored at least 9 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Provably correct implementation of the <i>AbC</i> calculus.

Rocco De Nicola, Tan Duong, Michele Loreti

Sci. Comput. Program., 2021

2020

Verifying AbC Specifications via Emulation.

Rocco De Nicola, Tan Duong, Omar Inverso

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.

Rocco De Nicola, Tan Duong, Michele Loreti

Proceedings of the Coordination Models and Languages, 2019

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.

Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2017

AErlang at Work.

Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

AErlang: Empowering Erlang with Attribute-Based Communication.

Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani

Proceedings of the Coordination Models and Languages, 2017

Verifying Properties of Systems Relying on Attribute-Based Communication.

Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2012

Parallel PageRank computation using GPUs.

Nhat Tan Duong, Quang Anh Pham Nguyen, Anh Tu Nguyen, Huu-Duc Nguyen

Proceedings of the Symposium on Information and Communication Technology 2012, 2012

2010

Password recovery for encrypted ZIP archives using GPUs.

Pham Hong Phong, Phan Duc Dung, Duong Nhat Tan, Nguyen Huu Duc, Nguyen Thanh Thuy

Proceedings of the 2010 Symposium on Information and Communication Technology, 2010