Publications

Export 57 results:
Sort by: Author Title Type [ Year  (Desc)]
2009
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
2007
Gomes, Luís, João Paulo Barros, and Anikó Costa. "{Petri Nets Tools and Embedded Systems Design}." Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07). 2007. Abstract
n/a
Costa, Anikó, and Luís Gomes. "{Petri net Splitting Operation within Embedded Systems Co-design}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007. Abstract
n/a
Costa, Anikó, and Luís Gomes. "{Petri net Splitting Operation within Embedded Systems Co-design}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007. Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes. "{The Input-Output Place-Transition Petri Net Class and Associated Tools}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007. Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes. "{The Input-Output Place-Transition Petri Net Class and Associated Tools}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007. Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes. "{The Input-Output Place-Transition Petri Net Class and Associated Tools}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007. Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes. "{The Input-Output Place-Transition Petri Net Class and Associated Tools}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Parti{\,c}ão de redes de Petri integrada em metodologia de co-design de sistemas embutidos." REC'2007 -III Jornadas sobre Sistemas Reconfigur�veis. Lisboa, Portugal: Instituto Superior T�cnico, 2007. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Parti{\,c}ão de redes de Petri integrada em metodologia de co-design de sistemas embutidos." REC'2007 -III Jornadas sobre Sistemas Reconfigur�veis. Lisboa, Portugal: Instituto Superior T�cnico, 2007. Abstract
n/a
Gomes, Lu\'ıs, Anikó Costa, João Paulo Barros, and Paulo Lima. "Petri nets tools framework supporting FPGA-based controller implementations." IECON'2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society. The Grand Hotel, Taipei, Taiwan 2007. Abstract
n/a
Gomes, Lu\'ıs, Anikó Costa, João Paulo Barros, and Paulo Lima. "Petri nets tools framework supporting FPGA-based controller implementations." IECON'2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society. The Grand Hotel, Taipei, Taiwan 2007. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319. 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
Gomes, Lu\'ıs, and Anikó Costa. "Petri nets as supporting formalism within Embedded Systems Co-design." SIES'2006 - 2006 IEEE International Symposium on Industrial Embedded Systems. Nice, France 2006. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Partitioning of Petri net models amenable for Distributed Execution." ETFA. 2006. 1129-1132. Abstract
n/a
Gomes, Lu\'ıs, and Anikó Costa. "Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams." ETFA. 2006. 1230-1237. Abstract
n/a
2005
Gomes, Lu\'ıs, and Anikó Costa. "Statechart based component partitioning in hardware/software co-design." Jornadas sobre Sistemas Reconfigur�veis (REC'2005). Campus de Gambelas, Faro, Algarve, Portugal: Faculdade de Ci�ncias e Tecnologia Universidade do Algarve, 2005. Abstract
n/a
Gomes, Lu\'ıs, João Paulo Barros, Anikó Costa, Rui Pais, and Filipe Moutinho. "Formal methods for Embedded Systems Co-design: the FORDESIGN project." ReCoSoC. 2005. 143-150. Abstract
n/a
Gomes, Lu\'ıs, and Anikó Costa. "Hardware-level Design Languages." The Industrial Information Technology Handbook. 2005. 1-18. Abstract
n/a
Gomes, Luís, João Paulo, and Anikó Costa. "Modeling Formalisms for Embedded Systems Design." Embedded Systems Handbook. Ed. Richard Zurawski(Editor-in-Chief). CRC, 2005. pp. 5-1, 5-34. Abstract
n/a
Gomes, Lu{\'ı}s, and Anikó Costa. "Remote Laboratory Support for an Introductory Microprocessor Course." 2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005. 2005. 21-22. Abstract
n/a
Gomes, Lu\'ıs, João Paulo Barros, and Anikó Costa. "Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations." Design of embedded control systems. 2005. 153-166. Abstract
n/a