Anikó Costa

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 12

Top Topics

Primitive Events

Collision Avoidance

Top Venues

Publications

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)
Luís Gomes, Anikó Costa
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets (2024)
Carolina Lagartinho De Oliveira, Anikó Costa, Nagham Saeed, Francisco Arantes
Women in Engineering Forum. WF-IoT (2023)
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)
Rafael Dias, Anikó Costa, José Malaquias, Manuel Camara
Teaching Computational Reasoning without a Computer. IECON (2019)
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)
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) (2018)
João Esteves, Luís Gomes, Anikó Costa
Collision avoidance system for an autonomous sailboat. IECON (2017)
David Fernandes, Luís Gomes, Anikó Costa
Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE (2017)
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) (2017)
Hugo Marques, Luís Gomes, Anikó Costa
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE (2017)
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN (2017)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Event life time in detection of sequences of events. ICIT (2015)
Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC (2015)
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)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS (2015)
Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota
Attracting students to engineering through autonomous sailing yacht development. ICIT (2015)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS (2014)
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)
Luís Gomes, Anikó Costa
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE (2014)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Output events for human-system interaction modeling. HSI (2014)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
On Structuring Events for IOPT Net Models. DoCEIS (2013)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Events for human-system interaction modeling with IOPT Petri nets. HSI (2013)
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)
Anikó Costa, Luís Gomes, João Paulo Barros
Model composition by reusing Petri net based modules. IECON (2012)
Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE (2012)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS (2012)
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)
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)
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)
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)
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) (2009)
Anikó Costa, Luís Gomes
Petri net partitioning using net splitting operation. INDIN (2009)
Anikó Costa, Luís Gomes
Module Composition within Petri Nets Model-based Development. SIES (2007)
Anikó Costa, Luís Gomes
Partitioning of Petri net models amenable for Distributed Execution. ETFA (2006)
Luís Gomes, Anikó Costa
Petri nets as supporting formalism within Embedded Systems Co-design. IES (2006)
Luís Gomes, Anikó Costa
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA (2006)
Luís Gomes, Anikó Costa
Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE (2005)
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)
Luís Gomes, Anikó Costa
Remote Laboratory Support for an Introductory Microprocessor Course. MSE (2005)
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)
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)
Luís Gomes, Anikó Costa
Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB (2004)
Luís Gomes, Anikó Costa
From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE (2003)
Luís Gomes, Anikó Costa
On Lifting of Statechart Structuring Mechanisms. ACSD (2003)
Luís Gomes, João-Paulo Barros, Anikó Costa
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC (2001)