Publications

Export 61 results:
Sort by: Author Title Type [ Year (Asc)]
2007
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. "{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. "{Petri net Splitting Operation within Embedded Systems Co-design}." 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, 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, 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 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
2009
Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anikó Costa, and Lu\'ıs Gomes. "Checking Semantics Equivalence of MDA Transformations in Concurrent Systems." J. UCS. 15 (2009): 2196-2224. 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
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
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
2010
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
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
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
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
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
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

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