Publications

Export 10 results:
Sort by: Author [ Title  (Asc)] Type Year
A B C D E [F] G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
C
Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anikó Costa, and Lu\'ıs Gomes. "Checking Semantics Equivalence of MDA Transformations in Concurrent Systems." J. UCS. 15 (2009): 2196-2224. Abstract
n/a
I
Costa, Anikó, Lu\'ıs Gomes, Helder Francisco, and Bruno Silva. "Internal event removal in Hierarchical and Concurrent State Diagrams." DESDes'06 - 3rd IFAC Workshop on Discrete-Event System Design. Rydzyna, Pol�nia 2006. Abstract
n/a
Costa, Anikó, Lu\'ıs Gomes, Helder Francisco, and Bruno Silva. "Internal event removal in Hierarchical and Concurrent State Diagrams." DESDes'06 - 3rd IFAC Workshop on Discrete-Event System Design. Rydzyna, Pol�nia 2006. Abstract
n/a
M
Barbosa, Paulo E. S., Anikó Costa, Jorge Figueiredo, Franklin Ramalho, Lu\'ıs Gomes, and Antônio Junior. "Modeling Complex Petri Nets Operations in the Model-Driven Architecture." IECON'2009 - 35th Annual Conference of the IEEE Industrial Electronics Society. Alfandega Congress Center, Porto, Portugal 2009. Abstract
n/a
P
Moutinho, Filipe, Lu{\'ı}s Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, and André Monteiro. "Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System." 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. 2011. 237-245. Abstract
n/a
Costa, Anikó, Paulo E. S. Barbosa, Lu\'ıs Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, and Antonio D. S. dos Junior. "Properties Preservation in Distributed Execution of Petri Nets Models." DoCEIS. 2010. 241-250. Abstract
n/a
S
Barbosa, Paulo E. S., Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Lu\'ıs Gomes, and Antônio Junior. "Semantic Equations for Formal Models in the Model-Driven Architecture." DoCEIS. 2010. 251-260. Abstract
n/a
Barbosa, Paulo E. S., João Paulo Barros, Franklin Ramalho, Lu{\'ı}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, and André Aranha. "SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design." 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. 2011. 256-265. Abstract
n/a
W
Fernandes, David, Luís Gomes, and Anikó Costa. "Wind speed and direction measurement based on time of flight ultrasonic anemometer." 26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017. 2017. 1417-1422. Abstract

n/a

{
Barbosa, Paulo E. S., Anikó Costa, Lu\'ıs Gomes, Franklin Ramalho, Jorge Figueiredo, and Antônio Junior. "{A MDA-based Contribution for Integrating Web Services within Embedded System's Design}." 8{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2010). 2010. Abstract
n/a