{"id":6,"date":"2007-03-03T22:18:50","date_gmt":"2007-03-04T01:18:50","guid":{"rendered":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/?page_id=6"},"modified":"2025-04-23T17:46:52","modified_gmt":"2025-04-23T20:46:52","slug":"6-publicacoes","status":"publish","type":"page","link":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/?page_id=6","title":{"rendered":"3 Publica\u00e7\u00f5es"},"content":{"rendered":"

Trabalhos publicados em revistas:<\/strong><\/p>\n

* SOUZA, Gerson C. de ; NASCIMENTO, Francisco Assis M.<\/strong> Nihongo Jouzu – Aplicativo Mobile para Reconhecimento de Caracteres Japoneses. Revista Universo Acad\u00eamico, v.14, 2021.<\/p>\n

* FONTOURA, Antonio A.; NASCIMENTO, Francisco Assis M.<\/strong>; 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.<\/p>\n

* SOUZA, Ot\u00e1vio M. ; NASCIMENTO, Francisco Assis M.<\/strong> Sistema para rastreio colaborativo utilizando beacons. Revista Universo Acad\u00eamico, v.10, p.289-314, 2017.<\/p>\n

* SILVA, Natanael P. ; NASCIMENTO, Francisco Assis M.<\/strong> Software Android de Realidade Aumentada para identifica\u00e7\u00e3o de item em uma prateleira de biblioteca. Revista Universo Acad\u00eamico, v.7, p.231-246, 2014.<\/p>\n

* FEITEN, Fernanda R. ; NASCIMENTO, Francisco Assis M.<\/strong> Software para gera\u00e7\u00e3o automatizada de casos de teste funcionais utilizando diagramas de sequ\u00eancia em UML. Revista Universo Acad\u00eamico, v.6, p.227-247, 2013.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; OLIVEIRA, Marcio Ferreira S. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* OLIVEIRA, M\u00e1rcio F. S. ; BRIAO, Eduardo W. ; NASCIMENTO, Francisco Assis M.<\/strong> ; WAGNER, F. R. Model Driven Engineering for MPSoC Design Space Exploration. JICS. Journal of Integrated Circuits and Systems, v. 3, p. 13-22, 2008.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; SANTINON, Diogo ; PARLATTO, Lucas Desenvolvimento de um Portal para Com\u00e9rcio Eletr\u00f4nico de Empresa para Empresa baseado em Software Livre. Col\u00f3quio (Taquara), v. 3, p. 7-20, 2005.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; WEBER, T. S. . Algoritmos e Procedimentos para a S\u00edntese Autom\u00e1tica de Alto N\u00edvel com VHDL. Revista Brasileira de Microeletr\u00f4nica, S\u00e3o Paulo\/SP, v. 1, n. 2, p. 21-51, 1993.<\/p>\n

Trabalhos completos publicados em anais de congressos:<\/strong><\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; HESSEL, Fabiano. DCD-FL: A Decentralized Federated Learning Framework for Intrusion Detection in IoT. In: AINA2025: 39th International Conference on Advanced Information Networking and Applications, 2025, Open University of Catalonia, Barcelona, Spain.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; 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.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; OLIVEIRA, Marcio Ferreira S. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; OLIVEIRA, M\u00e1rcio Ferreira S. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* OLIVEIRA, M\u00e1rcio Ferreira S. ; FERREIRA, Ronaldo R. ; NASCIMENTO, Francisco Assis M.<\/strong> ; RAMMIG, Franz J. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong>; RENCK, Carlos ; SORGETZ, Leandro . Imune: A Web-based Immunization Management System. In: WSL09 – Workshop sobre Software Livre, 2009, Porto Alegre, RS. 10. F\u00f3rum Internacional sobre Software Livre. Porto Alegre : CEL – Conselho Editorial Livre, 2009. v.1, p. 49-54.<\/p>\n

* SORGETZ, Leandro; NASCIMENTO, Francisco Assis M.<\/strong>. Siscore: Uma Aplica\u00e7\u00e3o Web para Balanced Scorecard. In: WSL09 – Workshop sobre Software Livre, 2009, Porto Alegre, RS. 10. F\u00f3rum Internacional sobre Software Livre. Porto Alegre : CEL – Conselho Editorial Livre, 2009. v.1, p. 87-92.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; OLIVEIRA, M\u00e1rcio F. S. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* MACHADO, Leonardo ; NASCIMENTO, Francisco Assis M.<\/strong> . 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.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; OLIVEIRA, M\u00e1rcio F. S. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* BRISOLARA, Lisane ; OLIVEIRA, M\u00e1rcio F. S. ; NASCIMENTO, Francisco Assis M. <\/strong> ; CARRO, Luigi ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* RENCK, Carlos ; SORGETZ, Leandro ; NASCIMENTO, Francisco Assis M.<\/strong> . 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.<\/p>\n

* WAGNER, Roger ; NASCIMENTO, Francisco Assis M. <\/strong>. 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.<\/p>\n

* SORGETZ, Leandro ; RENCK, Carlos ; NASCIMENTO, Francisco Assis M.<\/strong> . Aplica\u00e7\u00e3o Web de C\u00f3digo Aberto para Controle de Vacina\u00e7\u00e3o voltada para e-Gov. In: WSL07 – Workshop sobre Software Livre, 2007, Porto Alegre, RS. 8. F\u00f3rum Internacional sobre Software Livre. Porto Alegre : CEL – Conselho Editorial Livre, 2007. p. 143-148.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; OLIVEIRA, M\u00e1rcio F. S. ; WEHRMEISTER, Marco A. ; PERREIRA, Carlos E. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* OLIVEIRA, M\u00e1rcio F. S. ; BRIAO, Eduardo W. ; NASCIMENTO, F. A. M.<\/strong> ; BRISOLARA, Lisane ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; PARLATTO, L. ; SANTINON, D. . Projeto e-market: implementando com\u00e9rcio eletr\u00f4nico 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.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; 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.<\/p>\n

* HANSEN, Cordula ; NASCIMENTO, Francisco Assis M. <\/strong>; 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.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>. 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.<\/p>\n

* GARCEZ, Edelweis H. A. ; NASCIMENTO, Francisco Assis M.<\/strong> . 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.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; 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.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; 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\u00e3o Paulo\/SP. Proceedings of the WoLLIC’98, 1998. p. 81-92.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; 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.<\/p>\n

* HANSEN, Cordula ; NASCIMENTO, Francisco Assis M.<\/strong> ; 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.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; ROSENSTIEL, Wolfgang . Partial Order Based Modeling of Concurrency at the System Level. In: CONSYSE’97 – International Workshop On Conjoint Systems Engineering, 1997, Bad T\u00f6lz\/Germany. Proceedings of the CONSYSE’97. M\u00fcnchen : Siemens, 1997. p. 1-10.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; WEBER, Taisy S. . Representa\u00e7\u00f5es de Projeto para a S\u00edntese Autom\u00e1tica de Circuitos Baseada em VHDL. In: SEMISH93 – Semin\u00e1rio Integrado de Hardware e Software, 1993, Florian\u00f3polis\/SC. Anais do COngresso da Sociedade Brasileira de Computa\u00e7\u00e3o. S\u00e3o Paulo : Sociedade Brasileira de Computa\u00e7\u00e3o, 1993. p. 118-133.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; WEBER, Taisy S. . S\u00edntese autom\u00e1tica de circuitos de alta complexidade a partir de VHDL. In: COMDEX’93 – SUCESU\/USP’93, 1993, S\u00e3o Paulo. Anais do SucesUsp’93. S\u00e3o Paulo : Editora da USP, 1993. p. 377-387.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> ; 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\u00e1tica\/UFRGS, 1993. p. 73-80.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; WEBER, Taisy S. . SUSANA: um sistema para s\u00edntese autom\u00e1tica de circuitos a partir de VHDL comportamental. In: SBMicro92 – Congresso da Sociedade Brasileira de Microeletr\u00f4nica, 1992, S\u00e3o Paulo\/SP. Anais do Congresso da Sociedade Brasileira de Microeletr\u00f4nica. S\u00e3o Paulo\/SP : Sociedade Brasileira de Microeletr\u00f4nica, 1992. p. 325-340.<\/p>\n

* NASCIMENTO, Francisco Assis M. <\/strong>; WEBER, Raul Fernando . Verifica\u00e7\u00e3o Formal de Descri\u00e7\u00f5es Comportamentais em VHDL. In: SBCCI90 – Simp\u00f3sio Brasileiro de Concep\u00e7\u00e3o de Circuitos Integrados, 1990, Ouro Preto\/MG. Simp\u00f3sio Brasileiro de Concep\u00e7\u00e3o de CIrcuitos Integrados. S\u00e3o Paulo\/SP : Sociedade Brasileira de Microeletronica, 1990. p. 229-241.<\/p>\n

Cap\u00edtulos de livro:<\/strong><\/p>\n

* OLIVEIRA, M\u00e1rcio F. S. ; WEHRMEISTER, Marco A.; NASCIMENTO, Francisco Assis M. <\/strong>; PEREIRA, Carlos E. ; WAGNER, Fl\u00e1vio 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.<\/p>\n

* NASCIMENTO, Francisco Assis M.<\/strong> . Algoritmos de Escalonamento para a S\u00edntese de Alto N\u00edvel. In: Sociedade Brasileira de Computa\u00e7\u00e3o (Sul). (Org.). II Escola Regional de Micro-Eletr\u00f4nica. Canoas\/RS: Editora da ULBRA, 2000.<\/p>\n","protected":false},"excerpt":{"rendered":"

Trabalhos publicados em revistas: * SOUZA, Gerson C. de ; NASCIMENTO, Francisco Assis M. Nihongo Jouzu – Aplicativo Mobile para Reconhecimento de Caracteres Japoneses. Revista Universo Acad\u00eamico, v.14, 2021. * FONTOURA, Antonio A.; NASCIMENTO, Francisco Assis M.; NADJM-TEHRANI, Simin; FREITAS, … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":5,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-6","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages\/6","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6"}],"version-history":[{"count":18,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":220,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages\/6\/revisions\/220"}],"wp:attachment":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}