{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Wisniewski, Remigiusz, Andrei Karatkevich, Marian Adamski, Anik\'f3 Costa, and Lu\'eds Gomes. "Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs." \i \{IEEE\} Trans. Contr. Sys. Techn.\i0 . 26 (2018): 575-586.\par \par Esteves, Jo\'e3o, Lu\'eds Gomes, and Anik\'f3 Costa. "Collision avoidance system for an autonomous sailboat." \i \{IECON\} 2017 - 43rd Annual Conference of the \{IEEE\} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017\i0 . 2017. 3539-3544.\par \par Wisniewski, Remigiusz, Grzegorz Bazydlo, Lu\'eds Gomes, and Anik\'f3 Costa. "Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in \{FPGA\} Devices." \i \{IEEE\} Trans. Industrial Informatics\i0 . 13 (2017): 1734-1741.\par \par Marques, Hugo, Lu\'eds Gomes, and Anik\'f3 Costa. "Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation." \i 26th \{IEEE\} International Symposium on Industrial Electronics, \{ISIE\} 2017, Edinburgh, United Kingdom, June 19-21, 2017\i0 . 2017. 1255-1260.\par \par Gomes, Lu\'eds, Anik\'f3 Costa, Filipe Moutinho, and Pedro Mal\'f3. "Reconfigurable devices based experimentation supporting teaching introductory digital systems." \i 15th \{IEEE\} International Conference on Industrial Informatics, \{INDIN\} 2017, Emden, Germany, July 24-26, 2017\i0 . 2017. 539-543.\par \par Fernandes, David, Lu\'eds Gomes, and Anik\'f3 Costa. "Wind speed and direction measurement based on time of flight ultrasonic anemometer." \i 26th \{IEEE\} International Symposium on Industrial Electronics, \{ISIE\} 2017, Edinburgh, United Kingdom, June 19-21, 2017\i0 . 2017. 1417-1422.\par \par Campos-Rebelo, Rog\'e9rio, Anik\'f3 Costa, and Lu\'eds Gomes. "Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling." \i 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\i0 . 2015. 147-156.\par \par Pereira, Fernando, Filipe Moutinho, Jo\'e3o Paulo Barros, Anik\'f3 Costa, and Lu\'eds Gomes. "Executable models for Embedded Controllers Development - \{A\} Cloud Based Development Framework." \i 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.\i0  2015. 40-43.\par \par Gomes, Lu\'eds, Miguel Santos, Thiago Pereira, and Anik\'f3 Costa. "Model-Based Development of an Autonomous Sailing Yacht Controller." \i 2015 \{IEEE\} International Conference on Autonomous Robot Systems and Competitions, \{ICARSC\} 2015, Vila Real, Portugal, April 8-10, 2015\i0 . 2015. 103-108.\par \par Gomes, Lu\'eds, and Anik\'f3 Costa. "Cloud based development framework using \{IOPT\} Petri nets for embedded systems teaching." \i 23rd \{IEEE\} International Symposium on Industrial Electronics, \{ISIE\} 2014, Istanbul, Turkey, June 1-4, 2014\i0 . 2014. 2202-2206.\par \par Silva, Edgar M., Rog\'e9rio Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Mal\'f3, Anik\'f3 Costa, and Lu\'eds Gomes. "Communication support for Petri nets based distributed controllers." \i 23rd \{IEEE\} International Symposium on Industrial Electronics, \{ISIE\} 2014, Istanbul, Turkey, June 1-4, 2014\i0 . 2014. 1111-1116.\par \par Campos-Rebelo, Rog\'e9rio, Anik\'f3 Costa, and Lu\'eds Gomes. "Elementary Events for Modeling of Human-System Interactions with Petri Net Models." \i 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\i0 . 2014. 219-226.\par \par Campos-Rebelo, Rog\'e9rio, Anik\'f3 Costa, and Lu\'eds Gomes. "Output events for human-system interaction modeling." \i 7th International Conference on Human System Interactions, \{HSI\} 2014, Costa da Caparica, Portugal, June 16-18, 2014\i0 . 2014. 261-266.\par \par Campos-Rebelo, Rog\'e9rio, Anik\'f3 Costa, and Lu\'eds Gomes. "Events for human-system interaction modeling with \{IOPT\} Petri nets." \i 6th International Conference on Human System Interactions, \{HSI\} 2013, Sopot, Poland, June 6-8, 2013\i0 . 2013. 56-61.\par \par Campos-Rebelo, Rog\'e9rio, Anik\'f3 Costa, and Lu\'eds Gomes. "On Structuring Events for \{IOPT\} Net Models." \i 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\i0 . 2013. 229-238.\par \par Moutinho, Filipe, Lu\{\\'?\}s Gomes, Anik\'f3 Costa, and Jose Pimenta. "Asynchronous wrappers configuration within \{GALS\} systems specified by Petri nets." \i 21st \{IEEE\} International Symposium on Industrial Electronics, \{ISIE\} 2012, Hangzhou, China, 28-31 May, 2012\i0 . 2012. 1357-1362.\par \par -, Rog\'e9rio Campos, Anik\'f3 Costa, and Lu\{\\'?\}s Gomes. "Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms." \i 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\i0 . 2012. 151-160.\par \par Moutinho, Filipe, Lu\{\\'?\}s Gomes, Paulo E. S. Barbosa, Jo\'e3o Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anik\'f3 Costa, and Andr\'e9 Monteiro. "Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System." \i 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\i0 . 2011. 237-245.\par \par Barbosa, Paulo E. S., Jo\'e3o Paulo Barros, Franklin Ramalho, Lu\{\\'?\}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anik\'f3 Costa, and Andr\'e9 Aranha. "SysVeritas: \{A\} Framework for Verifying \{IOPT\} Nets and Execution Semantics within Embedded Systems Design." \i 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\i0 . 2011. 256-265.\par \par Barbosa, Paulo E. S., Anik\'f3 Costa, Lu\\'?s Gomes, Franklin Ramalho, Jorge Figueiredo, and Ant\'f4nio Junior. "\{A MDA-based Contribution for Integrating Web Services within Embedded System's Design\}." \i 8\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2010).\i0  2010. \par \par \i 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\i0 . Eds. Luis M. Camarinha-Matos, Pedro Pereira, and Luis Ribeiro. Vol. 314. DoCEIS, 314. Springer, 2010.\par \par Costa, Anik\'f3, 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." \i DoCEIS\i0 . 2010. 241-250.\par \par Barbosa, Paulo E. S., Franklin Ramalho, Jorge Figueiredo, Anik\'f3 Costa, Lu\\'?s Gomes, and Ant\'f4nio Junior. "Semantic Equations for Formal Models in the Model-Driven Architecture." \i DoCEIS\i0 . 2010. 251-260.\par \par Costa, Anik\'f3, and Lu\'eds Gomes. "\{Petri net partitioning using net splitting operation\}." \i 7\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2009).\i0  2009. \par \par Oliveira, Jo\'e3o, Anik\'f3 Costa, and Lu\\'?s Gomes. "Configurador de plataformas espec\\'?ficas em Co-design de Sistemas Embutidos." \i REC'2009 - V Jornadas sobre Sistemas Reconfigur?veis\i0 . Monte de Caparica, Portugal: Faculdade de Ci?ncias e Tecnologia da Universidade Nova de Lisboa,  2009. \par \par Barbosa, Paulo E. S., Anik\'f3 Costa, Jorge Figueiredo, Franklin Ramalho, Lu\\'?s Gomes, and Ant\'f4nio Junior. "Modeling Complex Petri Nets Operations in the Model-Driven Architecture." \i IECON'2009 - 35th Annual Conference of the IEEE Industrial Electronics Society\i0 . Alfandega Congress Center, Porto, Portugal 2009. \par \par Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anik\'f3 Costa, and Lu\\'?s Gomes. "Checking Semantics Equivalence of MDA Transformations in Concurrent Systems." \i J. UCS\i0 . 15 (2009): 2196-2224.\par \par Gomes, Lu\'eds, Jo\'e3o Paulo Barros, and Anik\'f3 Costa. "\{Petri Nets Tools and Embedded Systems Design\}." \i Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07)\i0 . 2007. \par \par Costa, Anik\'f3, and Lu\'eds Gomes. "\{Petri net Splitting Operation within Embedded Systems Co-design\}." \i 5\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2007).\i0  2007. \par \par Costa, Anik\'f3, and Lu\'eds Gomes. "\{Petri net Splitting Operation within Embedded Systems Co-design\}." \i 5\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2007).\i0  2007. \par \par Gomes, Lu\'eds, Jo\'e3o Paulo, Anik\'f3 Costa, and Ricardo Nunes. "\{The Input-Output Place-Transition Petri Net Class and Associated Tools\}." \i 5\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2007).\i0  2007. \par \par Gomes, Lu\'eds, Jo\'e3o Paulo, Anik\'f3 Costa, and Ricardo Nunes. "\{The Input-Output Place-Transition Petri Net Class and Associated Tools\}." \i 5\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2007).\i0  2007. \par \par Gomes, Lu\'eds, Jo\'e3o Paulo, Anik\'f3 Costa, and Ricardo Nunes. "\{The Input-Output Place-Transition Petri Net Class and Associated Tools\}." \i 5\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2007).\i0  2007. \par \par Gomes, Lu\'eds, Jo\'e3o Paulo, Anik\'f3 Costa, and Ricardo Nunes. "\{The Input-Output Place-Transition Petri Net Class and Associated Tools\}." \i 5\{\\textsuperscript\{th\}\} IEEE International Conference on Industrial Informatics (INDIN 2007).\i0  2007. \par \par Costa, Anik\'f3, and Lu\\'?s Gomes. "Parti\{\\,c\}\'e3o de redes de Petri integrada em metodologia de co-design de sistemas embutidos." \i REC'2007 -III Jornadas sobre Sistemas Reconfigur?veis\i0 . Lisboa, Portugal: Instituto Superior T?cnico,  2007. \par \par Costa, Anik\'f3, and Lu\\'?s Gomes. "Parti\{\\,c\}\'e3o de redes de Petri integrada em metodologia de co-design de sistemas embutidos." \i REC'2007 -III Jornadas sobre Sistemas Reconfigur?veis\i0 . Lisboa, Portugal: Instituto Superior T?cnico,  2007. \par \par Gomes, Lu\\'?s, Anik\'f3 Costa, Jo\'e3o Paulo Barros, and Paulo Lima. "Petri nets tools framework supporting FPGA-based controller implementations." \i IECON'2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society\i0 . The Grand Hotel, Taipei, Taiwan 2007. \par \par Gomes, Lu\\'?s, Anik\'f3 Costa, Jo\'e3o Paulo Barros, and Paulo Lima. "Petri nets tools framework supporting FPGA-based controller implementations." \i IECON'2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society\i0 . The Grand Hotel, Taipei, Taiwan 2007. \par \par \i IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007\i0 . SIES. IEEE, 2007.\par \par \i IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007\i0 . SIES. IEEE, 2007.\par \par Costa, Anik\'f3, and Lu\\'?s Gomes. "Module Composition within Petri Nets Model-based Development." \i SIES\i0 . 2007. 316-319.\par \par Costa, Anik\'f3, and Lu\\'?s Gomes. "Module Composition within Petri Nets Model-based Development." \i SIES\i0 . 2007. 316-319.\par \par Costa, Anik\'f3, Lu\\'?s Gomes, Helder Francisco, and Bruno Silva. "Internal event removal in Hierarchical and Concurrent State Diagrams." \i DESDes'06 - 3rd IFAC Workshop on Discrete-Event System Design\i0 . Rydzyna, Pol?nia 2006. \par \par Costa, Anik\'f3, Lu\\'?s Gomes, Helder Francisco, and Bruno Silva. "Internal event removal in Hierarchical and Concurrent State Diagrams." \i DESDes'06 - 3rd IFAC Workshop on Discrete-Event System Design\i0 . Rydzyna, Pol?nia 2006. \par \par Gomes, Lu\\'?s, and Anik\'f3 Costa. "Petri nets as supporting formalism within Embedded Systems Co-design." \i SIES'2006 - 2006 IEEE International Symposium on Industrial Embedded Systems\i0 . Nice, France 2006. \par \par Costa, Anik\'f3, and Lu\\'?s Gomes. "Partitioning of Petri net models amenable for Distributed Execution." \i ETFA\i0 . 2006. 1129-1132.\par \par Gomes, Lu\\'?s, and Anik\'f3 Costa. "Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams." \i ETFA\i0 . 2006. 1230-1237.\par \par Gomes, Lu\\'?s, and Anik\'f3 Costa. "Statechart based component partitioning in hardware/software co-design." \i Jornadas sobre Sistemas Reconfigur?veis (REC'2005)\i0 . Campus de Gambelas, Faro, Algarve, Portugal: Faculdade de Ci?ncias e Tecnologia Universidade do Algarve,  2005. \par \par Gomes, Lu\\'?s, Jo\'e3o Paulo Barros, Anik\'f3 Costa, Rui Pais, and Filipe Moutinho. "Formal methods for Embedded Systems Co-design: the FORDESIGN project." \i ReCoSoC\i0 . 2005. 143-150.\par \par Gomes, Lu\\'?s, and Anik\'f3 Costa. "Hardware-level Design Languages." \i The Industrial Information Technology Handbook\i0 . 2005. 1-18.\par \par Gomes, Lu\'eds, Jo\'e3o Paulo, and Anik\'f3 Costa. "Modeling Formalisms for Embedded Systems Design." \i Embedded Systems Handbook\i0 . Ed. Richard Zurawski(Editor-in-Chief). CRC,  2005. pp. 5-1, 5-34.\par \par Gomes, Lu\{\\'?\}s, and Anik\'f3 Costa. "Remote Laboratory Support for an Introductory Microprocessor Course." \i 2005 International Conference on Microelectronics Systems Education, \{MSE\} 2005, Anaheim, CA, USA, June 12-13, 2005\i0 . 2005. 21-22.\par \par Gomes, Lu\\'?s, Jo\'e3o Paulo Barros, and Anik\'f3 Costa. "Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations." \i Design of embedded control systems\i0 . 2005. 153-166.\par \par Gomes, Lu\{\\'?\}s, and Anik\'f3 Costa. "Teaching Formal Methods Within System-on-a-Programmable-Chip Design." \i 2005 International Conference on Microelectronics Systems Education, \{MSE\} 2005, Anaheim, CA, USA, June 12-13, 2005\i0 . 2005. 105-106.\par \par Gomes, Lu\'eds, Jo\'e3o Paulo, Anik\'f3 Costa, Rui Pais, and Filipe Moutinho. "Towards Usage of Formal Methods within Embedded Systems Co-Design." \i Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation\i0 . 2005. \par \par Gomes, Lu\{\\'?\}s, and Anik\'f3 Costa. "Embedded Systems Introductory Course supported by remote experiments." \i 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\'fabal, Portugal, August 2004\i0 . 2004. 89-98.\par \par Borza, Paul Nicolae, Gheorghe Scutaru, Lu\{\\'?\}s Gomes, Anik\'f3 Costa, and Laszlo Lazar. "Implementation of a remote and virtual laboratory in the field of home appliance systems." \i 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\'fabal, Portugal, August 2004\i0 . 2004. 60-68.\par \par Costa, Anik\'f3 \i Estadogramas em Co-Design de Sistemas Embutidos\i0 . Faculdade Ci\'eacias e Tecnologia da Universidade Nova de Lisboa, 2003.\par \par Gomes, Lu\{\\'?\}s, and Anik\'f3 Costa. "From Use Cases to System Implementation: Statechart Based Co-design." \i 1st \{ACM\} \{&\} \{IEEE\} International Conference on Formal Methods and Models for Co-Design \{(MEMOCODE\} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings\i0 . 2003. 24-33.\par \par Gomes, Lu\{\\'?\}s, and Anik\'f3 Costa. "On Lifting of Statechart Structuring Mechanisms." \i 3rd International Conference on Application of Concurrency to System Design \{(ACSD\} 2003), 18-20 June 2003, Guimaraes, Portugal\i0 . 2003. 206-215.\par \par Gomes, Lu\{\\'?\}s, Jo\'e3o -, and Anik\'f3 Costa. "Man-machine interface for real-time telecontrol based onPetri nets specification." \i 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\i0 . 2001. 1565-1570.\par \par }