| 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 | |
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