Francisco Assis M. do Nascimento

	2012
j1		Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner: A model-driven engineering framework for embedded systems design. ISSE 8(1): 19-33 (2012)
	2009
c11		Francisco Assis M. do Nascimento, Fernando Lehnen, Morecy V. Moré, Salomão A. Leizer: GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration. ICEGOV 2009: 127-133
c10		Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner: Formal Verification for Embedded Systems Design Based on MDE. IESS 2009: 159-170
c9		Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner: MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. MOMPES 2009: 53-60
c8		Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner: Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. SBCCI 2009
c7		Marcio F. da S. Oliveira, Ronaldo R. Ferreira, Francisco Assis M. do Nascimento, Franz J. Rammig, Flávio Rech Wagner: Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. SBCCI 2009
	2007
c6		Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner: ModES: Embedded Systems Design Methodology and Tools Based on MDE. MOMPES 2007: 67-76
c5		Marcio F. da S. Oliveira, Eduardo Wenzel Brião, Francisco Assis M. do Nascimento, Flávio Rech Wagner: Model driven engineering for MPSOC design space exploration. SBCCI 2007: 81-86
c4		Carlos Theobaldo Renck, Leandro Sorgetz, Francisco Assis M. do Nascimento: VCS: An Open Source Web-based Vaccination Management Information System. WEBIST (3) 2007: 242-246
c3		Roger Wagner, Francisco Assis M. do Nascimento: HEI - A High Education Institutions Oriented Content Management System - Making Easy the Web Content Publishing for High Education Institutions. WEBIST (2) 2007: 463-469
	2006
c2		Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner: MDA-based approach for embedded software generation from a UML/MOF repository. SBCCI 2006: 143-148
	1998
c1		Edelweis Helena Ache Garcez, Francisco Assis M. do Nascimento: A Model Checker for a Partial Order based Model of Concurrency. MBMV 1998: 95-103

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 02:12:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page