Publications

Export 15 results:
Sort by: Author Title Type [ Year  (Desc)]
2017
Wisniewski, Remigiusz, Grzegorz Bazydlo, Luís Gomes, and Anikó Costa. "Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in {FPGA} Devices." {IEEE} Trans. Industrial Informatics. 13 (2017): 1734-1741. AbstractWebsite

n/a

2015
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

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
2010
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
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
2009
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
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
2007
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, 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
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, 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
2004
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