Anikó Costa
akc's web site
(email)
Publications
Bio
Publications
Export 57 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
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
« first
‹ previous
1
2
3
next ›
last »
Enter your keywords:
Recent Publications
From Use Cases to System Implementation: Statechart Based Co-design
Towards Usage of Formal Methods within Embedded Systems Co-Design
Estadogramas em Co-Design de Sistemas Embutidos
{The Input-Output Place-Transition Petri Net Class and Associated Tools}
{Petri net Splitting Operation within Embedded Systems Co-design}
IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007
more