Amaury Tavares

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 3

Top Topics

Operational Semantics

Uml Activity Diagrams

Conceptual Database Design

Top Venues

Sci. Comput. Program.

MoDELS (Companion)

Publications

Lucas Lima, Amaury Tavares, Sidney C. Nogueira
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. Sci. Comput. Program. 197 (2020)
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. CoRR (2019)
Lucas Lima, Amaury Tavares
Verifying Deadlock and Nondeterminism in Activity Diagrams. MoDELS (Companion) (2019)