@conference {DBLP:conf/ifip5-5/MoutinhoGBBRFCM11,
	title = {Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System},
	booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
	year = {2011},
	note = {n/a},
	pages = {237{\textendash}245},
	abstract = {n/a},
	doi = {10.1007/978-3-642-19170-1\_26},
	url = {https://doi.org/10.1007/978-3-642-19170-1\_26},
	author = {Filipe Moutinho and Lu{\'{\i}}s Gomes and Paulo E. S. Barbosa and Jo{\~a}o Paulo Barros and Franklin Ramalho and Jorge Figueiredo and Anik{\'o} Costa and Andr{\'e} Monteiro}
}
@conference {DBLP:conf/ifip5-5/BarbosaBRGFMCA11,
	title = {SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design},
	booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
	year = {2011},
	note = {n/a},
	pages = {256{\textendash}265},
	abstract = {n/a},
	doi = {10.1007/978-3-642-19170-1\_28},
	url = {https://doi.org/10.1007/978-3-642-19170-1\_28},
	author = {Paulo E. S. Barbosa and Jo{\~a}o Paulo Barros and Franklin Ramalho and Lu{\'{\i}}s Gomes and Jorge Figueiredo and Filipe Moutinho and Anik{\'o} Costa and Andr{\'e} Aranha}
}
@conference {INDIN2010,
	title = {{A MDA-based Contribution for Integrating Web Services within Embedded System{\textquoteright}s Design}},
	booktitle = {8{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2010).},
	year = {2010},
	note = {n/a},
	month = {Jun.},
	abstract = {n/a},
	author = {Paulo E. S. Barbosa and Anik{\'o} Costa and Lu\'{\i}s Gomes and Franklin Ramalho and Jorge Figueiredo and Ant{\^o}nio Junior}
}
@proceedings {DBLP:conf/ifip5-5/2010doceis,
	title = {Emerging Trends in Technological Innovation, First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings},
	journal = {DoCEIS},
	volume = {314},
	year = {2010},
	note = {n/a},
	publisher = {Springer},
	abstract = {n/a},
	isbn = {978-3-642-11627-8},
	editor = {Camarinha-Matos, Luis M and Pedro Pereira and Ribeiro, Luis}
}
@conference {CostaDoCEIS10,
	title = {Properties Preservation in Distributed Execution of Petri Nets Models},
	booktitle = {DoCEIS},
	year = {2010},
	note = {n/a},
	pages = {241-250},
	abstract = {n/a},
	author = {Anik{\'o} Costa and Paulo E. S. Barbosa and Lu\'{\i}s Gomes and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior}
}
@conference {PauloDoCEIS2010,
	title = {Semantic Equations for Formal Models in the Model-Driven Architecture},
	booktitle = {DoCEIS},
	year = {2010},
	note = {n/a},
	pages = {251-260},
	abstract = {n/a},
	author = {Paulo E. S. Barbosa and Franklin Ramalho and Jorge Figueiredo and Anik{\'o} Costa and Lu\'{\i}s Gomes and Ant{\^o}nio Junior}
}
@conference {IECON2009MDA,
	title = {Modeling Complex Petri Nets Operations in the Model-Driven Architecture},
	booktitle = {IECON{\textquoteright}2009 - 35th Annual Conference of the IEEE Industrial Electronics Society},
	year = {2009},
	note = {n/a},
	month = {3-5 November},
	address = {Alfandega Congress Center, Porto, Portugal},
	abstract = {n/a},
	author = {Paulo E. S. Barbosa and Anik{\'o} Costa and Jorge Figueiredo and Franklin Ramalho and Lu\'{\i}s Gomes and Ant{\^o}nio Junior}
}
@article {jucs/BarbosaRFJCG09,
	title = {Checking Semantics Equivalence of MDA Transformations in Concurrent Systems},
	journal = {J. UCS},
	volume = {15},
	number = {11},
	year = {2009},
	note = {n/a},
	pages = {2196-2224},
	abstract = {n/a},
	author = {Paulo E. S. Barbosa and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior and Anik{\'o} Costa and Lu\'{\i}s Gomes}
}
