Publications

Export 24 results:
Sort by: [ Author (Asc)] 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   [Show ALL]
G
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. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a
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. Abstract
n/a
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. 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, 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, 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. 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, 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, 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. 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. "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. 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

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, 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. Abstract
n/a
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. Abstract
n/a
Gomes, Lu\'ıs, and Anikó Costa. "Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams." ETFA. 2006. 1230-1237. Abstract
n/a
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. Abstract
n/a
Gomes, Lu\'ıs, and Anikó Costa. "Hardware-level Design Languages." The Industrial Information Technology Handbook. 2005. 1-18. 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. "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. Abstract
n/a