Franklin Ramalho
AuthID: R-006-AYV
1
TÃTULO: MDA-based methodology for verifying distributed execution of embedded systems models
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef2
TÃTULO: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTORES: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
AUTORES: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
3
TÃTULO: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXADO EM: Scopus CrossRef
Scopus CrossRef4
TÃTULO: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: 
WOS
WOS5
TÃTULO: Properties Preservation in Distributed Execution of Petri Nets Models
AUTORES: Aniko Costa ; Paulo Barbosa; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Antonio Junior;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
AUTORES: Aniko Costa ; Paulo Barbosa; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Antonio Junior;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
6
TÃTULO: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets Full Text
AUTORES: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLICAÇÃO: 2010, FONTE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
AUTORES: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLICAÇÃO: 2010, FONTE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
7
TÃTULO: Semantic Equations for Formal Models in the Model-Driven Architecture
AUTORES: Barbosa, P; Ramalho, F; Figueiredo, J; Costa, A ; Gomes, L ; Oliveira Jr, Antonio; ;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
AUTORES: Barbosa, P; Ramalho, F; Figueiredo, J; Costa, A ; Gomes, L ; Oliveira Jr, Antonio; ;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
8
TÃTULO: A MDA-based contribution for integrating web services within embedded system's design Full Text
AUTORES: Barbosa, PES; Costa, A ; Gomes, L ; Ramalho, F; De Figueiredo, JCA; Jr Antonio;
PUBLICAÇÃO: 2010, FONTE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
AUTORES: Barbosa, PES; Costa, A ; Gomes, L ; Ramalho, F; De Figueiredo, JCA; Jr Antonio;
PUBLICAÇÃO: 2010, FONTE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXADO EM: Scopus CrossRef
Scopus CrossRef9
TÃTULO: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
AUTORES: Paulo Barbosa; Franklin Ramalho; Jorge Figueiredo; Antonio Junior; Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 15, NÚMERO: 11
AUTORES: Paulo Barbosa; Franklin Ramalho; Jorge Figueiredo; Antonio Junior; Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 15, NÚMERO: 11
INDEXADO EM: Scopus WOS
Scopus WOS