Tan Duong

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

Rocco De Nicola, Franco Mazzanti, Omar Inverso, 2019, From Software Engineering to Formal Methods and Tools, and Back.

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

Rocco De Nicola, Michele Loreti, Tan Duong, 2019, COORDINATION.

Provably correct implementation of the AbC calculus

Rocco De Nicola, Michele Loreti, Tan Duong, 2021 .

AErlang: Empowering Erlang with Attribute-Based Communication

Rocco De Nicola, Catia Trubiani, Omar Inverso, 2017, COORDINATION.

AErlang at Work

Rocco De Nicola, Catia Trubiani, Omar Inverso, 2017, SOFSEM.

AErlang: Empowering Erlang with attribute-based communication

Rocco De Nicola, Catia Trubiani, Omar Inverso, 2018, Sci. Comput. Program..

Verifying AbC Specifications via Emulation

Rocco De Nicola, Omar Inverso, Tan Duong, 2020, ISoLA.

Verifying Properties of Systems Relying on Attribute-Based Communication

Rocco De Nicola, Franco Mazzanti, Omar Inverso, 2017, ModelEd, TestEd, TrustEd.

Action Potential Duration Restitution and Alternans in Rabbit Ventricular Myocytes: The Key Role of Intracellular Calcium Cycling

Joshua I. Goldhaber, Tan Duong, Lai-Hua Xie, 2005, Circulation research.