 | 2010 |
| 4 |  | Anikó Costa,
Paulo E. S. Barbosa,
Luís Gomes,
Franklin Ramalho,
Jorge C. A. de Figueiredo,
Antonio D. dos S. Junior:
Properties Preservation in Distributed Execution of Petri Nets Models.
DoCEIS 2010: 241-250 |
| 3 |  | Paulo E. S. Barbosa,
Franklin Ramalho,
Jorge Figueiredo,
Anikó Costa,
Luís Gomes,
Antonio D. dos S. Junior:
Semantic Equations for Formal Models in the Model-Driven Architecture.
DoCEIS 2010: 251-260 |
| 2009 |
| 2 |  | Paulo E. S. Barbosa,
Franklin Ramalho,
Jorge C. A. de Figueiredo,
Antonio D. dos S. Junior,
Anikó Costa,
Luís Gomes:
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems.
J. UCS 15(11): 2196-2224 (2009) |
| 2008 |
| 1 |  | Paulo E. S. Barbosa,
Franklin Ramalho,
Jorge C. A. de Figueiredo,
Antonio D. dos S. Junior:
Incorporating Semantic Algebra in the MDA Framework.
ICSOFT (SE/MUSE/GSDCA) 2008: 330-336 |