Publications

Export 58 results:
Sort by: [ Author (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
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

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. Abstract
n/a
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. Abstract
n/a
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. 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

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. Abstract
n/a
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. Abstract
n/a
F
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

E
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

C
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. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Partitioning of Petri net models amenable for Distributed Execution." ETFA. 2006. 1129-1132. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a
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
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
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. Abstract
n/a
Costa, Anikó Estadogramas em Co-Design de Sistemas Embutidos. Faculdade Ciêcias e Tecnologia da Universidade Nova de Lisboa, 2003. Abstract
n/a
Costa, Anikó, and Lu\'ıs Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319. Abstract
n/a
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. Abstract
n/a
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

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

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

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