@article {DBLP:journals/tcst/WisniewskiKACG18, title = {Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs}, journal = {{IEEE} Trans. Contr. Sys. Techn.}, volume = {26}, number = {2}, year = {2018}, note = {

n/a

}, pages = {575{\textendash}586}, abstract = {

n/a

}, doi = {10.1109/TCST.2017.2692204}, url = {https://doi.org/10.1109/TCST.2017.2692204}, author = {Remigiusz Wisniewski and Andrei Karatkevich and Marian Adamski and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/iecon/EstevesGC17, title = {Collision avoidance system for an autonomous sailboat}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, year = {2017}, note = {

n/a

}, pages = {3539{\textendash}3544}, abstract = {

n/a

}, doi = {10.1109/IECON.2017.8216599}, url = {https://doi.org/10.1109/IECON.2017.8216599}, author = {Jo{\~a}o Esteves and Gomes, Lu{\'\i}s and Anik{\'o} Costa} } @article {DBLP:journals/tii/WisniewskiBGC17, title = {Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in {FPGA} Devices}, journal = {{IEEE} Trans. Industrial Informatics}, volume = {13}, number = {4}, year = {2017}, note = {

n/a

}, pages = {1734{\textendash}1741}, abstract = {

n/a

}, doi = {10.1109/TII.2017.2702564}, url = {https://doi.org/10.1109/TII.2017.2702564}, author = {Remigiusz Wisniewski and Grzegorz Bazydlo and Gomes, Lu{\'\i}s and Anik{\'o} Costa} } @conference {DBLP:conf/isie/MarquesGC17, title = {Emulation of electronic instrumentation devices supporting sailboat{\textquoteright}s autonomous navigation}, booktitle = {26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017}, year = {2017}, note = {

n/a

}, pages = {1255{\textendash}1260}, abstract = {

n/a

}, doi = {10.1109/ISIE.2017.8001425}, url = {https://doi.org/10.1109/ISIE.2017.8001425}, author = {Hugo Marques and Gomes, Lu{\'\i}s and Anik{\'o} Costa} } @conference {DBLP:conf/indin/0001CMM17, title = {Reconfigurable devices based experimentation supporting teaching introductory digital systems}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, year = {2017}, note = {

n/a

}, pages = {539{\textendash}543}, abstract = {

n/a

}, doi = {10.1109/INDIN.2017.8104829}, url = {https://doi.org/10.1109/INDIN.2017.8104829}, author = {Gomes, Lu{\'\i}s and Anik{\'o} Costa and Filipe Moutinho and Mal{\'o}, Pedro} } @conference {DBLP:conf/isie/FernandesGC17, title = {Wind speed and direction measurement based on time of flight ultrasonic anemometer}, booktitle = {26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017}, year = {2017}, note = {

n/a

}, pages = {1417{\textendash}1422}, abstract = {

n/a

}, doi = {10.1109/ISIE.2017.8001453}, url = {https://doi.org/10.1109/ISIE.2017.8001453}, author = {David Fernandes and Gomes, Lu{\'\i}s and Anik{\'o} Costa} } @conference {DBLP:conf/ifip5-5/Campos-RebeloCG15, title = {Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling}, booktitle = {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}, year = {2015}, note = {

n/a

}, pages = {147{\textendash}156}, abstract = {

n/a

}, doi = {10.1007/978-3-319-16766-4\_16}, url = {https://doi.org/10.1007/978-3-319-16766-4\_16}, author = {Rog{\'e}rio Campos-Rebelo and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/models/PereiraMBC015, title = {Executable models for Embedded Controllers Development - {A} Cloud Based Development Framework}, booktitle = {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.}, year = {2015}, note = {

n/a

}, pages = {40{\textendash}43}, abstract = {

n/a

}, url = {http://ceur-ws.org/Vol-1554/PD\_MoDELS\_2015\_paper\_13.pdf}, author = {Fernando Pereira and Filipe Moutinho and Jo{\~a}o Paulo Barros and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/icarsc/0001SPC15, title = {Model-Based Development of an Autonomous Sailing Yacht Controller}, booktitle = {2015 {IEEE} International Conference on Autonomous Robot Systems and Competitions, {ICARSC} 2015, Vila Real, Portugal, April 8-10, 2015}, year = {2015}, note = {

n/a

}, pages = {103{\textendash}108}, abstract = {

n/a

}, doi = {10.1109/ICARSC.2015.20}, url = {https://doi.org/10.1109/ICARSC.2015.20}, author = {Gomes, Lu{\'\i}s and Miguel Santos and Thiago Pereira and Anik{\'o} Costa} } @conference {DBLP:conf/isie/GomesC14, title = {Cloud based development framework using {IOPT} Petri nets for embedded systems teaching}, booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014}, year = {2014}, note = {

n/a

}, pages = {2202{\textendash}2206}, abstract = {

n/a

}, doi = {10.1109/ISIE.2014.6864959}, url = {https://doi.org/10.1109/ISIE.2014.6864959}, author = {Gomes, Lu{\'\i}s and Anik{\'o} Costa} } @conference {DBLP:conf/isie/SilvaCHMMC014, title = {Communication support for Petri nets based distributed controllers}, booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014}, year = {2014}, note = {

n/a

}, pages = {1111{\textendash}1116}, abstract = {

n/a

}, doi = {10.1109/ISIE.2014.6864769}, url = {https://doi.org/10.1109/ISIE.2014.6864769}, author = {Edgar M. Silva and Rog{\'e}rio Campos-Rebelo and Takahiro Hirashima and Filipe Moutinho and Mal{\'o}, Pedro and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/ifip5-5/Campos-RebeloCG14, title = {Elementary Events for Modeling of Human-System Interactions with Petri Net Models}, booktitle = {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}, year = {2014}, note = {

n/a

}, pages = {219{\textendash}226}, abstract = {

n/a

}, doi = {10.1007/978-3-642-54734-8\_25}, url = {https://doi.org/10.1007/978-3-642-54734-8\_25}, author = {Rog{\'e}rio Campos-Rebelo and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/hsi/Campos-RebeloCG14, title = {Output events for human-system interaction modeling}, booktitle = {7th International Conference on Human System Interactions, {HSI} 2014, Costa da Caparica, Portugal, June 16-18, 2014}, year = {2014}, note = {

n/a

}, pages = {261{\textendash}266}, abstract = {

n/a

}, doi = {10.1109/HSI.2014.6860486}, url = {https://doi.org/10.1109/HSI.2014.6860486}, author = {Rog{\'e}rio Campos-Rebelo and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/hsi/Campos-RebeloCG13, title = {Events for human-system interaction modeling with {IOPT} Petri nets}, booktitle = {6th International Conference on Human System Interactions, {HSI} 2013, Sopot, Poland, June 6-8, 2013}, year = {2013}, note = {

n/a

}, pages = {56{\textendash}61}, abstract = {

n/a

}, doi = {10.1109/HSI.2013.6577802}, url = {https://doi.org/10.1109/HSI.2013.6577802}, author = {Rog{\'e}rio Campos-Rebelo and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/ifip5-5/Campos-RebeloCG13, title = {On Structuring Events for {IOPT} Net Models}, booktitle = {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}, year = {2013}, note = {

n/a

}, pages = {229{\textendash}238}, abstract = {

n/a

}, doi = {10.1007/978-3-642-37291-9\_25}, url = {https://doi.org/10.1007/978-3-642-37291-9\_25}, author = {Rog{\'e}rio Campos-Rebelo and Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {DBLP:conf/isie/Moutinho0CP12, title = {Asynchronous wrappers configuration within {GALS} systems specified by Petri nets}, booktitle = {21st {IEEE} International Symposium on Industrial Electronics, {ISIE} 2012, Hangzhou, China, 28-31 May, 2012}, year = {2012}, note = {n/a}, pages = {1357{\textendash}1362}, abstract = {n/a}, doi = {10.1109/ISIE.2012.6237288}, url = {https://doi.org/10.1109/ISIE.2012.6237288}, author = {Filipe Moutinho and Lu{\'{\i}}s Gomes and Anik{\'o} Costa and Jose Pimenta} } @conference {DBLP:conf/ifip5-5/Campos-RebeloCG12, title = {Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms}, booktitle = {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}, year = {2012}, note = {n/a}, pages = {151{\textendash}160}, abstract = {n/a}, doi = {10.1007/978-3-642-28255-3\_17}, url = {https://doi.org/10.1007/978-3-642-28255-3\_17}, author = {Rog{\'e}rio Campos{-}Rebelo and Anik{\'o} Costa and Lu{\'{\i}}s Gomes} } @conference {DBLP:conf/ifip5-5/MoutinhoGBBRFCM11, title = {Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System}, booktitle = {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}, year = {2011}, note = {n/a}, pages = {237{\textendash}245}, abstract = {n/a}, doi = {10.1007/978-3-642-19170-1\_26}, url = {https://doi.org/10.1007/978-3-642-19170-1\_26}, author = {Filipe Moutinho and Lu{\'{\i}}s Gomes and Paulo E. S. Barbosa and Jo{\~a}o Paulo Barros and Franklin Ramalho and Jorge Figueiredo and Anik{\'o} Costa and Andr{\'e} Monteiro} } @conference {DBLP:conf/ifip5-5/BarbosaBRGFMCA11, title = {SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design}, booktitle = {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}, year = {2011}, note = {n/a}, pages = {256{\textendash}265}, abstract = {n/a}, doi = {10.1007/978-3-642-19170-1\_28}, url = {https://doi.org/10.1007/978-3-642-19170-1\_28}, author = {Paulo E. S. Barbosa and Jo{\~a}o Paulo Barros and Franklin Ramalho and Lu{\'{\i}}s Gomes and Jorge Figueiredo and Filipe Moutinho and Anik{\'o} Costa and Andr{\'e} Aranha} } @conference {INDIN2010, title = {{A MDA-based Contribution for Integrating Web Services within Embedded System{\textquoteright}s Design}}, booktitle = {8{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2010).}, year = {2010}, note = {n/a}, month = {Jun.}, abstract = {n/a}, author = {Paulo E. S. Barbosa and Anik{\'o} Costa and Lu\'{\i}s Gomes and Franklin Ramalho and Jorge Figueiredo and Ant{\^o}nio Junior} } @proceedings {DBLP:conf/ifip5-5/2010doceis, title = {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}, journal = {DoCEIS}, volume = {314}, year = {2010}, note = {n/a}, publisher = {Springer}, abstract = {n/a}, isbn = {978-3-642-11627-8}, editor = {Camarinha-Matos, Luis M and Pedro Pereira and Ribeiro, Luis} } @conference {CostaDoCEIS10, title = {Properties Preservation in Distributed Execution of Petri Nets Models}, booktitle = {DoCEIS}, year = {2010}, note = {n/a}, pages = {241-250}, abstract = {n/a}, author = {Anik{\'o} Costa and Paulo E. S. Barbosa and Lu\'{\i}s Gomes and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior} } @conference {PauloDoCEIS2010, title = {Semantic Equations for Formal Models in the Model-Driven Architecture}, booktitle = {DoCEIS}, year = {2010}, note = {n/a}, pages = {251-260}, abstract = {n/a}, author = {Paulo E. S. Barbosa and Franklin Ramalho and Jorge Figueiredo and Anik{\'o} Costa and Lu\'{\i}s Gomes and Ant{\^o}nio Junior} } @conference {INDIN2009split, title = {{Petri net partitioning using net splitting operation}}, booktitle = {7{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2009).}, year = {2009}, note = {n/a}, month = {Jun.}, abstract = {n/a}, author = {Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {REC2009CONF, title = {Configurador de plataformas espec\'{\i}ficas em Co-design de Sistemas Embutidos}, booktitle = {REC{\textquoteright}2009 - V Jornadas sobre Sistemas Reconfigur�veis}, year = {2009}, note = {n/a}, month = {5-6 Fevereiro}, publisher = {Faculdade de Ci�ncias e Tecnologia da Universidade Nova de Lisboa}, organization = {Faculdade de Ci�ncias e Tecnologia da Universidade Nova de Lisboa}, address = {Monte de Caparica, Portugal}, abstract = {n/a}, author = {Jo{\~a}o Oliveira and Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {IECON2009MDA, title = {Modeling Complex Petri Nets Operations in the Model-Driven Architecture}, booktitle = {IECON{\textquoteright}2009 - 35th Annual Conference of the IEEE Industrial Electronics Society}, year = {2009}, note = {n/a}, month = {3-5 November}, address = {Alfandega Congress Center, Porto, Portugal}, abstract = {n/a}, author = {Paulo E. S. Barbosa and Anik{\'o} Costa and Jorge Figueiredo and Franklin Ramalho and Lu\'{\i}s Gomes and Ant{\^o}nio Junior} } @article {jucs/BarbosaRFJCG09, title = {Checking Semantics Equivalence of MDA Transformations in Concurrent Systems}, journal = {J. UCS}, volume = {15}, number = {11}, year = {2009}, note = {n/a}, pages = {2196-2224}, abstract = {n/a}, author = {Paulo E. S. Barbosa and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior and Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {GomesBarrosCostaPNSE2007, title = {{Petri Nets Tools and Embedded Systems Design}}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE{\textquoteright}07)}, year = {2007}, note = {n/a}, month = {Jun}, abstract = {n/a}, author = {Gomes, Lu{\'\i}s and Jo{\~a}o Paulo Barros and Anik{\'o} Costa} } @conference {INDIN2007split, title = {{Petri net Splitting Operation within Embedded Systems Co-design}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {INDIN2007split, title = {{Petri net Splitting Operation within Embedded Systems Co-design}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Anik{\'o} Costa and Gomes, Lu{\'\i}s} } @conference {INDIN2007iopt, title = {{The Input-Output Place-Transition Petri Net Class and Associated Tools}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa and Ricardo Nunes} } @conference {INDIN2007iopt, title = {{The Input-Output Place-Transition Petri Net Class and Associated Tools}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa and Ricardo Nunes} } @conference {INDIN2007iopt, title = {{The Input-Output Place-Transition Petri Net Class and Associated Tools}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa and Ricardo Nunes} } @conference {INDIN2007iopt, title = {{The Input-Output Place-Transition Petri Net Class and Associated Tools}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa and Ricardo Nunes} } @conference {ParticaoREC2007, title = {Parti{\,c}{\~a}o de redes de Petri integrada em metodologia de co-design de sistemas embutidos}, booktitle = {REC{\textquoteright}2007 -III Jornadas sobre Sistemas Reconfigur�veis}, year = {2007}, note = {n/a}, month = {8-9 Fevereiro}, publisher = {Instituto Superior T�cnico}, organization = {Instituto Superior T�cnico}, address = {Lisboa, Portugal}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {ParticaoREC2007, title = {Parti{\,c}{\~a}o de redes de Petri integrada em metodologia de co-design de sistemas embutidos}, booktitle = {REC{\textquoteright}2007 -III Jornadas sobre Sistemas Reconfigur�veis}, year = {2007}, note = {n/a}, month = {8-9 Fevereiro}, publisher = {Instituto Superior T�cnico}, organization = {Instituto Superior T�cnico}, address = {Lisboa, Portugal}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {IECON2007VHDL, title = {Petri nets tools framework supporting FPGA-based controller implementations}, booktitle = {IECON{\textquoteright}2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society}, year = {2007}, note = {n/a}, month = {5-8 November}, address = {The Grand Hotel, Taipei, Taiwan}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Anik{\'o} Costa and Jo{\~a}o Paulo Barros and Paulo Lima} } @conference {IECON2007VHDL, title = {Petri nets tools framework supporting FPGA-based controller implementations}, booktitle = {IECON{\textquoteright}2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society}, year = {2007}, note = {n/a}, month = {5-8 November}, address = {The Grand Hotel, Taipei, Taiwan}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Anik{\'o} Costa and Jo{\~a}o Paulo Barros and Paulo Lima} } @proceedings {DBLP:conf/sies/2007, title = {IEEE Second International Symposium on Industrial Embedded Systems - SIES{\textquoteright}2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007}, journal = {SIES}, year = {2007}, note = {n/a}, publisher = {IEEE}, abstract = {n/a} } @proceedings {DBLP:conf/sies/2007, title = {IEEE Second International Symposium on Industrial Embedded Systems - SIES{\textquoteright}2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007}, journal = {SIES}, year = {2007}, note = {n/a}, publisher = {IEEE}, abstract = {n/a} } @conference {sies/Costa07, title = {Module Composition within Petri Nets Model-based Development}, booktitle = {SIES}, year = {2007}, note = {n/a}, pages = {316-319}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {sies/Costa07, title = {Module Composition within Petri Nets Model-based Development}, booktitle = {SIES}, year = {2007}, note = {n/a}, pages = {316-319}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {DesDes2006, title = {Internal event removal in Hierarchical and Concurrent State Diagrams}, booktitle = {DESDes{\textquoteright}06 - 3rd IFAC Workshop on Discrete-Event System Design}, year = {2006}, note = {n/a}, month = {26-28 September }, address = {Rydzyna, Pol�nia}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes and Helder Francisco and Bruno Silva} } @conference {DesDes2006, title = {Internal event removal in Hierarchical and Concurrent State Diagrams}, booktitle = {DESDes{\textquoteright}06 - 3rd IFAC Workshop on Discrete-Event System Design}, year = {2006}, note = {n/a}, month = {26-28 September }, address = {Rydzyna, Pol�nia}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes and Helder Francisco and Bruno Silva} } @conference {SIES2006, title = {Petri nets as supporting formalism within Embedded Systems Co-design}, booktitle = {SIES{\textquoteright}2006 - 2006 IEEE International Symposium on Industrial Embedded Systems}, year = {2006}, note = {n/a}, month = {18-20 October 20}, address = {Nice, France}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Anik{\'o} Costa} } @conference {etfa/Costa06, title = {Partitioning of Petri net models amenable for Distributed Execution}, booktitle = {ETFA}, year = {2006}, note = {n/a}, pages = {1129-1132}, abstract = {n/a}, author = {Anik{\'o} Costa and Lu\'{\i}s Gomes} } @conference {etfa/Gomes06, title = {Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams}, booktitle = {ETFA}, year = {2006}, note = {n/a}, pages = {1230-1237}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Anik{\'o} Costa} } @conference {REC2005, title = {Statechart based component partitioning in hardware/software co-design}, booktitle = {Jornadas sobre Sistemas Reconfigur�veis (REC{\textquoteright}2005)}, year = {2005}, note = {n/a}, month = {21 de Fevereiro}, publisher = {Faculdade de Ci�ncias e Tecnologia Universidade do Algarve}, organization = {Faculdade de Ci�ncias e Tecnologia Universidade do Algarve}, address = {Campus de Gambelas, Faro, Algarve, Portugal}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Anik{\'o} Costa} } @conference {recosoc/GomesM05, title = {Formal methods for Embedded Systems Co-design: the FORDESIGN project}, booktitle = {ReCoSoC}, year = {2005}, note = {n/a}, pages = {143-150}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Jo{\~a}o Paulo Barros and Anik{\'o} Costa and Rui Pais and Filipe Moutinho} } @inbook {DBLP:books/crc/IIR2005/GomesC05, title = {Hardware-level Design Languages}, booktitle = {The Industrial Information Technology Handbook}, year = {2005}, note = {n/a}, pages = {1-18}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Anik{\'o} Costa} } @conference {GomesBarrosCosta2005, title = {Modeling Formalisms for Embedded Systems Design}, booktitle = {Embedded Systems Handbook}, year = {2005}, note = {n/a}, pages = {pp. 5-1, 5-34}, publisher = {CRC}, organization = {CRC}, chapter = {5}, abstract = {n/a}, isbn = {0849328241}, author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa}, editor = {Richard Zurawski (Editor-in-Chief)} } @conference {DBLP:conf/mse/GomesC05, title = {Remote Laboratory Support for an Introductory Microprocessor Course}, booktitle = {2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005}, year = {2005}, note = {n/a}, pages = {21{\textendash}22}, abstract = {n/a}, doi = {10.1109/MSE.2005.47}, url = {https://doi.org/10.1109/MSE.2005.47}, author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa} } @inbook {DesDesBook2005, title = {Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations}, booktitle = {Design of embedded control systems}, year = {2005}, note = {

http://www.springerlink.com/content/wg14206783263m7x/

}, pages = {153-166}, chapter = {13}, abstract = {n/a}, author = {Lu\'{\i}s Gomes and Jo{\~a}o Paulo Barros and Anik{\'o} Costa} } @conference {DBLP:conf/mse/GomesC05a, title = {Teaching Formal Methods Within System-on-a-Programmable-Chip Design}, booktitle = {2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005}, year = {2005}, note = {n/a}, pages = {105{\textendash}106}, abstract = {n/a}, doi = {10.1109/MSE.2005.53}, url = {https://doi.org/10.1109/MSE.2005.53}, author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa} } @conference {GomesBarrosCostaPaisMoutinhoETFA2005, title = {Towards Usage of Formal Methods within Embedded Systems Co-Design}, booktitle = {Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation}, year = {2005}, note = {n/a}, abstract = {n/a}, author = {Gomes, Lu{\'\i}s and {Jo{\~a}o Paulo} Barros and Anik{\'o} Costa and Rui Pais and Filipe Moutinho} } @conference {DBLP:conf/virtual-lab/GomesC04, title = {Embedded Systems Introductory Course supported by remote experiments}, booktitle = {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{\'u}bal, Portugal, August 2004}, year = {2004}, note = {n/a}, pages = {89{\textendash}98}, abstract = {n/a}, author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa} } @conference {DBLP:conf/virtual-lab/BorzaSGCL04, title = {Implementation of a remote and virtual laboratory in the field of home appliance systems}, booktitle = {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{\'u}bal, Portugal, August 2004}, year = {2004}, note = {n/a}, pages = {60{\textendash}68}, abstract = {n/a}, author = {Paul Nicolae Borza and Gheorghe Scutaru and Lu{\'{\i}}s Gomes and Anik{\'o} Costa and Laszlo Lazar} } @mastersthesis {mestradoAkc, title = {Estadogramas em Co-Design de Sistemas Embutidos}, year = {2003}, note = {

Master Thesis

}, month = {Julho}, school = {Faculdade Ci{\^e}cias e Tecnologia da Universidade Nova de Lisboa}, type = {phd}, abstract = {n/a}, author = {Anik{\'o} Costa} } @conference {DBLP:conf/memocode/GomesC03, title = {From Use Cases to System Implementation: Statechart Based Co-design}, booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings}, year = {2003}, note = {n/a}, pages = {24{\textendash}33}, abstract = {n/a}, doi = {10.1109/MEMCOD.2003.1210083}, url = {https://doi.org/10.1109/MEMCOD.2003.1210083}, author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa} } @conference {DBLP:conf/acsd/GomesC03, title = {On Lifting of Statechart Structuring Mechanisms}, booktitle = {3rd International Conference on Application of Concurrency to System Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal}, year = {2003}, note = {n/a}, pages = {206{\textendash}215}, abstract = {n/a}, doi = {10.1109/CSD.2003.1207715}, url = {https://doi.org/10.1109/CSD.2003.1207715}, author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa} } @conference {DBLP:conf/smc/GomesBC01, title = {Man-machine interface for real-time telecontrol based onPetri nets specification}, booktitle = {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}, year = {2001}, note = {n/a}, pages = {1565{\textendash}1570}, abstract = {n/a}, doi = {10.1109/ICSMC.2001.973507}, url = {https://doi.org/10.1109/ICSMC.2001.973507}, author = {Lu{\'{\i}}s Gomes and Jo{\~a}o{-}Paulo Barros and Anik{\'o} Costa} }