Publications

Export 61 results:
Sort by: Author Title Type [ Year  (Asc)]
2001
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
2003
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, 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
Costa, Anikó Estadogramas em Co-Design de Sistemas Embutidos. Faculdade Ciêcias e Tecnologia da Universidade Nova de Lisboa, 2003. Abstract
n/a
2004
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
Borza, Paul Nicolae, Gheorghe Scutaru, Lu{\'ı}s Gomes, Anikó Costa, and Laszlo Lazar. "Implementation of a remote and virtual laboratory in the field of home appliance systems." 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. 60-68. Abstract
n/a
2005
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. "Hardware-level Design Languages." The Industrial Information Technology Handbook. 2005. 1-18. 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. "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 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, 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
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. "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
2006
Costa, Anikó, and Lu\'ıs Gomes. "Partitioning of Petri net models amenable for Distributed Execution." ETFA. 2006. 1129-1132. 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, 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
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ó, 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
2007
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. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319. 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, 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