Publications

Export 57 results:
Sort by: Author Title Type [ Year  (Desc)]
2018
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. AbstractWebsite

n/a

2017
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. Abstract

n/a

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. AbstractWebsite

n/a

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. Abstract

n/a

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. Abstract

n/a

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. Abstract

n/a

2015
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. Abstract

n/a

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. Abstract

n/a

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. Abstract

n/a

2014
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. Abstract

n/a

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. Abstract

n/a

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. Abstract

n/a

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. Abstract

n/a

2013
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. Abstract

n/a

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. Abstract

n/a

2012
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. Abstract
n/a
-, 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. Abstract
n/a
2011
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. Abstract
n/a
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. Abstract
n/a
2010
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. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a
2009
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. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a