Anikó Costa

	2012
18		Rogério Campos-Rebelo, Anikó Costa, Luís Gomes: Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS 2012: 151-160
	2011
17		Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245
16		Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
	2010
15		Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior: Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS 2010: 241-250
14		Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior: Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260
	2009
13		Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. UCS 15(11): 2196-2224 (2009)
	2007
12		Anikó Costa, Luís Gomes: Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319
	2006
11		Anikó Costa, Luís Gomes: Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132
10		Luís Gomes, Anikó Costa: Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237
	2005
9		Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Towards usage of formal methods within embedded systems co-design. ETFA 2005
8		Luís Gomes, Anikó Costa: Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106
7		Luís Gomes, Anikó Costa: Remote Laboratory Support for an Introductory Microprocessor Course. MSE 2005: 21-22
6		Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC 2005: 143-150
5		Luís Gomes, Anikó Costa: Hardware-level Design Languages. The Industrial Information Technology Handbook 2005: 1-18
	2004
4		Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Lazar Laszlo: Implementation of a remote and virtual laboratory in the field of home appliance systems. VIRTUAL-LAB 2004: 60-68
3		Luís Gomes, Anikó Costa: Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB 2004: 89-98
	2003
2		Luís Gomes, Anikó Costa: On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215
1		Luís Gomes, Anikó Costa: From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33

Coauthor Index

1	André Aranha	[16]
2	Paulo E. S. Barbosa	[13] [14] [15] [16] [17]
3	João Paulo Barros	[6] [9] [16] [17]
4	Paul Nicolae Borza	[4]
5	Rogério Campos-Rebelo	[18]
6	Jorge Figueiredo	[14] [16] [17]
7	Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo)	[13] [15]
8	Luís Gomes	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
9	Antonio D. dos S. Junior	[13] [14] [15]
10	Lazar Laszlo	[4]
11	André Monteiro	[17]
12	Filipe Moutinho	[6] [9] [16] [17]
13	Rui Pais	[6] [9]
14	Franklin Ramalho (Franklin de S. Ramalho)	[13] [14] [15] [16] [17]
15	Gheorghe Scutaru	[4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page