Franklin Ramalho

Franklin de S. Ramalho

	2012
c14		Anderson Ledo, Franklin Ramalho, Nata Melo: MetaTT - A Metamodel Based Approach for Writing Textual Transformations. SBCARS 2012: 61-70
	2011
c13		Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245
c12		Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
c11		Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho: Guidelines for Platform Independent Modeling for Real Time Systems Using UML. SBCARS 2011: 110-119
c10		Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho: Testing Architectures for Real Time Systems. SBCARS 2011: 120-129
	2010
c9		Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior: Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS 2010: 241-250
c8		Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior: Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260
c7		Waldemar Pires, Franklin Ramalho, Anderson Ledo, Dalton Serey: Checking UML Design Patterns in Java Implementations. SBCARS 2010: 120-129
	2009
j5		Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. UCS 15(11): 2196-2224 (2009)
c6		Anne C. O. Rocha, Franklin Ramalho, Patrícia D. L. Machado: Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. SBCARS 2009: 181-194
	2008
c5		Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior: Incorporating Semantic Algebra in the MDA Framework. ICSOFT (SE/MUSE/GSDCA) 2008: 330-336
c4		Waldemar Pires, João Brunet, Franklin Ramalho: UML-based design test generation. SAC 2008: 735-740
	2007
c3		Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino: Automatic Generation of Platform Independent Built-in Contract Testers. SBCARS 2007: 47-60
	2005
c2		Xavier Blanc, Franklin Ramalho, Jacques Robin: Metamodel Reuse with MOF. MoDELS 2005: 661-675
	2004
j4		Franklin Ramalho, Jacques Robin, Ulrich Schiel: Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. Electr. Notes Theor. Comput. Sci. 95: 83-109 (2004)
j3		Franklin Ramalho, Jacques Robin: Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web. RITA 10(2): 9-28 (2004)
	2003
j2		Franklin Ramalho, Jacques Robin, Roberto Souto Maior de Barros: XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models. J. UCS 9(8): 956-969 (2003)
c1		Jacques Robin, Franklin Ramalho: Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web? SBBD 2003: 157-169
	2002
j1		Luciano Barbosa, Franklin Ramalho, Ana Carolina Salgado: Atualizando Informação Dinâmica na Web: o Caso do Conteúdo de Notícias. RITA 9(3): 59-72 (2002)

Coauthor Index

Colors in the list of coauthors

Last update Wed May 22 02:36:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page