Items where Author is "Ramalho, Franklin"

Conference or Workshop Item

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Barbosa, Paulo E. S. and Costa, Anikó and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Junior, Antônio (2010) A MDA-based Contribution for Integrating Web Services within Embedded System’s Design. [Paper]. In: 8th IEEE International Conference on Industrial Informatics INDIN’2010, 13-16 July, 2010, Osaka, Japan. URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumb....

Moutinho, Filipe and Gomes, Luis and Ramalho, Franklin and Figueiredo, Jorge and Barros, João and Barbosa, Paulo and Pais, Rui and Costa, Anikó (2010) Ecore representation for extending PNML for Input-Output Place-Transition nets. [Paper]. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Phoenix, AZ, USA. URL: http://dx.doi.org/10.1109/IECON.2010.5675332. (ISI Web of Science).

Costa, A. and Barbosa, P. and Gomes, L. and Ramalho, Franklin and Figueiredo, Jorge and Junior, Antônio (2010) Properties Preservation in Distributed Execution of Petri Nets Models. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'10, 22-24 February 2010, Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-11628-5_26. (ISI Web of Science).

Barbosa, Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Gomes, Luís and Junior, Antonio (2010) Semantic Equations for Formal Models in the Model-Driven Architecture. [Paper]. In: DoCEIS’10 – Doctoral Conference on Computing, Electrical and Industrial Systems, February 22-24, 2010, Caparica, Lisbon, Portugal. (ISI Web of Science, Citations: 1).

Barbosa, Paulo E. S. and Costa, Anikó and de Figueiredo, Jorge C. A. and Ramalho, Franklin and Gomes, Luis and dos S., Antonio D. (2009) Modeling complex Petri nets operations in the Model-Driven Architecture. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414909. (ISI Web of Science).