Amaury Tavares

According to our database, Amaury Tavares authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

2020

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.

Lucas Lima, Amaury Tavares, Sidney C. Nogueira

Sci. Comput. Program., 2020

2019

Verifying Deadlock and Nondeterminism in Activity Diagrams.

Lucas Lima, Amaury Tavares

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019