Wisniewski, Remigiusz, Andrei Karatkevich, Marian Adamski, Anikó Costa, and Luís Gomes. "Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs." {IEEE} Trans. Contr. Sys. Techn.. 26 (2018): 575-586.

Esteves, João, Luís Gomes, and Anikó Costa. "Collision avoidance system for an autonomous sailboat." {IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. 2017. 3539-3544.

Wisniewski, Remigiusz, Grzegorz Bazydlo, Luís Gomes, and Anikó Costa. "Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in {FPGA} Devices." {IEEE} Trans. Industrial Informatics. 13 (2017): 1734-1741.

Marques, Hugo, Luís Gomes, and Anikó Costa. "Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation." 26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017. 2017. 1255-1260.

Gomes, Luís, Anikó Costa, Filipe Moutinho, and Pedro Maló. "Reconfigurable devices based experimentation supporting teaching introductory digital systems." 15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017. 2017. 539-543.

Fernandes, David, Luís Gomes, and Anikó Costa. "Wind speed and direction measurement based on time of flight ultrasonic anemometer." 26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017. 2017. 1417-1422.

Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling." Technological Innovation for Cloud-Based Engineering Systems - 6th {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings. 2015. 147-156.

Pereira, Fernando, Filipe Moutinho, João Paulo Barros, Anikó Costa, and Luís Gomes. "Executable models for Embedded Controllers Development - {A} Cloud Based Development Framework." 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), Ottawa, Canada, September 27, 2015. 2015. 40-43.

Gomes, Luís, Miguel Santos, Thiago Pereira, and Anikó Costa. "Model-Based Development of an Autonomous Sailing Yacht Controller." 2015 {IEEE} International Conference on Autonomous Robot Systems and Competitions, {ICARSC} 2015, Vila Real, Portugal, April 8-10, 2015. 2015. 103-108.

Gomes, Luís, and Anikó Costa. "Cloud based development framework using {IOPT} Petri nets for embedded systems teaching." 23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014. 2014. 2202-2206.

Silva, Edgar M., Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, and Luís Gomes. "Communication support for Petri nets based distributed controllers." 23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014. 2014. 1111-1116.

Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "Elementary Events for Modeling of Human-System Interactions with Petri Net Models." Technological Innovation for Collective Awareness Systems - 5th {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April 7-9, 2014. Proceedings. 2014. 219-226.

Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "Output events for human-system interaction modeling." 7th International Conference on Human System Interactions, {HSI} 2014, Costa da Caparica, Portugal, June 16-18, 2014. 2014. 261-266.

Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "Events for human-system interaction modeling with {IOPT} Petri nets." 6th International Conference on Human System Interactions, {HSI} 2013, Sopot, Poland, June 6-8, 2013. 2013. 56-61.

Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "On Structuring Events for {IOPT} Net Models." Technological Innovation for the Internet of Things - 4th {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings. 2013. 229-238.

Moutinho, Filipe, Lu{\'?}s Gomes, Anikó Costa, and Jose Pimenta. "Asynchronous wrappers configuration within {GALS} systems specified by Petri nets." 21st {IEEE} International Symposium on Industrial Electronics, {ISIE} 2012, Hangzhou, China, 28-31 May, 2012. 2012. 1357-1362.

-, Rogério Campos, Anikó Costa, and Lu{\'?}s Gomes. "Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms." Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings. 2012. 151-160.

Moutinho, Filipe, Lu{\'?}s Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, and André Monteiro. "Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System." Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 237-245.

Barbosa, Paulo E. S., João Paulo Barros, Franklin Ramalho, Lu{\'?}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, and André Aranha. "SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design." Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 256-265.

Barbosa, Paulo E. S., Anikó Costa, Lu\'?s Gomes, Franklin Ramalho, Jorge Figueiredo, and Antônio Junior. "{A MDA-based Contribution for Integrating Web Services within Embedded System's Design}." 8{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2010). 2010. 

Emerging Trends in Technological Innovation, First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings. Eds. Luis M. Camarinha-Matos, Pedro Pereira, and Luis Ribeiro. Vol. 314. DoCEIS, 314. Springer, 2010.

Costa, Anikó, Paulo E. S. Barbosa, Lu\'?s Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, and Antonio D. S. dos Junior. "Properties Preservation in Distributed Execution of Petri Nets Models." DoCEIS. 2010. 241-250.

Barbosa, Paulo E. S., Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Lu\'?s Gomes, and Antônio Junior. "Semantic Equations for Formal Models in the Model-Driven Architecture." DoCEIS. 2010. 251-260.

Costa, Anikó, and Luís Gomes. "{Petri net partitioning using net splitting operation}." 7{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2009). 2009. 

Oliveira, João, Anikó Costa, and Lu\'?s Gomes. "Configurador de plataformas espec\'?ficas em Co-design de Sistemas Embutidos." REC'2009 - V Jornadas sobre Sistemas Reconfigur?veis. Monte de Caparica, Portugal: Faculdade de Ci?ncias e Tecnologia da Universidade Nova de Lisboa,  2009. 

Barbosa, Paulo E. S., Anikó Costa, Jorge Figueiredo, Franklin Ramalho, Lu\'?s Gomes, and Antônio Junior. "Modeling Complex Petri Nets Operations in the Model-Driven Architecture." IECON'2009 - 35th Annual Conference of the IEEE Industrial Electronics Society. Alfandega Congress Center, Porto, Portugal 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.

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. 

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. 

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. 

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. 

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. 

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. 

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. 

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. 

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. 

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. 

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. 

IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. SIES. IEEE, 2007.

IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. SIES. IEEE, 2007.

Costa, Anikó, and Lu\'?s Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319.

Costa, Anikó, and Lu\'?s Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319.

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. 

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. 

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. 

Costa, Anikó, and Lu\'?s Gomes. "Partitioning of Petri net models amenable for Distributed Execution." ETFA. 2006. 1129-1132.

Gomes, Lu\'?s, and Anikó Costa. "Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams." ETFA. 2006. 1230-1237.

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. 

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.

Gomes, Lu\'?s, and Anikó Costa. "Hardware-level Design Languages." The Industrial Information Technology Handbook. 2005. 1-18.

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.

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.

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.

Gomes, Lu{\'?}s, and Anikó Costa. "Teaching Formal Methods Within System-on-a-Programmable-Chip Design." 2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005. 2005. 105-106.

Gomes, Luís, João Paulo, Anikó Costa, Rui Pais, and Filipe Moutinho. "Towards Usage of Formal Methods within Embedded Systems Co-Design." Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation. 2005. 

Gomes, Lu{\'?}s, and Anikó Costa. "Embedded Systems Introductory Course supported by remote experiments." e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, {VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Setúbal, Portugal, August 2004. 2004. 89-98.

Borza, Paul Nicolae, Gheorghe Scutaru, Lu{\'?}s Gomes, Anikó Costa, and Laszlo Lazar. "Implementation of a remote and virtual laboratory in the field of home appliance systems." e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, {VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Setúbal, Portugal, August 2004. 2004. 60-68.

Costa, Anikó Estadogramas em Co-Design de Sistemas Embutidos. Faculdade Ciêcias e Tecnologia da Universidade Nova de Lisboa, 2003.

Gomes, Lu{\'?}s, and Anikó Costa. "From Use Cases to System Implementation: Statechart Based Co-design." 1st {ACM} {&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings. 2003. 24-33.

Gomes, Lu{\'?}s, and Anikó Costa. "On Lifting of Statechart Structuring Mechanisms." 3rd International Conference on Application of Concurrency to System Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal. 2003. 206-215.

Gomes, Lu{\'?}s, João -, and Anikó Costa. "Man-machine interface for real-time telecontrol based onPetri nets specification." Proceedings of the {IEEE} International Conference on Systems, Man {&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001. 2001. 1565-1570.