Trabalhos publicados em revistas:
* SOUZA, Gerson C. de ; NASCIMENTO, Francisco Assis M. Nihongo Jouzu – Aplicativo Mobile para Reconhecimento de Caracteres Japoneses. Revista Universo Acadêmico, v.14, 2021.
* FONTOURA, Antonio A.; NASCIMENTO, Francisco Assis M.; NADJM-TEHRANI, Simin; FREITAS, Edison P. Timing Assurance of Avionic Reconfiguration Schemes using Formal Analysis. IEEE Transactions on Aerospace and Electronic Systems, v.1, p.1-14, 2019. DOI 10.1109/TAES.2019.2915406.
* SOUZA, Otávio M. ; NASCIMENTO, Francisco Assis M. Sistema para rastreio colaborativo utilizando beacons. Revista Universo Acadêmico, v.10, p.289-314, 2017.
* SILVA, Natanael P. ; NASCIMENTO, Francisco Assis M. Software Android de Realidade Aumentada para identificação de item em uma prateleira de biblioteca. Revista Universo Acadêmico, v.7, p.231-246, 2014.
* FEITEN, Fernanda R. ; NASCIMENTO, Francisco Assis M. Software para geração automatizada de casos de teste funcionais utilizando diagramas de sequência em UML. Revista Universo Acadêmico, v.6, p.227-247, 2013.
* NASCIMENTO, Francisco Assis M. ; OLIVEIRA, Marcio Ferreira S. ; WAGNER, Flávio R. . A model-driven engineering framework for embedded systems design. ISSE – Innovations in Systems and Software Engineering. v. 8. n. 1. p. 19-33, 2012.
* OLIVEIRA, Márcio F. S. ; BRIAO, Eduardo W. ; NASCIMENTO, Francisco Assis M. ; WAGNER, F. R. Model Driven Engineering for MPSoC Design Space Exploration. JICS. Journal of Integrated Circuits and Systems, v. 3, p. 13-22, 2008.
* NASCIMENTO, Francisco Assis M. ; SANTINON, Diogo ; PARLATTO, Lucas Desenvolvimento de um Portal para Comércio Eletrônico de Empresa para Empresa baseado em Software Livre. Colóquio (Taquara), v. 3, p. 7-20, 2005.
* NASCIMENTO, Francisco Assis M. ; WEBER, T. S. . Algoritmos e Procedimentos para a Síntese Automática de Alto Nível com VHDL. Revista Brasileira de Microeletrônica, São Paulo/SP, v. 1, n. 2, p. 21-51, 1993.
Trabalhos completos publicados em anais de congressos:
* NASCIMENTO, Francisco Assis M. ; HESSEL, Fabiano. A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems. In: AINA2022: 36th International Conference on Advanced Information Networking and Applications, 2022,
University of Technology Sydney (UTS), Sydney, Australia.
* NASCIMENTO, Francisco Assis M. ; OLIVEIRA, Marcio Ferreira S. ; WAGNER, Flávio R. . Formal Verification for Embedded Systems Design Based on MDE. In: IESS2009: 3rd International Embedded Systems Symposium, 2009, Langenargen. Analysis, Architectures and Modelling of Embedded Systems. Berlin : Springer, 2009. v. 1. p. 159-170.
* NASCIMENTO, Francisco Assis M. ; OLIVEIRA, Márcio Ferreira S. ; WAGNER, Flávio R. . Using MDE for the Formal Verification of Embedded Systems Modeled by UML Sequence Diagrams. In: SBCCI2009: 22nd Symposium on Integrated Circuits and Systems Design, 2009, Natal, RN, Brazil. Chip on the Dunes. New York : ACM Press, 2009. p. 323-328.
* OLIVEIRA, Márcio Ferreira S. ; FERREIRA, Ronaldo R. ; NASCIMENTO, Francisco Assis M. ; RAMMIG, Franz J. ; WAGNER, Flávio R. . Exploiting the Model-Driven Engineering Approach to Improve Design Space Exploration of Embedded Systems. In: SBCCI2009: 22nd Symposium on Integrated Circuits and Systems Design, 2009, Natal, RN, Brazil. Chip on the Dunes. New York : ACM/IEEE, 2009. v. 1. p. 29-34.
* NASCIMENTO, Francisco Assis M.; RENCK, Carlos ; SORGETZ, Leandro . Imune: A Web-based Immunization Management System. In: WSL09 – Workshop sobre Software Livre, 2009, Porto Alegre, RS. 10. Fórum Internacional sobre Software Livre. Porto Alegre : CEL – Conselho Editorial Livre, 2009. v.1, p. 49-54.
* SORGETZ, Leandro; NASCIMENTO, Francisco Assis M.. Siscore: Uma Aplicação Web para Balanced Scorecard. In: WSL09 – Workshop sobre Software Livre, 2009, Porto Alegre, RS. 10. Fórum Internacional sobre Software Livre. Porto Alegre : CEL – Conselho Editorial Livre, 2009. v.1, p. 87-92.
* NASCIMENTO, Francisco Assis M. ; OLIVEIRA, Márcio F. S. ; WAGNER, Flávio R. MDE Approach to the Co-Synthesis of Embedded Systems Using a MOF-based Internal Design Representation. In: MOMPES’09 – 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2009, Vancouver, Canada. 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Los Alamitos : IEEE Computer Society Press, 2009.
* MACHADO, Leonardo ; NASCIMENTO, Francisco Assis M. . ADA – an autonomic agent for self-tuning in PostgreSQL databases. In: LAACS’09 – 3rd Latin American Autonomic Computing Symposium, 2008, Gramado, RS. 3rd Latin American Autonomic Computing Symposium. Porto Alegre,RS : SBC, 2008. p. 27-34.
* NASCIMENTO, Francisco Assis M. ; OLIVEIRA, Márcio F. S. ; WAGNER, Flávio R. . ModES – Embedded Systems Design Methodology and Tools based on MDE. In: MOMPES’07 – 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2007, Braga, Portugal. 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Los Alamitos : IEEE Computer Society Press, 2007. v. 1. p. 67-76.
* BRISOLARA, Lisane ; OLIVEIRA, Márcio F. S. ; NASCIMENTO, Francisco Assis M. ; CARRO, Luigi ; WAGNER, Flávio R. . Using UML as a Front-end for an Efficient Simulink-based Multithread Code Generation Targeting MPSoCs. In: UMLSoC2007 – Workshop on UML for SoC, 2007, San Diego/USA. 4th Workshop on UML for SoC. San Diego : IEEE Computer Society Press, 2007. p. 11-16.
* RENCK, Carlos ; SORGETZ, Leandro ; NASCIMENTO, Francisco Assis M. . VCS: An Open Source Web-Based Vaccination Management information System. In: International Conference on Web Information Systems and Technologies, 2007, Barcelona, Spain. 3rd International Conference on Web Information Systems and Technologies. Barcelona, Spain : INSTICC Press, 2007. p. 242-246.
* WAGNER, Roger ; NASCIMENTO, Francisco Assis M. . HEI: A High Education Institutions Oriented Content Management System. In: International Conference on Web Information Systems and Technologies, 2007, Barcelona, Spain. 3rd International Conference on Web Information Systems and Technologies. Barcelona, Spain : INSTICC Press, 2007. p. 463-469.
* SORGETZ, Leandro ; RENCK, Carlos ; NASCIMENTO, Francisco Assis M. . Aplicação Web de Código Aberto para Controle de Vacinação voltada para e-Gov. In: WSL07 – Workshop sobre Software Livre, 2007, Porto Alegre, RS. 8. Fórum Internacional sobre Software Livre. Porto Alegre : CEL – Conselho Editorial Livre, 2007. p. 143-148.
* NASCIMENTO, Francisco Assis M. ; OLIVEIRA, Márcio F. S. ; WEHRMEISTER, Marco A. ; PERREIRA, Carlos E. ; WAGNER, Flávio R. . MDA-based Approach for Embedded Software Generation from a UML/MOF Repository. In: SBCCI2006 – Symposium on Integrated Circuits and Systems Design, 2006, Ouro Preto. 19th Symposium on Integrated Circuits and Systems Design. New York : ACM Press, 2006. p. 143-148.
* OLIVEIRA, Márcio F. S. ; BRIAO, Eduardo W. ; NASCIMENTO, F. A. M. ; BRISOLARA, Lisane ; WAGNER, Flávio R. . Multi-Objective Design Space Exploration based on UML. In: UMLSoC2006 – Workshop on UML for SoC, 2006, San Francisco/USA. 3rd Workshop on UML for SoC. San Francisco : IEEE Computer Society Press, 2006. p. 11-16.
* NASCIMENTO, Francisco Assis M. ; PARLATTO, L. ; SANTINON, D. . Projeto e-market: implementando comércio eletrônico de empresa para empresa usando software livre. In: WSL04 – Workshop sobre Software Livre, 2004, Porto Alegre. V Workshop sobre Software Livre – WSL2004. Porto Alegre : CORAG, 2004. p. 51-55.
* NASCIMENTO, Francisco Assis M. ; ROSENSTIEL, Wolfgang . A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration In The Co-Synthesis of Embedded Systems. In: SBCCI2001 – Symposium on Integrated Circuits and Systems Design, 2001, Pirenopolis, Goias, Brasil. XIV Symposium on Integrated Circuits and Systems Design. New York : ACM Press, 2001. p. 115-121.
* HANSEN, Cordula ; NASCIMENTO, Francisco Assis M. ; ROSENSTIEL, W. . An Approach for Extracting RT Timing Information to Annotate Algorithmic VHDL Specification. In: Design Automation Conference – DAC’99, 1999, New Orleans/USA. Proceedings of the DAC’99. New York : IEEE, 1999. p. 321-326.
* NASCIMENTO, Francisco Assis M. . A Co-Synthesis Approach Based on Symbolic Reachability Analysis. In: SIM99 – Microelectronis Seminar, 1999, Pelotas/RS. Proceedings of the SIM’99. Pelotas/RS : UFRGS, 1999. p. 95-101.
* GARCEZ, Edelweis H. A. ; NASCIMENTO, Francisco Assis M. . A Model Checker for a Partial Order Based Model for COncurrency. In: 6. GI/ITG/GMM Workshop Methoden des Entwurfs und der Verifikation digitaler Systeme, 1998, Paderborn/Germany. Proceedings of the Workshop Methoden des Entwurfs und der Verifikation digitaler Systeme. Paderborn : Siemens, 1998. p. 90-97.
* NASCIMENTO, Francisco Assis M. ; ROSENSTIEL, Wolfgang . Co-Synthesis Using a Partial Order Based Model of Concurrency. In: WDTA’98 – International Workshop on Design, Test and Applications, 1998, Dubrovinik/Croatia. Proceedings of the WDTA’98. Zagreb/Croatia : University of Zagreb, 1998. p. 109-112.
* NASCIMENTO, Francisco Assis M. ; GARCEZ, Edelweis H. A. ; ROSENSTIEL, Wolfgang . POM Semantics for 1-Safe Petri Nets. In: International Workshop on Logic, Language, Information and Computation – WoLLIC’98, 1998, São Paulo/SP. Proceedings of the WoLLIC’98, 1998. p. 81-92.
* NASCIMENTO, Francisco Assis M. ; ROSENSTIEL, Wolfgang . A Co-Synthesis Approach Based on Symbolic Reachability Analysis. In: 10. Brazilian Symposium on Integrated Circuit Design, 1998, Rio de Janeiro/RJ. Proccedings of the SBCCI’98. New York : IEEE, 1998. p. 120-124.
* HANSEN, Cordula ; NASCIMENTO, Francisco Assis M. ; ROSENSTIEL, Wolfgang . Verifying High-Level Synthesis Results Using a Partial Order Based Model. In: HLDVT’98 – International Workshop on Hardware Languages, Design, Verification and Test, 1998, San Diego/USA. Proceedings of the HLDVT’98. New York : IEEE, 1998. p. 135-141.
* NASCIMENTO, Francisco Assis M. ; ROSENSTIEL, Wolfgang . Partial Order Based Modeling of Concurrency at the System Level. In: CONSYSE’97 – International Workshop On Conjoint Systems Engineering, 1997, Bad Tölz/Germany. Proceedings of the CONSYSE’97. München : Siemens, 1997. p. 1-10.
* NASCIMENTO, Francisco Assis M. ; WEBER, Taisy S. . Representações de Projeto para a Síntese Automática de Circuitos Baseada em VHDL. In: SEMISH93 – Seminário Integrado de Hardware e Software, 1993, Florianópolis/SC. Anais do COngresso da Sociedade Brasileira de Computação. São Paulo : Sociedade Brasileira de Computação, 1993. p. 118-133.
* NASCIMENTO, Francisco Assis M. ; WEBER, Taisy S. . Síntese automática de circuitos de alta complexidade a partir de VHDL. In: COMDEX’93 – SUCESU/USP’93, 1993, São Paulo. Anais do SucesUsp’93. São Paulo : Editora da USP, 1993. p. 377-387.
* NASCIMENTO, Francisco Assis M. ; WEBER, Taisy S. . SUSANA: A High Level Synthesis System from Behavioral VHDL. In: SIM93 – Symposium on Microelectronic, 1993, Porto Alegre/RS. Proceedings of the Symposium on Microelectronic. Porto Alegre/RS : Instituto de Informática/UFRGS, 1993. p. 73-80.
* NASCIMENTO, Francisco Assis M. ; WEBER, Taisy S. . SUSANA: um sistema para síntese automática de circuitos a partir de VHDL comportamental. In: SBMicro92 – Congresso da Sociedade Brasileira de Microeletrônica, 1992, São Paulo/SP. Anais do Congresso da Sociedade Brasileira de Microeletrônica. São Paulo/SP : Sociedade Brasileira de Microeletrônica, 1992. p. 325-340.
* NASCIMENTO, Francisco Assis M. ; WEBER, Raul Fernando . Verificação Formal de Descrições Comportamentais em VHDL. In: SBCCI90 – Simpósio Brasileiro de Concepção de Circuitos Integrados, 1990, Ouro Preto/MG. Simpósio Brasileiro de Concepção de CIrcuitos Integrados. São Paulo/SP : Sociedade Brasileira de Microeletronica, 1990. p. 229-241.
Capítulos de livro:
* OLIVEIRA, Márcio F. S. ; WEHRMEISTER, Marco A.; NASCIMENTO, Francisco Assis M. ; PEREIRA, Carlos E. ; WAGNER, Flávio R. High-level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches. In: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Books, 2009.
* NASCIMENTO, Francisco Assis M. . Algoritmos de Escalonamento para a Síntese de Alto Nível. In: Sociedade Brasileira de Computação (Sul). (Org.). II Escola Regional de Micro-Eletrônica. Canoas/RS: Editora da ULBRA, 2000.