Anikó Costa

According to our database, Anikó Costa authored at least 45 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.

Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2019

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.

Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski

Proceedings of the IECON 2019, 2019

Teaching Computational Reasoning without a Computer.

Rafael Dias, Anikó Costa, José Malaquias, Manuel Camara

Proceedings of the IECON 2019, 2019

2018

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.

Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes

IEEE Trans. Control. Syst. Technol., 2018

2017

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices.

Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa

IEEE Trans. Ind. Informatics, 2017

Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation.

Hugo Marques, Luís Gomes, Anikó Costa

Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

Wind speed and direction measurement based on time of flight ultrasonic anemometer.

David Fernandes, Luís Gomes, Anikó Costa

Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

Reconfigurable devices based experimentation supporting teaching introductory digital systems.

Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Collision avoidance system for an autonomous sailboat.

João Esteves, Luís Gomes, Anikó Costa

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2015

Executable models for Embedded Controllers Development - A Cloud Based Development Framework.

Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

Event life time in detection of sequences of events.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the IEEE International Conference on Industrial Technology, 2015

Attracting students to engineering through autonomous sailing yacht development.

Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota

Proceedings of the IEEE International Conference on Industrial Technology, 2015

Model-Based Development of an Autonomous Sailing Yacht Controller.

Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa

Proceedings of the 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, 2015

2014

Communication support for Petri nets based distributed controllers.

Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes

Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

Cloud based development framework using IOPT Petri nets for embedded systems teaching.

Luís Gomes, Anikó Costa

Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

Elementary Events for Modeling of Human-System Interactions with Petri Net Models.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

Output events for human-system interaction modeling.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the 7th International Conference on Human System Interactions, 2014

2013

On Structuring Events for IOPT Net Models.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the Technological Innovation for the Internet of Things, 2013

Events for human-system interaction modeling with IOPT Petri nets.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the 6th International Conference on Human System Interactions, 2013

2012

Asynchronous wrappers configuration within GALS systems specified by Petri nets.

Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta

Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012

Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

Proceedings of the Technological Innovation for Value Creation, 2012

Model composition by reusing Petri net based modules.

Anikó Costa, Luís Gomes, João Paulo Barros

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

On the verification of non-autonomous Petri net models using autonomous petri net tools.

João Paulo Barros, Luís Gomes, Anikó Costa

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2011

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro

Proceedings of the Technological Innovation for Sustainability, 2011

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.

Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha

Proceedings of the Technological Innovation for Sustainability, 2011

2010

Properties Preservation in Distributed Execution of Petri Nets Models.

Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

Semantic Equations for Formal Models in the Model-Driven Architecture.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

2009

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes

J. Univers. Comput. Sci., 2009

Petri net partitioning using net splitting operation.

Anikó Costa, Luís Gomes

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2007

Module Composition within Petri Nets Model-based Development.

Anikó Costa, Luís Gomes

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2006

Petri nets as supporting formalism within Embedded Systems Co-design.

Luís Gomes, Anikó Costa

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams.

Luís Gomes, Anikó Costa

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Partitioning of Petri net models amenable for Distributed Execution.

Anikó Costa, Luís Gomes

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Modeling Formalisms for Embedded System Design.

João Paulo Barros, Anikó Costa, Luís Gomes

Proceedings of the Embedded Systems Handbook., 2005

Formal methods for Embedded Systems Co-design: the FORDESIGN project.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

Teaching Formal Methods Within System-on-a-Programmable-Chip Design.

Luís Gomes, Anikó Costa

Proceedings of the 2005 International Conference on Microelectronics Systems Education, 2005

Remote Laboratory Support for an Introductory Microprocessor Course.

Luís Gomes, Anikó Costa

Proceedings of the 2005 International Conference on Microelectronics Systems Education, 2005

Towards usage of formal methods within embedded systems co-design.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Hardware-level Design Languages.

Luís Gomes, Anikó Costa

Proceedings of the Industrial Information Technology Handbook, 2005

2004

Embedded Systems Introductory Course supported by remote experiments.

Luís Gomes, Anikó Costa

Proceedings of the e-learning and Virtual and Remote Laboratories, 2004

Implementation of a remote and virtual laboratory in the field of home appliance systems.

Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Laszlo Lazar

Proceedings of the e-learning and Virtual and Remote Laboratories, 2004

2003

From Use Cases to System Implementation: Statechart Based Co-design.

Luís Gomes, Anikó Costa

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

On Lifting of Statechart Structuring Mechanisms.

Luís Gomes, Anikó Costa

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2001

Man-machine interface for real-time telecontrol based onPetri nets specification.

Luís Gomes, João-Paulo Barros, Anikó Costa

Proceedings of the IEEE International Conference on Systems, 2001