Publications

Export 59 results:
Sort by: Author [ Title (Desc)] 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]
P
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. "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. "Partitioning of Petri net models amenable for Distributed Execution." ETFA. 2006. 1129-1132. Abstract
n/a
O
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. "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

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
M
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, 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
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
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 -, 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
I
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
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
H
Gomes, Lu\'ıs, and Anikó Costa. "Hardware-level Design Languages." The Industrial Information Technology Handbook. 2005. 1-18. Abstract
n/a
F
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, Anikó Costa, Rui Pais, and Filipe Moutinho. "Formal methods for Embedded Systems Co-design: the FORDESIGN project." ReCoSoC. 2005. 143-150. 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
E
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

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

Costa, Anikó Estadogramas em Co-Design de Sistemas Embutidos. Faculdade Ciêcias e Tecnologia da Universidade Nova de Lisboa, 2003. Abstract
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

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. Eds. Luis M. Camarinha-Matos, Pedro Pereira, and Luis Ribeiro. Vol. 314. DoCEIS, 314. Springer, 2010. Abstract
n/a
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