Publications

Export 10 results:
Sort by: Author Title Type [ Year (Desc)]
2017
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

2011
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
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
2010
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
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
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
2009
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
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
2006
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