More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Anikó Costa

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c43]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/0001C24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0001C24
Luís Gomes, Anikó Costa:
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets 2024
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PereiraBMCCG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraBMCCG24
Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes:
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412
2023
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/wf-iot/OliveiraCSA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wf-iot/OliveiraCSA23
Carolina Lagartinho De Oliveira, Anikó Costa, Nagham Saeed, Francisco Arantes:
Women in Engineering Forum. WF-IoT 2023: 1-13
2022
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PereiraMCBCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraMCBCG22
Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes:
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets 2022: 127-138

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/WisniewskiB0CW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/WisniewskiB0CW19
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski:
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON 2019: 5843-5848
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DiasCMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DiasCMC19
Rafael Dias, Anikó Costa, José Malaquias, Manuel Camara:
Teaching Computational Reasoning without a Computer. IECON 2019: 6795-6800
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/WisniewskiKACG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/WisniewskiKACG18
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes:
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26(2): 575-586 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/WisniewskiBGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/WisniewskiBGC17
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa:
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics 13(4): 1734-1741 (2017)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/EstevesGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/EstevesGC17
João Esteves, Luís Gomes, Anikó Costa:
Collision avoidance system for an autonomous sailboat. IECON 2017: 3539-3544
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/0001CMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/0001CMM17
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló:
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/MarquesGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/MarquesGC17
Hugo Marques, Luís Gomes, Anikó Costa:
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE 2017: 1255-1260
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/FernandesGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/FernandesGC17
David Fernandes, Luís Gomes, Anikó Costa:
Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE 2017: 1417-1422
2015
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icarsc/0001SPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icarsc/0001SPC15
Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa:
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC 2015: 103-108
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/Campos-RebeloCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/Campos-RebeloCG15
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Event life time in detection of sequences of events. ICIT 2015: 3144-3149
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/0001CMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/0001CMM15
Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota:
Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG15
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS 2015: 147-156
[c29]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PereiraMBC015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PereiraMBC015
Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes:
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS 2015: 40-43
2014
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/hsi/Campos-RebeloCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsi/Campos-RebeloCG14
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Output events for human-system interaction modeling. HSI 2014: 261-266
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG14
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS 2014: 219-226
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/SilvaCHMMC014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/SilvaCHMMC014
Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes:
Communication support for Petri nets based distributed controllers. ISIE 2014: 1111-1116
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/GomesC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/GomesC14
Luís Gomes, Anikó Costa:
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE 2014: 2202-2206
2013
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hsi/Campos-RebeloCG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsi/Campos-RebeloCG13
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Events for human-system interaction modeling with IOPT Petri nets. HSI 2013: 56-61
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG13
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
On Structuring Events for IOPT Net Models. DoCEIS 2013: 229-238
2012
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Costa0B12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Costa0B12
Anikó Costa, Luís Gomes, João Paulo Barros:
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Barros0C12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Barros0C12
João Paulo Barros, Luís Gomes, Anikó Costa:
On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON 2012: 6138-6143
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG12
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
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/Moutinho0CP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/Moutinho0CP12
Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta:
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362
2011
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/MoutinhoGBBRFCM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/MoutinhoGBBRFCM11
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
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BarbosaBRGFMCA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BarbosaBRGFMCA11
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
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/CostaBGRFJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/CostaBGRFJ10
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
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BarbosaRFCGJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BarbosaRFCGJ10
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

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/BarbosaRFJCG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/BarbosaRFJCG09
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. Univers. Comput. Sci. 15(11): 2196-2224 (2009)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/Costa009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/Costa009
Anikó Costa, Luís Gomes:
Petri net partitioning using net splitting operation. INDIN 2009: 204-209
2007
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/CostaG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/CostaG07
Anikó Costa, Luís Gomes:
Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319
2006
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CostaG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CostaG06
Anikó Costa, Luís Gomes:
Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesC06
Luís Gomes, Anikó Costa:
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/GomesC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/GomesC06
Luís Gomes, Anikó Costa:
Petri nets as supporting formalism within Embedded Systems Co-design. IES 2006: 1-4
2005
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesBCPM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesBCPM05
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mse/GomesC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mse/GomesC05
Luís Gomes, Anikó Costa:
Remote Laboratory Support for an Introductory Microprocessor Course. MSE 2005: 21-22
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mse/GomesC05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mse/GomesC05a
Luís Gomes, Anikó Costa:
Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/recosoc/GomesBCPM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/GomesBCPM05
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
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/crc/IIR2005/GomesC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/IIR2005/GomesC05
Luís Gomes, Anikó Costa:
Hardware-level Design Languages. The Industrial Information Technology Handbook 2005: 1-18
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/BarrosCG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/BarrosCG05
João Paulo Barros, Anikó Costa, Luís Gomes:
Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005
2004
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/virtual-lab/BorzaSGCL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/virtual-lab/BorzaSGCL04
Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Laszlo Lazar:
Implementation of a remote and virtual laboratory in the field of home appliance systems. VIRTUAL-LAB 2004: 60-68
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/virtual-lab/GomesC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/virtual-lab/GomesC04
Luís Gomes, Anikó Costa:
Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB 2004: 89-98
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/GomesC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/GomesC03
Luís Gomes, Anikó Costa:
On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/GomesC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/GomesC03
Luís Gomes, Anikó Costa:
From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/GomesBC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/GomesBC01
Luís Gomes, João-Paulo Barros, Anikó Costa:
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC 2001: 1565-1570

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.