Flávio Rech Wagner

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• TASCA, LAURENCE CRESTANI ; FREITAS, E.P. ; WAGNER, F.R. . A Study on the Performance Impact of Programmable Logic Controllers Based on Enhanced Architecture and Organization. MICROPROCESSORS AND MICROSYSTEMS , v. 76, p. 103082, 2020.

• BRASIL, MIGUEL A. BAUERMANN ; BOSCH, BERNHARD ; WAGNER, FLAVIO RECH ; DE FREITAS, EDISON PIGNATON . Performance Comparison of Multi Agent Middleware Platforms for Wireless Sensor Networks. IEEE Sensors Journal , v. 18, p. 3039-3049, 2018.

• TASCA, LAURENCE CRESTANI ; FREITAS, EDISON PIGNATON DE ; WAGNER, FLÁVIO RECH . Enhanced architecture for programmable logic controllers targeting performance improvements. MICROPROCESSORS AND MICROSYSTEMS , v. 61, p. 306-315, 2018.

• SANTINI, THIAGO ; CARRO, LUIGI ; RECH WAGNER, FLAVIO ; RECH, PAOLO . Reliability Analysis of Operating Systems and Software Stack for Embedded Systems. IEEE Transactions on Nuclear Science , v. 63, p. 2225-2232, 2016.

• SANTINI, T.C. ; RECH, P. ; NAZAR, G. ; WAGNER, F.R. . Beyond Cross-Section: Spatio-Temporal Reliability Analysis. ACM Transactions on Embedded Computing Systems , v. 15, p. Article 3, 2015.

• FOSS, L. ; CAVALHEIRO, S.A.C. ; BISI, N. ; PAZZINI, V.S. ; BRISOLARA, L.B. ; WAGNER, F.R. . From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 1-38, 2013.

• PIGNATON DE FREITAS, EDISON ; HEIMFARTH, TALES ; RECH WAGNER, FLAVIO ; PEREIRA, CARLOS EDUARDO ; LARSSON, TONY . Exploring geographic context awareness for data dissemination on mobile ad hoc networks. Ad Hoc Networks , v. 11, p. 1746-1764, 2013.

• FREITAS, E.P. ; HEIMFARTH, T. ; VINEL, A. ; WAGNER, F.R. ; PEREIRA, C.E. ; LARSSON, T. . Cooperation among Wirelessly Connected Static and Mobile Sensor Nodes for Surveillance Applications. Sensors (Basel) , v. 13, p. 12903-12928, 2013.

• NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. ; WAGNER, F.R. . A Model-driven Engineering Framework for Embedded Systems Design. Innovations in Systems and Software Engineering (Print) , v. 8, p. 19-33, 2012.

• SOARES, S.N. ; WAGNER, F.R. . T&D-Bench - Innovative Combined Support for Education and Research in Computer Architecture and Embedded Systems. IEEE Transactions on Education , v. 54, p. 675-682, 2011.

• FREITAS, E.P. ; HEIMFARTH, T. ; PEREIRA, C.E. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks. Computer Journal (Print) , v. 54, p. 406-420, 2011.

• FREITAS, E.P. ; HEIMFARTH, T. ; ALLGAYER, R.S. ; WAGNER, F.R. ; PEREIRA, C.E. ; LARSSON, T. ; FERREIRA, A.M. . Coordinating Aerial Robots and Unattended Ground Sensors for Intelligent Surveillance Systems. International Journal of Computers, Communications & Control (Print) , v. 5, p. 52-70, 2010.

• HEIMFARTH, T. ; FREITAS, E.P. ; NETTO, I.F. ; CORREIA, L.A.H. ; PEREIRA, C.E. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . Enhanced Pheromone-based Mechanism to Coordinate UAVs and WSN Nodes on the Ground. INFOCOMP (UFLA. Impresso) , v. 9, p. 75-84, 2010.

• MELLO, B.A. ; WAGNER, F.R. . Seamless Integration of Heterogeneous Components in a Distributed Simulation Infrastructure. INFOCOMP (UFLA) , v. 8, p. 84-95, 2009.

• FERNANDES, J.M. ; LAMB, L.C. ; MACHADO, R. ; WAGNER, F.R. . Recent Advances in Model-based Methodologies for Pervasive and Embedded Software. Software Engineering Notes , v. 34, p. 37-39, 2009.

• MACHADO, R. ; WAGNER, F.R. ; KAZMAN, R. . Introduction to special issue: model-based development methodologies. Innovations in Systems and Software Engineering (Print) , v. 5, p. 1-3, 2009.

• OYAMADA, M.S. ; ZSCHORNACK, F. ; WAGNER, F.R. . Applying Neural Networks to Performance Estimation of Embedded Software. Journal of Systems Architecture , v. 54, p. 224-240, 2008.

• OLIVEIRA, M.F.S. ; BRIÃO, E.W. ; NASCIMENTO, F.A. ; WAGNER, F.R. . Model Driven Engineering for MPSoC Design Space Exploration. JICS. Journal of Integrated Circuits and Systems , v. 3, p. 13-22, 2008.

• WAGNER, F.R. ; CESARIO, W.O. ; JERRAYA, A.A. . Hardware / Software IP Integration Using the ROSES Design Environment. ACM Transactions on Embedded Computing Systems , v. 6, p. article 17, 2007.

• SILVA JR, E.T. ; WAGNER, F.R. ; FREITAS, E.P. ; KUNZ, L. ; PEREIRA, C.E. . Hardware Support in a Middleware for Distributed and Real-Time Embedded Applications. JICS. Journal of Integrated Circuits and Systems , v. 2, p. 38-44, 2007.

• MELLO, B.A. ; SPERB, J.K. ; SOUZA, U.R.F. ; WAGNER, F.R. . Tangram - Virtual Integration of IP Components in a Distributed Cosimulation Environment. IEEE Design & Test of Computers (Print) , Los Alamitos, v. 22, n.5, p. 462-471, 2005.

• WAGNER, F.R. ; CESARIO, W.O. ; CARRO, L. ; JERRAYA, A.A. . Strategies for the Integration of Hardware and Software IP Components in Embedded Systems-on-Chip. Integration (Amsterdam) , Amsterdam, v. 37, n.4, p. 223-252, 2004.

• RODRIGUES, V.M. ; WAGNER, F.R. . A Logic for Synchronous Transitions with Dynamic Conflict Detection. CLEI Electronic Journal , v. 3, n.2, 2000.

• NEDEL, L.P. ; FREITAS, C.M.D.S. ; WAGNER, F.R. . Simulação de Objetos Deformáveis Baseada na Análise Dinâmica. Revista de Informática Teórica e Aplicada , v. 5, p. 23-33, 1999.

• WAGNER, F.R. . The Integrated Development of Tools and Environments for Electronic Design. Journal of Integrated Design & Process Science , USA, v. 2, n.1, p. 55-64, 1998.

• FREITAS, C.M.D.S. ; WAGNER, F.R. . Ferramentas de Suporte às Tarefas de Análise Exploratória Visual. Revista de Informática Teórica e Aplicada , PORTO ALEGRE, v. 2, n.1, p. 5-36, 1995.

• WAGNER, F.R. . Design Methodology Management In Design Frameworks. REVISTA BRASILEIRA DE MICROELETRONICA, São Paulo, v. 1, n.1, p. 39-50, 1992.

• WAGNER, F.R. ; CARRO, L. (Org.) . Anais do I Workshop de Sistemas Embarcados. Porto Alegre: Sociedade Brasileira de Computação, 2010. v. 1. 187p .

• MACHADO, R. (Org.) ; FERNANDES, J.M. (Org.) ; LAMB, L.C. (Org.) ; WAGNER, F.R. (Org.) . Proceedings of the 6th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2009). 1. ed. Los Alamitos: IEEE Computer Society, 2009. v. 1.

• MACHADO, R. (Org.) ; FERNANDES, J.M. (Org.) ; WAGNER, F.R. (Org.) ; KAZMAN, R. (Org.) . Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2008). Los Alamitos: IEEE Computer Society, 2008. v. 1. 92p .

• CABRAL, M. I. C. ; NUNES, D. J. ; BIGONHA, R. S. ; COSTA, T. S. ; WAGNER, F.R. ; OLIVEIRA, J. P. M. . A Trajetória dos Cursos de Graduação da Área de Computação e Informática - 1969 a 2006. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. 134p .

• WAGNER, F.R. ; RIBAS, R.P. ; REIS, A.I. . Fundamentos de Circuitos Digitais. 1. ed. Porto Alegre: Sagra Luzzatto, 2006. v. 1. 178p .

• BARROS, E.N.S. (Org.) ; WAGNER, F.R. (Org.) ; RAMMIG, F.J. (Org.) ; CARRO, L. (Org.) . 17th Symposium on Integrated Circuits and Systems Design. New York: ACM Press, 2004. v. 1. 284p .

• WAGNER, F.R. . Ambientes de Projeto de Sistemas Eletrônicos (Livro-Texto para IX Escola de Computação). 1. ed. RECIFE: UNIVERSIDADE FEDERAL DE PERNAMBUCO, 1994. 156p .

• WAGNER, F.R. ; PORTO, I.E.S.J. ; WEBER, T.S. ; WEBER, R.F. . Métodos de Validação de Sistema Digitais (Livro-Texto para VI Escola de Computação). Campinas: UNICAMP, 1988. 199p .

• OLIVEIRA, J. P. M. ; WAGNER, F.R. ; GASPARINI, I. . A Formação em Computação. In: Cristiano Maciel; José Viterbo. (Org.). Computação & Sociedade. 1ed.Cuiabá: EdUFMT, 2020, v. 1, p. 12-37.

• WAGNER, F.R. . Introdução. Fórum de Governança da Internet - Relatórios dos Dez Primeiros Anos do IGF. 1ed.São Paulo: Comitê Gestor da Internet no Brasil, 2017, v. 1, p. 15-35.

• WAGNER, F.R. ; CANABARRO, D.R. . A Governança da Internet: Definição, Desafios e Perspectivas. In: Marcelo Pimenta; Diego Rafael Canabarro. (Org.). Governança Digital. 1ed.Porto Alegre: Editora da UFRGS, 2014, v. 1, p. 191-209.

• WAGNER, F.R. . Institucionalização e Capilarização da SBC. In: Roberto Bigonha. (Org.). Memórias da Sociedade Brasileira de Computação. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2014, v. 1, p. 97-108.

• SILVA, G.G.B. ; BARCELOS, D. ; WAGNER, F.R. . Performance and Energy Evaluation of Memory Organizations in NoC-based MPSoCs under Latency and Task Migration. In: Jürgen Becker; Marcelo Johann; Ricardo Reis. (Org.). VLSI-SoC: Technologies for Systems Integration. Heidelberg: Springer, 2011, v. 1, p. 56-80.

• HEIMFARTH, T. ; FREITAS, E.P. ; WAGNER, F.R. ; LARSSON, T. . Middleware Support for Wireless Sensor Networks: A Survey. In: H.Jin, W.Jiang. (Org.). Handbook of Research on Developments and Trends in Wireless Sensor Networks: From Principle to Practice. New York: Information Science Reference (IGI Global), 2010, v. 1, p. 235-261.

• OLIVEIRA, M.F.S. ; WEHRMEISTER, M.A. ; NASCIMENTO, F.A. ; PEREIRA, C.E. ; WAGNER, F.R. . High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches. In: Luís Gomes; João Miguel Fernandes. (Org.). Behavioral Modeling for Embedded Systems and Technologies - Applications for Design and Implementation. New York: Information Science Reference (IGI Global), 2009, v. 1, p. 114-146.

• OYAMADA, M.S. ; OLIVEIRA, M.F.S. ; WAGNER, F.R. . Performance Estimation in MPSoC Design. In: Ricardo Reis. (Org.). Advanced Topics on VLSI Design. Porto Alegre: Instituto de Informática da UFRGS, 2009, v. 1, p. 115-132.

• POPOVICI, K. ; CESARIO, W.O. ; WAGNER, F.R. ; JERRAYA, A.A. . Hardware/Software Interfaces Design for SoC. In: Richard Zurawsli. (Org.). Embedded Systems Design and Verification. Boca Raton: CRC Press - Taylor and Francis Group, 2009, v. 1, p. 1601-1624.

• WAGNER, F.R. ; CARRO, L. . Metodologias e Técnicas de Engenharia de Software para Sistemas Embarcados. In: André C. P. L. F. de Carvalho; Tomasz Kowaltowski. (Org.). Atualizações em Informática 2009. 1ed.Rio de Janeiro: Editora PUC-Rio, 2009, v. 1, p. 153-229.

• CESARIO, W.O. ; WAGNER, F.R. ; JERRAYA, A.A. . Hardware / Software Interfaces Design for SoC. In: Richard Zurawski. (Org.). The Industrial Information Technology Handbook. Boca Raton: CRC Press (Francis & Taylor Group), 2005, v. 1, p. 94-01-94-21.

• BRISOLARA, L.B. ; BECKER, L.B. ; CARRO, L. ; WAGNER, F.R. ; PEREIRA, C.E. . A Comparison between UML and Function Blocks for Heterogeneous SoC Design and ASIP Generation. In: Grant Martin; Wolfgang Mueller. (Org.). UML for SoC Design. 1ed.Dordrecht: Springer, 2005, v. 1, p. 199-222.

• CESARIO, W.O. ; WAGNER, F.R. ; JERRAYA, A.A. . Hardware/Software Interface Design for SoC. In: Richard Zurawski. (Org.). Embedded Systems Handbook. Boca Raton: CRC Press (Taylor & Francis Group), 2005, v. , p. 24-1-24-21.

• CARRO, L. ; WAGNER, F.R. . Sistemas Computacionais Embarcados. In: Juan Manuel Adan Coello; Sandra Fabbri. (Org.). XXII Jornadas de Atualização em Informática. 1ed.Campinas: UNICAMP / SBC, 2003, v. 1, p. 45-94.

• MELLO, B.A. ; WAGNER, F.R. . A Standard Co-Simulation Backbone. In: Michel Robert; Bruno Rouzeyre; Christian Piguet; Marie-Lise Flottes. (Org.). SOC Design Methodologies. : Kluwer Academic Publishers, 2002, v. 1, p. 181-192.

• OTERO, J.C. ; WAGNER, F.R. . An Object-Oriented Methodology for Modeling the Precise Behavior of Processor Architectures. In: Michel Robert; Bruno Rouzeyre; Christian Piguet; Marie-Lise Flottes. (Org.). SOC Design Methodologies. Boston: Kluwer Academic Publishers, 2002, v. 1, p. 121-132.

• MANSSOUR, I. ; FREITAS, C.M.D.S. ; CLAUDIO, D.M. ; WAGNER, F.R. . Visualizing and Exploring Meteorological Data Using a Tool-Oriented Approach. In: Rae Earnshaw; John Vince; Huw Jones. (Org.). VISUALIZATION AND MODELING. Londres: Academic Press, 1997, v. , p. 47-62.

• WAGNER, F.R. . ICANN - Novos Domínios, Antigas Disputas. Politics (Impresso), Rio de Janeiro, p. 15 - 21, 01 jul. 2009.

• SANTINI, T.C. ; BORCHERT, C. ; DIETRICH, C. ; SCHIRMEIER, H. ; HOFFMANN, M. ; SPINCZYK, O. ; LOHMANN, D. ; WAGNER, F.R. ; RECH, P. . Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. In: ARCS 2017 - 30th International Conference on Architecture of Computing Systems, 2017, Vienna. Lecture Notes in Computer Science. Berlin: Springer, 2017. v. 10172. p. 3-15.

• SANTINI, T.C. ; BORCHERT, C. ; DIETRICH, C. ; SCHIRMEIER, H. ; HOFFMANN, M. ; SPINCZYK, O. ; LOHMANN, D. ; WAGNER, F.R. ; RECH, P. . Evaluating the Radiation Reliability of Dependability-Oriented Real-Time Operating Systems. In: SELSE 2016 - 12th Workshop on Silicon Errors in Logic - System Effects, 2016, Austin. Proceedings, 2016.

• FREITAS, E.P. ; COZER, B. ; FERREIRA, C.G. ; WAGNER, F.R. ; LARSSON, T. . A Practical Study on WCET Estimation on Multicore Processors for Avionics Applications. In: Aerospace Technology Congress, 2016, Estocolmo. Proceedings, 2016. v. 1.

• SANTINI, T.C. ; RECH, P. ; CARRO, L. ; WAGNER, F.R. . Exploiting Cache Conflicts to Reduce Radiation Sensitivity of Operating Systems on Embedded Systems. In: CASES 2015 - International Conference on Compilers, Architecture and Synthesis for Embedded Systems, 2015, Amsterdam. Proceedings. New York: ACM, 2015. v. 1. p. 49-58.

• SANTINI, T.C. ; CARRO, L. ; WAGNER, F.R. ; RECH, P. . Reliability Analysis of Operating Systems for Embedded SoC. In: RADECS 2015 - 15th European Conference on Radiation and Its Effects on Components and Systems, 2015, Moscou. Proceedings. New York: IEEE, 2015. v. 1. p. 1-5.

• SILVA, G.G.B. ; WAGNER, F.R. . Managing Cache Memory Resources in Adaptive Many-core Systems. In: IESS 2015 - International Embedded Systems Symposium, 2015, Foz do Iguaçu. Proceedings, 2015. v. 1.

• SANTINI, T.C. ; RECH, P. ; NAZAR, G. ; CARRO, L. ; WAGNER, F.R. . Reducing Embedded Software Radiation-induced Failures through Cache Memories. In: ETS 2014 - 19th IEEE European Test Symposium, 2014, Paderborn. Proceedings. New York: IEEE, 2014. v. 1. p. 1-6.

• CANABARRO, D.R. ; WAGNER, F.R. . A Governança da Internet - Definição, Desafios e Perspectivas. In: 9 Encontro da Associação Brasileira de Ciência Política, 2014, Brasília. Anais. Rio de Janeiro: ABCP, 2014. v. 1. p. 1-16.

• COSTA, A. ; PAZZINI, V.S. ; FOSS, L. ; CAVALHEIRO, S.A.C. ; BRISOLARA, L.B. ; WAGNER, F.R. . Automatic Translation from UML to Simulik CAAM. In: WEIT 2013 - II Workshop-Escola em Informática Teórica, 2013, Rio Grande. Anais. Rio Grande: FURG, 2013. v. 1.

• FREITAS, E.P. ; BÖSCH, B. ; ALLGAYER, R.S. ; STEINFELD, L. ; WAGNER, F.R. ; CARRO, L. ; PEREIRA, C.E. ; LARSSON, T. . Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application. In: New2An 2011 - 11th International Conference on Next Generation Wired/Wireless Networking, 2011, St Petersburg. Lecture Notes in Computer Science - Smart Spaces and Next Generation Wired/Wireless Networking. Heidelberg: Springer, 2011. v. 6869. p. 274-286.

• SILVA, G.G.B. ; SANTINI, T.C. ; WAGNER, F.R. . Dynamic Clustering for Distinct Parallel Programming Models on NoC-based MPSoCs. In: International Workshop on Network on Chip Architectures, 2011, Porto Alegre. Proceedings of the 4th International Workshop on Network on Chip Architectures. New York: ACM, 2011. v. 1. p. 63-68.

• FREITAS, E.P. ; BÖSCH, B. ; ALLGAYER, R.S. ; STEINFELD, L. ; PEREIRA, C.E. ; LARSSON, T. ; CARRO, L. ; WAGNER, F.R. . Análise de Desempenho da Utilização do Framework AFME em uma Aplicação de Seguimento de Trajetória para Rede de Sensores sem Fio utilizando Agentes Móveis. In: Simpósio Brasileiro de Automação Inteligente, 2011, São João del Rei. Anais do X Simpósio Brasileiro de Automação Inteligente, 2011. v. X. p. 235-240.

• FREITAS, E.P. ; HEIMFARTH, T. ; NETTO, I.F. ; FERREIRA, A.M. ; PEREIRA, C.E. ; WAGNER, F.R. ; LARSSON, T. . Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors. In: International Symposium on Frontiers of Information Systems and Network Applications, 2011, Cingapura. Proceedings of FINA 2011 - The Seventh International Symposium on Frontiers of Information Systems and Network Applications - In: 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications (WAINA). New York: IEEE, 2011. v. 1. p. 127-134.

• FREITAS, E.P. ; HEIMFARTH, T. ; COSTA, L.A.G. ; FERREIRA, A.M. ; PEREIRA, C.E. ; WAGNER, F.R. ; LARSSON, T. . Analyzing Different Levels of Geographic Context Awareness in Agent Ferrying over VANETs. In: ACM Symposium on Applied Computing, 2011, Taichung, Taiwan. Proceedings of the 26th ACM Symposium on Applied Computing. New York: ACM, 2011. v. 1. p. 413-418.

• ROLIM, C. O. ; FREITAS, E.P. ; HEIMFARTH, T. ; PEREIRA, C.E. ; GEYER, C. F. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . Reviewing Dependability Issues and Suitable Solutions for Emerging Wireless Sensor Networks Applications. In: XII Workshop de Testes e Tolerância a Falhas, 2011, Campo Grande. Anais. Porto Alegre: SBC, 2011. v. 1.

• FREITAS, E.P. ; HEIMFARTH, T. ; FERREIRA, A.M. ; PEREIRA, C.E. ; WAGNER, F.R. ; LARSSON, T. . Decentralized Task Distribution among Cooperative UAVs in Surveillance Systems Applications. In: WONS 2010 - 7th International Conference on Wireless On-demand Network Systems and Services, 2010, Karnjska Gora. Proceedings. New York: IEEE, 2010. v. 1. p. 121-128.

• HEIMFARTH, T. ; FREITAS, E.P. ; PEREIRA, C.E. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-oriented Middleware. In: AINA 2010 - 24th IEEE International Conference on Advanced Information Networking and applications, 2010, Perth. Proceedings. New York: IEEE, 2010. v. 1. p. 820-826.

• FREITAS, E.P. ; ALLGAYER, R.S. ; HEIMFARTH, T. ; WAGNER, F.R. ; LARSSON, T. ; PEREIRA, C.E. ; FERREIRA, A.M. . Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support. In: Workshop on Real-Time and Embedded Systems, 2010, Gramado. Proceedings of the WTR 2010 - 12th Brazilian Workshop on Real-Time and Embedded Systems. In: Anais do SBRC 2010. Porto Alegre: Sociedade Brasileira de Computação, 2010. v. 1. p. 77-88.

• ORFANUS, D. ; JANACIK, P. ; WAGNER, F.R. . Locality-Aware Extension of Pi-calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems. In: SORT 2010 - 1st IEEE Workshop on Self-Organizing Real-Time Systems, 2010, Carmona. 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. New York: IEEE, 2010. v. 1. p. 29-38.

• DUARTE, L. M. ; FOSS, L. ; WAGNER, F.R. ; HEIMFARTH, T. . A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems. In: Seminário Integrado de Software e Hardware, 2010, Belo Horizonte. XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2010. v. 1. p. 410-424.

• FREITAS, E.P. ; HEIMFARTH, T. ; PEREIRA, C.E. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors. In: ISPA 2010 - International Symposium on Parallel and Distributed Processing with Applications, 2010, Taipei, Taiwan. Proceedings. Los Alamitos: IEEEComputer Science Press, 2010. v. 1. p. 152-161.

• FREITAS, E.P. ; HEIMFARTH, T. ; WAGNER, F.R. ; FERREIRA, A.M. ; PEREIRA, C.E. ; LARSSON, T. . Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET. In: Next Generation Teletraffic and Wired/Wireless Advanced Networking, 2010, St Petersburg. Lecture Notes in Computer Science - Smart Spaces and Next Generation Wired/Wireless Networking (New2An 2010 - 10th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking). Berlin: Springer Verlag, 2010. v. 6294. p. 365-376.

• DUARTE, L. M. ; FOSS, L. ; WAGNER, F.R. ; HEIMFARTH, T. . Model Checking the Ant Colony Optimisation. In: International Conference on Biologically Inspired Collaborative Computing, 2010, Brisbane. Distributed, Parallel and Biologically Inspired Systems (Proceedings of BICC 2010 - 3rd IFIP TC 10 International Conference on Biologically Inspired Collaborative Computing). Berlin: Springer Verlag, 2010. v. 1. p. 221-232.

• OLIVEIRA, M.F.S. ; NASCIMENTO, F.A. ; MÜLLER, W. ; WAGNER, F.R. . Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: MOMPES 2010 - 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, Antuérpia. Proceedings. New York: ACM, 2010. v. 1. p. 29-36.

• ALLGAYER, R.S. ; PEREIRA, C.E. ; STEINFELD, L. ; CARRO, L. ; WAGNER, F.R. . Aplicação de Agentes Móveis em Redes de Sensores sem Fio para Localização e Seguimento de Objetos Alvos Móveis. In: Congresso Brasileiro de Automática, 2010, Bonito. Anais do CBA 2010 - XVIII Congresso Brasileiro de Automática. Campo Grande: Gráfica da UFMS, 2010. v. 1. p. 1513-1520.

• KUNZ, L. ; SILVA, G.G.B. ; WAGNER, F.R. . Evaluation of a Hardware Transactional Memory Model in an NoC-based Embedded MPSoC. In: SBCCI 2010 - 23rd Symposium on Integrated Circuits and Systems Design, 2010, São Paulo. Proceedings. New York: ACM, 2010. v. 1. p. 85-90.

• FREITAS, E.P. ; HEIMFARTH, T. ; NETTO, I.F. ; LINO, C.E. ; PEREIRA, C.E. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . UAV Relay Network to Support WSN Connectivity. In: Ultra Modern Telecommunications, 2010, Moscou. Proceedings of ICUMT 2010 - International Congress on Ultra Modern Telecommunications and Control Systems. New York: IEEE, 2010. v. 1. p. 501-506.

• FREITAS, E.P. ; HEIMFARTH, T. ; NETTO, I.F. ; CARDOSO DE SÁ, A.G. ; PEREIRA, C.E. ; FERREIRA, A.M. ; WAGNER, F.R. ; LARSSON, T. . Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents. In: IEEE Conference on Sensors, 2010, Waikoloa. Proceedings of Sensors 2010 - The 9th Annual IEEE Conference on Sensors. New York: IEEE, 2010. v. 1. p. 813-816.

• NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. ; WAGNER, F.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. Proceedings. New York: IEEE Computer Society, 2009. v. 1. p. 53-60.

• SILVA JR, E.T. ; WAGNER, F.R. ; PEREIRA, C.E. . Energy Reduction in Distributed Real-Time Embedded Applications. In: WTR 2009 - 11th Brazilian Workshop on Real-Time and Embedded Systems, 2009, Recife. Proceedings. Porto Alegre: SBC, 2009. v. 1. p. 23-34.

• FREITAS, E.P. ; HEIMFARTH, T. ; WEHRMEISTER, M.A. ; WAGNER, F.R. ; FERREIRA, A.M. ; PEREIRA, C.E. ; LARSSON, T. . Using Link Metric to Improve Communication Mechanisms and Real-time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks. In: MoWiN 2009 - The First International Workshop on Mobile & Wireless Networks, 2009, Seul, Coreia do Sul. Lecture Notes in Computer Science - Advances in Information Security and Assurance. Berlin: Springer, 2009. v. 5576. p. 422-431.

• NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. ; WAGNER, F.R. . Formal Verification for Embedded Systems Design Based on MDE. In: IESS 2009 - 3rd IFIP TC10 International Embedded Systems Symposium, 2009, Langenargen. Analysis, Architectures and Modelling of Embedded Systems. Heidelberg: Springer, 2009. v. 1. p. 159-170.

• OLIVEIRA, M.F.S. ; FERREIRA, R.R. ; NASCIMENTO, F.A. ; WAGNER, F.R. ; RAMMIG, F.J. . 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. Proceedings. New York: ACM Press, 2009. v. 1. p. 29-34.

• NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. ; WAGNER, F.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. Proceedings. New York: ACM Press, 2009. v. 1. p. 323-328.

• SOARES, S.N. ; HALAMBI, A. ; SHRIVASTAVA, A. ; WAGNER, F.R. ; DUTT, N. . Adaptive Reduced Bit-Width Instruction Set Architecture (adapt-rISA). In: VLSI-SoC 2009 - 17th IFIP WG 10.5 International Conference on Very Large Scale Integration, 2009, Florianópolis. Proceedings. Florianópolis: IFIP, 2009. v. 1. p. 1-6.

• SILVA, G.G.B. ; BARCELOS, D. ; WAGNER, F.R. . Performance and Energy Evaluation of Memory Hierarchies in NoC-Based MPSoCs under Latency. In: VLSI-SoC 2009 - 17th IFIP WG 10.5 International Conference on Very Large Scale Integration, 2009, Florianópolis. Proceedings. Florianópolis: IFIP, 2009. v. 1. p. 1-6.

• ORFANUS, D. ; HEIMFARTH, T. ; WAGNER, F.R. . Process Algebra to Model Self-Organizing Behavior in Wireless Sensor Networks. In: IEEE SASN ?09 - The International Workshop on Scalable Ad Hoc and Sensor Networks, 2009, St Petersburg. Proceedings. New York: IEEE, 2009. v. 1. p. 1-6.

• FREITAS, E.P. ; WEHRMEISTER, M.A. ; HEIMFARTH, T. ; WAGNER, F.R. ; FERREIRA, A.M. ; PEREIRA, C.E. ; LARSSON, T. . An Agent Framework Support to Provide Sensor Network's Intelligent Setup and Adaptation. In: SBAI 2009 - IX Simpósio Brasileiro de Automação Inteligente, 2009, Brasília, DF. Anais. Brasília: Sociedade Brasileira de Automação, 2009. v. 1.

• FREITAS, E.P. ; HEIMFARTH, T. ; WAGNER, F.R. ; FERREIRA, A.M. ; PEREIRA, C.E. ; LARSSON, T. . Evaluation of Coordination Strategies for Heterogeneous Sensor Networks Aiming at Surveillance Applications. In: IEEE Sensors - The 8th IEEE Conference on Sensors, 2009, Christchurch. Proceedings. New York: IEEE, 2009. v. 1. p. 591-596.

• FREITAS, E.P. ; HEIMFARTH, T. ; WAGNER, F.R. ; FERREIRA, A.M. ; PEREIRA, C.E. ; LARSSON, T. . An Agent Framework to Support Sensor Networks - Setup and Adaptation. In: WAHOC 2009 - Workshop on Ad-Hoc Wireless Networks, 2009, Mragowo. Proceedings of International Multiconference on Computer Science and Information Technology. Varsóvia: Polish Information Processing Society, 2009. v. 1. p. 533-540.

• OLIVEIRA, M.F.S. ; REDIN, R.M. ; CARRO, L. ; LAMB, L.C. ; WAGNER, F.R. . Software Quality Metrics and their Impact on Embedded Software. In: MOMPES - 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2008, Budapest. Proceedings. Los Alamitos: IEEE Computer Society, 2008. v. 1. p. 68-77.

• BRISOLARA, L.B. ; OLIVEIRA, M.F.S. ; REDIN, R.M. ; LAMB, L.C. ; CARRO, L. ; WAGNER, F.R. . Using UML as Front-end for Heterogeneous Software Code Generation Strategies. In: DATE - Design, Automation and Test in Europe, 2008, Munique. Proceedings. New York: IEEE, 2008. v. 1. p. 504-509.

• SILVA JR, E.T. ; ANDREWS, A. ; PEREIRA, C.E. ; WAGNER, F.R. . An Infrastructure for Hardware-Software Co-Design of Embedded Real-Time Java Applications. In: ISORC'08 - 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2008, Orlando. Proceedings. New York: IEEE, 2008. v. 1. p. 273-280.

• HEIMFARTH, T. ; ORFANUS, D. ; WAGNER, F.R. . Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects. In: BICC 2008 - Biologically-Inspired Collaborative Computing, 2008, Milão. Biologically-Inspired Collaborative Computing. Boston: Springer, 2008. v. 1. p. 45-58.

• REDIN, R.M. ; OLIVEIRA, M.F.S. ; BRISOLARA, L.B. ; MATTOS, J.C.B. ; LAMB, L.C. ; WAGNER, F.R. ; CARRO, L. . On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. In: DIPES 2008 - IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems, 2008, Milão. Distributed Embedded Systems: Design, Middleware and Resources. New York: Springer, 2008. v. 1. p. 101-110.

• SILVA JR, E.T. ; BARCELOS, D. ; WAGNER, F.R. ; PEREIRA, C.E. . A Virtual Platform for Multiprocessor Real-Time Systems. In: JTRES'08 - 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2008, Santa Clara. Proceedings. New York: ACM Press, 2008. v. 1. p. 31-37.

• SILVA JR, E.T. ; PEREIRA, C.E. ; WAGNER, F.R. . Middleware for MPSoC Real-Time Embedded Applications. In: OSPERT'08 - 4th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, 2008, Praga. Technical Report TR-08. Chapel Hill: Department of Computer Science, The University of North Carolina at Chapel Hill, 2008. v. 1. p. 45-52.

• SOARES, S.N. ; WAGNER, F.R. . Proposta de uma Técnica que Trata a Densidade de Código, Conservando Energia em Sistemas Embarcados Low-end. In: WPUC'08 - Workshop on Pervasive and Ubiquitous Computing, 2008, Campo Grande. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1.

• OYAMADA, M.S. ; WAGNER, F.R. ; BONACIU, M. ; CESARIO, W.O. ; JERRAYA, A.A. . Software Performance Estimation in MPSoC Design. In: ASP-DAC'07 - Asia-South Pacific Design Automation Conference, 2007, Yokohama. Proceedings. Piscataway: IEEE, 2007. v. 1. p. 38-43.

• NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. ; WAGNER, F.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. Proceedings. Los Alamitos: IEEE Computer Society Press, 2007. v. 1. p. 67-76.

• FREITAS, E.P. ; WEHRMEISTER, M.A. ; PEREIRA, C.E. ; WAGNER, F.R. ; SILVA JR, E.T. ; CARVALHO, F. . Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Embedded Real-Time Systems. In: IESS'07 - International Embedded Systems Symposium, 2007, Irvine. Embedded Systems Design: Topics, Techniques and Trends. New York: Springer, 2007. v. 1. p. 221-230.

• WAGNER, F.R. ; CARRO, L. . Embedded Software Design Space Exploration and Automation using UML-based Tools. In: IESS'07 - International Embedded Systems Symposium, 2007, Irvine. Embedded System Design: Topics, Techniques and Trends. New York: Springer, 2007. v. 1. p. 437-440.

• WEHRMEISTER, M.A. ; FREITAS, E.P. ; PEREIRA, C.E. ; WAGNER, F.R. . An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. In: ISORC'07 - 10th IEEE Symposium on Object-Oriented Real-Time Distributed Computing, 2007, Santorini. Proceedings. Los Alamitos: IEEE Computer Society Press, 2007. v. 1. p. 428-432.

• SOARES, S.N. ; WAGNER, F.R. . From Classroom to Research: Providing Different Services for Computer Architecture Education. In: WCAE'07 ? Workshop in Computer Architecture Education, 2007, San Diego. Proceedings. New York: ACM Press, 2007. v. 1. p. 14-22.

• BRISOLARA, L.B. ; OLIVEIRA, M.F.S. ; NASCIMENTO, F.A. ; CARRO, L. ; WAGNER, F.R. . Using UML as a Front-end for an Efficient Simulink-based Multithread Code Generation Targeting MPSoCs. In: 4th Workshop on UML for SoC, 2007, San Diego. Proceedings. San Diego: s.n., 2007. v. 1. p. 11-16.

• OLIVEIRA, M.F.S. ; BRIÃO, E.W. ; NASCIMENTO, F.A. ; WAGNER, F.R. . Model Driven Engineering for MPSoC Design Space Exploration. In: SBCCI 2007 - 20th Symposium on Integrated Circuits and Systems Design, 2007, Rio de Janeiro. Proceedings. New York: ACM Press, 2007. v. 1. p. 81-86.

• CORREA, E.F. ; PAULA E SILVA, L.A. ; CARRO, L. ; WAGNER, F.R. . Fitting the Router Characteristics in NoCs to Meet QoS Requirements. In: SBCCI 2007 - 20th Symposium on Integrated Circuits and Systems Desig, 2007, Rio de Janeiro. Proceedings. New York: ACM Press, 2007. v. 1. p. 105-110.

• BARCELOS, D. ; BRIÃO, E.W. ; WAGNER, F.R. . A Hybrid Memory Organization to Enhance Task Migration and Dynamic Task Allocation in NoC-based MPSoCs. In: SBCCI 2007 - 20th Symposium on Integrated Circuits and Systems Design, 2007, Rio de Janeiro. Proceedings. New York: ACM Press, 2007. v. 1. p. 282-287.

• SPECHT, E. ; REDIN, R.M. ; CARRO, L. ; LAMB, L.C. ; COTA, E.F. ; WAGNER, F.R. . Analysis of the Use of Declarative Languages for Enhanced Embedded System Software Development. In: SBCCI 2007 - 20th Symposium on Integrated Circuits and Systems Design, 2007, Rio de Janeiro. Proceedings. New York: ACM Press, 2007. v. 1. p. 324-329.

• ZATT, B. ; FERREIRA, V. ; AGOSTINI, L. ; WAGNER, F.R. ; SUSIN, A.A. ; BAMPI, S. . Motion Compensation Hardware Accelerator Architecture for H.264/AVC. In: PSIVT'07 - 2nd Pacific-Rim Symposium on Image and Video Technology, 2007, Santiago de Chile. Lecture Notes in Computer Science - Advances in Image and Video Technology. Berlin: Springer, 2007. v. 4872. p. 24-35.

• SILVA JR, E.T. ; WEHRMEISTER, M.A. ; WAGNER, F.R. ; PEREIRA, C.E. . An Approach to Improve Predictability in Communication Services in Distributed Real-Time Embedded Systems. In: JTRES'07 - 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2007, Viena. Proceedings. New York: ACM Press, 2007. v. 1. p. 121-126.

• FREITAS, E.P. ; WEHRMEISTER, M.A. ; SILVA JR, E.T. ; CARVALHO, F. ; PEREIRA, C.E. ; WAGNER, F.R. . DERAF - A High-level Aspects Framework for Distributed Embedded Real-Time Systems Design. In: EA-AOSD'07 - 10th International Workshop on Early Aspects, 2007, Vancouver. Early Aspects: Current Challenges and Future Directions - Lecture Notes in Computer Science. Berlin: Springer, 2007. v. 4765. p. 55-74.

• ALVES, M.A.Z. ; FREITAS, H.C. ; WAGNER, F.R. ; NAVAUX, P.O.A. . Influência do Compartilhamento de Cache L2 em um Chip Multiprocessado sob Cargas de Trabalho com Conjuntos de Dados Contíguos e Não-Contíguos. In: WSCAD'07 - VII Workshop em Sistemas Computacionais de Alto Desempenho, 2007, Gramado. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 27-34.

• SILVA, J.F. ; WAGNER, F.R. ; SOARES, S.N. . Explorando o Espaço de Projeto com o Objetivo de Redução do Consumo de Energia usando Reduced Bit-Width Instruction Set Architecture. In: WSCAD'07 - VII Workshop em Sistemas Computacionais de Alto Desempenho, 2007, Gramado. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 3-10.

• SILVA JR, E.T. ; FREITAS, E.P. ; WAGNER, F.R. ; CARVALHO, F. ; PEREIRA, C.E. . Java Framework for Distributed Real-Time Embedded Systems. In: 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2006, Gyeongju. Proceedings. Los Alamitos: IEEE Computer Society Press, 2006. v. 1. p. 85-92.

• OLIVEIRA, M.F.S. ; BRISOLARA, L.B. ; CARRO, L. ; WAGNER, F.R. . Early Embedded Software Design Space Exploration Using UML-Based Estimation. In: 17th IEEE International Workshop on Rapid System Prototyping, 2006, Chania. Proceedings. Los Alamitos: IEEE Computer Society Press, 2006. v. 1. p. 24-32.

• OLIVEIRA, M.F.S. ; BRIÃO, E.W. ; NASCIMENTO, F.A. ; BRISOLARA, L.B. ; CARRO, L. ; WAGNER, F.R. . Multi-Objective Design Space Exploration based on UML. In: Workshop on UML for SoC, 2006, San Francisco. Proceedings. San Francisco: s.n., 2006. v. 1. p. 11-16.

• OTERO, J.C. ; WAGNER, F.R. ; CARRO, L. . Reconfiguration of Embedded Java Applications. In: RAW - 13th Reconfigurable Architectures Workshop, 2006, Rhodes. Proceedings of the IEEE International Parallel and Distributed Processing Symposium. Los Alamitos: IEEE Computer Society Press, 2006. v. 1.

• NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. ; WEHRMEISTER, M.A. ; PEREIRA, C.E. ; WAGNER, F.R. . MDA-Based Approach for Embedded Software Generation from a UML/MOF Repository. In: SBCCI'2006 - 19th Symposium on Integrated Circuits and Systems Design, 2006, Ouro Preto. Proceedings. New York: ACM Press, 2006. v. 1. p. 143-148.

• SILVA JR, E.T. ; WAGNER, F.R. ; FREITAS, E.P. ; PEREIRA, C.E. . Hardware Support in a Middleware for Distributed and Real-Time Embedded Applications. In: SBCCI'2006 - 19th Symposium on Integrated Circuits and Systems Design, 2006, Ouro Preto. Proceedings. New York: ACM Press, 2006. v. 1. p. 149-154.

• WRONSKI, F. ; BRIÃO, E.W. ; WAGNER, F.R. . Evaluating Energy-Aware Task Allocation Strategies for MPSoCs. In: DIPES'2006 - IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, 2006, Braga. From Model-Driven Design to Resource Management for Distributed Embedded Systems. New York: Springer, 2006. v. 1. p. 215-224.

• FREITAS, H.C. ; WAGNER, F.R. ; MARTINS, C.A.P.S. ; NAVAUX, P.O.A. . Projeto de um Processador de Rede Intra-Chip para Controle de Comunicação entre Múltiplos Cores. In: WSCAD'07 - VII Workshop em Sistemas Computacionais de Alto Desempenho, 2006, Ouro Preto. Anais. Porto Alegre: SBC / UFMG, 2006. v. 1.

• SOARES, S.N. ; WAGNER, F.R. . Design Space Exploration of Embedded Processors in Computer Architecture Education using T&D-Bench. In: FIE'2006 ? 36th ASEE / IEEE ES / IEEE CS Frontiers in Education Conference, 2006, San Diego. Proceedings. Los Alamitos: IEEE Computer Society, 2006. v. 1. p. 100-109.

• SILVA JR, E.T. ; WEHRMEISTER, M.A. ; PEREIRA, C.E. ; WAGNER, F.R. ; BECKER, L.B. . Design Exploration in Hw/Sw Co-Design of Real-Time Object-Oriented Embedded Systems: the Scheduler Object. In: WORDS - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005, Sedona. Proceedings. Los Alamitos: IEEE Computer Society Press, 2005. v. 1. p. 378-385.

• MARCON, C.M. ; SOARES, A.B. ; SUSIN, A.A. ; CARRO, L. ; WAGNER, F.R. . Time and Energy Efficient Mapping of Embedded Applications onto NoCs. In: ASP-DAC - Asia-South Pacific Design Automation Conference, 2005, Shanghai. Proceedings. Piscataway: IEEE, 2005. v. 1. p. 33-38.

• MORAES, M. ; COTA, E.F. ; WAGNER, F.R. ; CARRO, L. ; LUBASZEWSKI, M.S. . An Application-Oriented Method for the Selection of Self-Test Routines in Real-Time Embedded Systems. In: LATW05 - 6th Latin-American Test Workshop, 2005, Salvador. Digest of Papers, 2005. v. 1. p. 343-348.

• OTERO, J.C. ; WAGNER, F.R. ; CARRO, L. . JavArray - Um Array Reconfigurável para Redução de Consumo de Energia em Arquiteturas Java. In: XI IBERCHIP Workshop, 2005, Salvador. Digest of Papers, 2005. v. 1. p. 118-121.

• KREUTZ, M.E. ; MARCON, C.M. ; CARRO, L. ; WAGNER, F.R. ; SUSIN, A.A. . Design Space Exploration for Heterogeneous Networks-on-Chip. In: SBCCI05 - 18th Symposium on Integrated Circuits and Systems Design, 2005, Florianópolis. Proceedings. New York: ACM Press, 2005. v. 1. p. 190-195.

• MORAES, M. ; COTA, E.F. ; CARRO, L. ; WAGNER, F.R. ; LUBASZEWSKI, M.S. . A Constraint-Based Solution for On-Line Testing of Processors Embedded in Real-Time Applications. In: SBCCI05 - 18th Symposium on Integrated Circuits and Systems Design, 2005, Florianópolis. Proceedings. New York: ACM Press, 2005. v. 1. p. 68-73.

• OLIVEIRA, M.F.S. ; BRISOLARA, L.B. ; CARRO, L. ; WAGNER, F.R. . An Embedded Software Design Exploration Approach based on UML Estimation Tools. In: IESS - IFIP TC10 Working Conference: International Embedded Systems Symposium, 2005, Manaus. From Specification to Embedded Systems Application. New York: Springer, 2005. v. 1. p. 45-54.

• WEHRMEISTER, M.A. ; BECKER, L.B. ; WAGNER, F.R. ; PEREIRA, C.E. . An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems. In: ISORC05 - 8th IEEE Symposium on Object-Oriented Real-Time Distributed Computing, 2005, Seattle. Proceedings. Los Alamitos: IEEE Computer Society Press, 2005. v. 1. p. 125-128.

• SILVA JR, E.T. ; CARRO, L. ; WAGNER, F.R. ; PEREIRA, C.E. . Development of Multithread Real-Time Applications using a Hardware Scheduler. In: IFIP WG 10.5 Conference on Very Large Scale Integration System-on-Chip, 2005, Perth. Proceedings. Perth: Edith Cowan University, 2005. v. 1. p. 311-316.

• SILVA JR, E.T. ; WEHRMEISTER, M.A. ; CARVALHO, F. ; BECKER, L.B. ; PEREIRA, C.E. ; WAGNER, F.R. ; CARRO, L. . Exploração do Espaço de Projeto em Hw/Sw Co-design de Sistemas de Tempo Real Embarcados Orientados a Objetos: o Objeto Escalonador. In: VII Workshop de Tempo Real, 2005, Fortaleza. Anais. Fortaleza: Universidade Federal do Ceará, 2005. v. 1. p. 9-16.

• OLIVEIRA, M.F.S. ; BRISOLARA, L.B. ; WAGNER, F.R. ; CARRO, L. . Embedded SW Design Exploration Using UML-based Estimation Tools. In: Workshop on UML for SoC, 2005, Anaheim. Proceedings. Anaheim: s.n., 2005. v. 1. p. 62-68.

• OYAMADA, M.S. ; ZSCHORNACK, F. ; WAGNER, F.R. . Accurate Software Performance Estimation Using Domain Classification and Neural Networks. In: 17th Symposium on Integrated Circuits and Systems Design, 2004, Porto de Galinhas. Proceedings. New York: ACM Press, 2004. v. 1. p. 175-180.

• BECKER, L.B. ; WEHRMEISTER, M.A. ; CARRO, L. ; WAGNER, F.R. ; PEREIRA, C.E. . Assessing the Impact of Traditional Real-Time Scheduling Algorithms on Top of Embedded Applications. In: 28th IFAC/IFIP Workshop on Real-Time Programming, 2004, Istanbul. Digest of Papers, 2004. v. 1. p. 100-110.

• CORREA, E.F. ; BASSO, E. ; WILKE, G. ; WAGNER, F.R. ; CARRO, L. . The Implications of Real-Time Behavior in Networks-on-Chip Architectures. In: DIPES - IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004, Toulouse. Design Methods and Applications for Distributed Embedded Systems. Boston: Kluwer Academic Publishers, 2004. v. 1. p. 307-316.

• BRISOLARA, L.B. ; BECKER, L.B. ; CARRO, L. ; WAGNER, F.R. ; PEREIRA, C.E. . Evaluating High-Level Models for Real-Time Embedded Systems Design. In: DIPES - IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004, Toulouse. Design Methods and Applications for Distributed Embedded Systems. Boston: Kluwer Academic Publishers, 2004. v. 1. p. 277-286.

• MATTOS, J.C.B. ; BRISOLARA, L.B. ; HENTSCHKE, R. ; CARRO, L. ; WAGNER, F.R. . Design Space Exploration with Automatic Generation of IP-Based Embedded Software. In: DIPES - IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004, Toulouse. Design Methods and Applications for Distributed Embedded Systems. Boston: Kluwer Academic Publishers, 2004. v. 1. p. 237-246.

• DZIRI, M.A. ; CESARIO, W.O. ; WAGNER, F.R. ; JERRAYA, A.A. . Unified Component Integration Flow for Multi-Processor SoC Design and Validation. In: DATE - Design, Automation and Test in Europe, 2004, Paris. Proceedings. Los Alamitos: IEEE Computer Society Press, 2004. v. 2. p. 1132-1137.

• PANATO, A. ; SILVA, S. ; WAGNER, F.R. ; JOHANN, M. ; REIS, R.A.L. ; BAMPI, S. . Design of Very Deep Pipelined Multipliers for FPGAs. In: DATE - Design, Automation and Test in Europe - Designers Forum, 2004, Paris. Proceedings. Los Alamitos: IEEE Computer Society Press, 2004. v. 1. p. 52-57.

• MATTOS, J.C.B. ; BECK FILHO, A.C. ; CARRO, L. ; WAGNER, F.R. . Design Space Exploration with Automatic Selection of SW and HW for Embedded Applications. In: SAMOS IV - 4th International Workshop on Systems, Architectures, Modeling, and Simulation, 2004, Samos. LNCS 3133 - Computer Systems: Architectures, Modeling, and Simulation. Berlin: Springer-Verlag, 2004. v. 3133. p. 303-312.

• SOARES, A.B. ; BOSCHETTI, M. ; CARRO, L. ; WAGNER, F.R. ; SUSIN, A.A. ; BAMPI, S. . Power Consumption Analysis in Architectures for the Wavelet Transform Processing. In: X Workshop IBERCHIP, 2004, Cartagena de Indias. Resumos, 2004. v. 1. p. 78-79.

• CORREA, E.F. ; ZEFERINO, C.A. ; CARDOZO, R. ; SUSIN, A.A. ; WAGNER, F.R. ; CARRO, L. . A Heterogeneous Router for Networks-on-Chip. In: X Workshop IBERCHIP, 2004, Cartagena de Indias. Resumos, 2004. v. 1. p. 92-93.

• OYAMADA, M.S. ; GERVINI, A.I. ; CORREA, E.F. ; WAGNER, F.R. ; CARRO, L. . Análise de Desempenho e Consumo de Potência na Comunicação Interprocessos em Software Embarcado. In: X Workshop IBERCHIP, 2004, Cartagena de Indias. Resumos, 2004. v. 1. p. 108-109.

• SILVA, S. ; PANATO, A. ; WAGNER, F.R. ; REIS, R.A.L. ; BAMPI, S. . Implementação em FPGA de um Multiplicador de Ponto Flutuante com Pipeline Profundo. In: X Workshop IBERCHIP, 2004, Cartagena de Indias. Resumos, 2004. v. 1. p. 73-74.

• SOARES, S.N. ; WAGNER, F.R. . Design Space Exploration Using T&D-Bench. In: SBAC-PAD2004 - 16th Symposium on Computer Architecture and High Performance Computing, 2004, Foz do Iguaçu. Proceedings. Los Alamitos: IEEE Computer Society Press, 2004. v. 1. p. 40-47.

• IOCHPE, C. ; WAGNER, F.R. ; BASTOS, A.D. ; HESS, G.N. ; ALMEIDA, M. . Urban Planning by Simulation of Population Growth. In: GEOINFO - VI Simpósio Brasileiro de Geoinformática, 2004, Campos do Jordão. Anais, 2004. v. 1. p. 221-233.

• CORREA, E.F. ; CARDOZO, R. ; COTA, E.F. ; BECK FILHO, A.C. ; WAGNER, F.R. ; CARRO, L. ; SUSIN, A.A. ; LUBASZEWSKI, M.S. . Testing the Wrappers of a Network-on-Chip: a Case Study. In: LATW03 - 4th Latin American Test Workshop, 2003, Natal/RN. Digest of Papers, 2003. v. 1. p. 159-163.

• DZIRI, M.A. ; SAMET, F. ; CESARIO, W.O. ; WAGNER, F.R. ; JERRAYA, A.A. . Combining Architecture Exploration and a Path to Implementation to Build a Complete SoC Design Flow from System Specification to RTL. In: ASP-DAC`03 - Asia-South Pacific Design Automation Conference, 2003, Kitakyushu. Proceedings. Piscataway: IEEE, 2003. v. 1. p. 219-224.

• CORREA, E.F. ; GERVINI, A.I. ; WAGNER, F.R. ; CARRO, L. ; NETTO, J.C. ; PEREIRA, C.E. . Modelagem e Geração de Sistema Operacional de Tempo Real para Sistemas Embarcados. In: Workshop de Tempo Real, 2003, Natal. Anais. Natal: UFRN / SBC, 2003. v. 1. p. 3-10.

• BERTOTTO, C. A. ; WAGNER, F.R. ; PEREIRA, C.E. . Proposta de uma Biblioteca de Classes Aplicada à Modelagem e Simulação de Sistemas de Manufaturas. In: III Seminário Internacional de Controle e Automação, 2003, Salvador. Anais, 2003.

• BERTOTTO, C. A. ; WAGNER, F.R. ; PEREIRA, C.E. . A Class Library for Manufacturing Systems. In: EUROSIS Industrial Simulation Conference, 2003, Valencia. Proceedings. Ghent: EUROSIS, 2003. v. 1. p. 312-316.

• HEIMFARTH, T. ; GOETZ, M. ; WAGNER, F.R. ; RAMMIG, F.J. . RTC. A Real-Time Communication Middleware on Top of RTAI-Linux. In: ISORC03 - 6th IEEE Symposium on Object-Oriented Real-Time Distributed Computing, 2003, Hakodate. Proceedings. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 19-25.

• COTA, E.F. ; CARRO, L. ; WAGNER, F.R. ; LUBASZEWSKI, M.S. . Power-Aware NoC Reuse on the Testing of Core-Based Systems. In: International Test Conference, 2003, Charlotte. Proceedings. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 612-621.

• COTA, E.F. ; CARRO, L. ; WAGNER, F.R. ; LUBASZEWSKI, M.S. . BISTed Cores and Test Time Minimization in NoC-Based Systems. In: TRP03 - IEEE 4th International Test Resource Partitioning Workshop, 2003, Napa. Digest of Papers. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 14-19.

• SOARES, S.N. ; WAGNER, F.R. . T&D-Bench+ - A Software Environment for Modeling and Simulation of State-of.the-art Processors. In: DSD03 - Euromicro Symposium on Digital Systems Design, 2003, Antalya. Proceedings. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 362-369.

• GERVINI, A.I. ; CORREA, E.F. ; CARRO, L. ; WAGNER, F.R. . Avaliação de Desempenho, Área e Potência de Mecanismos de Comunicação em Sistemas Embarcados. In: XXX Seminário Integrado de Software e Hardware, 2003, Campinas. Anais do XXIII Congresso da Sociedade Brasileira de Computação. Campinas: SBC / UNICAMP, 2003. v. 1. p. 211-223.

• BECK FILHO, A.C. ; WAGNER, F.R. ; CARRO, L. . CACO-PS: A General Purpose Cycle-Accurate Configurable Power Simulator. In: SBCCI2003 - 16th Symposium on Integrated Circuits and Systems Design, 2003, São Paulo. Proceedings. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 349-354.

• SOUZA, U.R.F. ; SPERB, J.K. ; MELLO, B.A. ; WAGNER, F.R. . Tangram - Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment. In: SBCCI2003 - 16th Symposium on Integrated Circuits and Systems Design, 2003, São Paulo. Proceedings. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 125-130.

• ROSA JR., L. ; WAGNER, F.R. ; CARRO, L. ; CARISSIMI, A. ; REIS, A.I. . Scheduling Policy Costs on a Java Microcontroller. In: JTRES ? Workshop on Java Technologies for Real-Time and Embedded Systems, 2003, Catania. LNCS 2889 - On the Move to Meaningful Internet Systems. Berlin: Springer-Verlag, 2003. v. 2889. p. 520-533.

• OTERO, J.C. ; WAGNER, F.R. ; BECKER, D. . T&D-Bench: an Environment for Modeling and Simulation Complex Processor Architectures. In: SBAC-PAD2002 - 14th Symposium on Computer Architecture and High performance Computing, 2002, Vitoria. Anais. Los Alamitos: IEEE Computer Society Press, 2002. v. 1. p. 176-183.

• SOARES, S.N. ; WAGNER, F.R. . T&D Bench2: Um Ambiente de Modelagem de Processadores. In: III Workshop em Sistemas Computacionais de Alto Desempenho, 2002, Vitória. Anais. Vitória: UFES / SBC, 2002. v. 1. p. 24-31.

• WILDT, D.F. ; WAGNER, F.R. . Adapting Simulation Environments to HLA: A Case Study. In: ESM'2001 - 15th European Simulation Multiconference, 2001, Praga. Proceedings. Ghent: Society for Computer Simulation, 2001. v. 1. p. 601-605.

• OTERO, J.C. ; WAGNER, F.R. . An Object-Oriented Methodology for Modeling the Precise Behavior of Processor Architectures. In: 11th IFIP Conference on VLSI-SoC, 2001, Montpellier. Proceedings, 2001. p. 370-375.

• MELLO, B.A. ; WAGNER, F.R. . A Standardized Co-Simulation Backbone. In: 11th IFIP Conference on VLSI-SoC, 2001, Montpellier. Proceedings, 2001. v. 1. p. 11-16.

• CARRO, L. ; KREUTZ, M.E. ; WAGNER, F.R. ; OYAMADA, M.S. . System Synthesis for Multiprocessor Embedded Applications. In: DATE'2000 - Design Automation and Test in Europe, 2000, Paris. Proceedings. Los Alamitos, USA: IEEE Computer Society Press, 2000. v. 1. p. 697-702.

• OYAMADA, M.S. ; WAGNER, F.R. . Co-simulation of embedded electronic systems. In: ESS'2000 - 12nd European Simulation Symposium, 2000, Hamburgo. Proceedings. Bruxelas: Society for Computer Simulation, 2000. v. 1.

• RODRIGUES, G.R. ; BECKER, D. ; WAGNER, F.R. . CSDSim: A Didactic Processor Simulation Environment Based on the Client / Server Architecture. In: SBAC-PAD'2000 - 12th Symposium on Computer Architecture and High Performance Computing, 2000, São Pedro, SP. Proceedings. São Carlos, SP: SBC / UFSCar / USP, 2000. v. 1. p. 287-294.

• CARRO, L. ; KREUTZ, M.E. ; WAGNER, F.R. ; OYAMADA, M.S. . A Design Methodology for Embedded Systems Based on Multiple Processors. In: DIPES'2000 - IFIP Workshop on Distributed and Parallel Embedded Systems, 2000, Schloss Eringerfeld. Architecture and Design of Distributed Embedded Systems. Boston: Kluwer Academic Publishers, 2000. v. 1. p. 33-42.

• SOARES, S.N. ; WAGNER, F.R. . Uma Análise de Ferramentas de Software para o Ensino de Organização e Arquitetura de Computadores. In: International Conference on Engineering and Computer Education, 2000, São Paulo. Proceedings. São Paulo: SENAC-SP e IEEE Education Society, 2000.

• WAGNER, F.R. ; OYAMADA, M.S. ; CARRO, L. ; KREUTZ, M.E. . Object-Oriented Modeling and Co-simulation of Embedded Electronic Systems. In: IFIP WG 10.5 VLSI Conference, 1999, Lisboa. Proceedings, 1999. p. 497-508.

• VACCARO, G.R. ; WAGNER, F.R. . On the Requirements of Simulation Output Analysis Software. In: ESS'99 - 11th European Simulation Symposium, 1999, Erlangen, Alemanha. Proceedings. Bruxelas: Society for Computer Simulation, 1999. p. 151-158.

• CARRO, L. ; KREUTZ, M.E. ; WAGNER, F.R. ; OYAMADA, M.S. . System Synthesis and Processor Selection in the S3E2S Environment. In: SBCCI'99 - XII Symposium on Integrated Circuits and Systems Design, 1999, Natal, RN. Proceedings. Los Alamitos: IEEE Computer Society Press, 1999. p. 146-149.

• RODRIGUES, V.M. ; WAGNER, F.R. . A Logic for Synchronous Transitions. In: III Simpósio Brasileiro de Linguagens de Programacao, 1999, Porto Alegre, RS. ANAIS. Porto Alegre: SBC/UFRGS, 1999. p. 1-15.

• RODRIGUES, V.M. ; WAGNER, F.R. . A Logic for Synchronous Transitions with Dynamic Conflicts. In: XXV Conferencia Latinoamericana de Informatica, 1999, Asuncion. Memorias. Asuncion: Universidad Nacional Autonoma do Paraguay, 1999. v. 1. p. 379-391.

• RODRIGUES, V.M. ; WAGNER, F.R. . A Logic to Specify and Verify Synchronous Transitions. In: 3rd Irish Workshop on Formal Methods, 1999, Galway, Irlanda. Proceedings. Galway, Irlanda: IFMSIG, 1999.

• OYAMADA, M.S. ; WAGNER, F.R. . Ambiente para Co-Simulação SIMOO - VSS Synopsys. In: V Workshop IBERCHIP, 1999, Lima. Digest of Papers. Lima, 1999. p. 182-187.

• RODRIGUES, V.M. ; WAGNER, F.R. . Synchronous Transitions and their Temporal Logic. In: I Workshop de Métodos Formais, 1998, Porto Alegre. Anais. Porto Alegre: UFRGS, 1998. p. 84-89.

• RODRIGUES, V.M. ; WAGNER, F.R. . A Temporal Logic for Dataflow VHDL. In: XI Simpósio Brasileiro de Concepção de Circuitos Integrados, 1998, Buzios. Proceedings. Los Alamitos: IEEE Computer Society Press, 1998. p. 91-94.

• WEBER, T.S. ; PORTO, I.E.S.J. ; WAGNER, F.R. ; MENEZES, P.B. . Uma Experiência Com Hiperdocumentos e Internet No Suporte A Disciplinas de Computação. In: VI Workshop de Educação em Informática, 1998, Belo Horizonte. Anais do Congresso da Sociedade Brasileira de Computação. Belo Horizonte: SBC/UFMG, 1998. v. 1. p. 532-545.

• COPSTEIN, B. ; WAGNER, F.R. ; PEREIRA, C.E. . SIMOO - An Environment for the Object-Oriented Discrete Simulation. In: ESS'97 - 9th European Simulation Symposium, 1997, Passau, Alemanha. Proceedings. Bruxelas: Society for Computer Simulation, 1997. p. 21-25.

• GOLENDZINER, L.G. ; SANTOS, C.S. ; WAGNER, F.R. . Modeling an Engineering Design Application Using Extended Object-Oriented Concepts. In: 5TH INTERNATIONAL CONFERENCE ON DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, 1997, Melbourne. Proceedings. Londres: World Scientific, 1997.

• RODRIGUES, V.M. ; WAGNER, F.R. . A Synchronous Transition System and its Application to the Formal Verification of VHDL Designs. In: X SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS, 1997, Gramado. Anais. Porto Alegre: SBC / UFRGS, 1997.

• WAGNER, F.R. . The Integrated Development of Tools and Environments for Electronic Design. In: 2ND WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY, 1996, Austin. Proceedings. Austin: Society for Design and Process Science, 1996. v. 2. p. 414-422.

• FREITAS, C.M.D.S. ; WAGNER, F.R. ; WAGNER, P.R. . A New Paradigm for Visual Interactive Modeling and Simulation. In: ESS'96 - 8TH EUROPEAN SIMULATION SYMPOSIUM, 1996, Genova, Italia. Proceedings. Bruxelas: Society for Compute Simulation, 1996. v. 1. p. 142-145.

• COPSTEIN, B. ; PEREIRA, C.E. ; WAGNER, F.R. . The Object-Oriented Approach and the Event Discrete Simulation Paradigm. In: 10TH EUROPEAN SIMULATION MULTICONFERENCE, 1996, Budapest. Proceedings. Bruxelas: Society for Computer Simulation, 1996. p. 57-61.

• WAGNER, F.R. ; ROYES, G.F. . A Semantic Task Flow Manager. In: APCHDL'96 - ASIA / PACIFIC CONFERENCE ON HARDWARE DESCRIPTION LANGUAGES, 1996, Bangalore. Proceedings. Losa Alamitos: IEEE Computer Society, 1996. p. 199-203.

• COHEN, M. ; FREITAS, C.M.D.S. ; WAGNER, F.R. . Behavioral Animation Modeling in the Windows Environment. In: IX SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO GRÁFICA E PROCESSAMENTO DE IMAGENS, 1996, Caxambu. Anais. Belo Horizonte: SBC / UFMG, 1996. p. 273-280.

• FREITAS, C.M.D.S. ; WAGNER, F.R. ; WAGNER, P.R. . Um Novo Paradigma para Modelagem e Simulação Interativa Visual. In: IX SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO GRÁFICA E PROCESSAMENTO DE IMAGENS, 1996, Caxambu. Anais. CAXAMBU, MG: SBC / UFMG, 1996. p. 87-94.

• RODRIGUES, V.M. ; WAGNER, F.R. . Verificação de Projetos VHDL com o Uso de Sistemas de Transição e Lógica Temporal. In: IX SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS, 1996, Recife. Anais. Recife: SBC / UFPE, 1996. p. 273-284.

• ROYES, G.F. ; WAGNER, F.R. . Um Gerenciador Semântico de Fluxos de Tarefas. In: IX SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS, 1996, Recife. Anais. Recife: SBC / UFPE, 1996. p. 131-140.

• WAGNER, F.R. . Design Management Requirements for Hardware Description Languages. In: EURO-DAC'95 with EURO-VHDL'95, 1995, Brighton. Proceedings. Los Alamitos: IEEE Computer Society Press, 1995. p. 496-501.

• WAGNER, F.R. . A Methodology for the Development of Integrated and Open HDL-Based Design Environments. In: 12TH IFIP INTERNATIONAL CONFERENCE ON COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1995, Chiba. PROCEEDINGS ASP-DAC'95 / CHDL'95 / VLSI'95. Los Alamitos: IEEE Computer Society Press, 1995. p. 525-530.

• MANSSOUR, I. ; FREITAS, C.M.D.S. ; CLAUDIO, D.M. ; WAGNER, F.R. . Visualizing and Exploring Meteorological Data Using aTool-Oriented Approach. In: International Conference on Visualization and Modeling, 1995, Leeds, UK. Proceedings. Leeds: University of Leeds, 1995. p. 32-44.

• LINDSTAEDT, E. ; WAGNER, F.R. . Um Ambiente de Simulação Visual Interativa. In: XXII SEMISH - SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 1995, Canela. Anais. Porto Alegre: SBC / UFRGS, 1995. p. 1365-1376.

• WEBER, R.F. ; PORTO, I.E.S.J. ; WAGNER, F.R. ; WEBER, T.S. . Uma Experiência Prática no Ensino de Arquitetura de Computadores. In: III WORKSHOP DE EDUCAÇÃO EM INFORMÁTICA, 1995, Canela. ANAIS. Porto Alegre: SBC / UFRGS, 1995. v. 2. p. 161-170.

• WAGNER, F.R. ; FORNARI, M.R. ; GOLENDZINER, L.G. . A Tightly Coupled Approach to Design and Data Management. In: EURO-DAC'94 - EUROPEAN DESIGN AUTOMATION CONFERENCE, 1994, Grenoble. Proceedings. Los Alamitos: IEEE Computer Society Press, 1994. p. 194-199.

• RIBEIRO, H.G. ; WAGNER, F.R. ; GOLENDZINER, L.G. . Configuration Management in the STAR Framework. In: 4TH INTERNATIONAL IFIP WORKING CONFERENCE ON ELECTRONIC DESIGN AUTOMATION FRAMEWORKS, 1994, Gramado. ELECTRONIC DESIGN AUTOMATION FRAMEWORKS. Londres: Chapman & Hall, 1994. p. 25-34.

• FORNARI, M.R. ; GOLENDZINER, L.G. ; WAGNER, F.R. . Schema Evolution in the STAR Framework. In: 4TH INTERNATIONAL IFIP WORKING CONFERENCE ON ELECTRONIC DESIGN AUTOMATION FRAMEWORKS, 1994, Gramado. ELECTRONIC DESIGN AUTOMATION FRAMEWORKS. Londres: Chapman & Hall, 1994. p. 45-54.

• MELLO, R.S. ; GOLENDZINER, L.G. ; WAGNER, F.R. . The Visual Interface of the Star Framework. In: 4TH INTERNATIONAL IFIP WORKING CONFERENCE ON ELECTRONIC DESIGN AUTOMATION FRAMEWORKS, 1994, Gramado, RS. ELECTRONIC DESIGN AUTOMATION FRAMEWORKS. Londres: Chapman & Hall, 1994. p. 253-262.

• WAGNER, F.R. ; PORTO, I.E.S.J. ; WEBER, T.S. ; WEBER, R.F. . Uma Proposta de Currículo em Arquitetura de Computadores. In: II WORKSHOP DE EDUCAÇÃO EM INFORMÁTICA, 1994, Caxambu. Anais. Belo Horizonte: SBC / UFMG, 1994. v. 2. p. 41-57.

• RODRIGUES, V.M. ; WAGNER, F.R. . Compilação de Simuladores Lógicos Orientados a Eventos com oUso de Co-Rotinas. In: VIII SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS, 1994, Gramado. Anais. Porto Alegre: SBC / UFRGS, 1994.

• FREITAS, C.M.D.S. ; WAGNER, F.R. . Análise Exploratória Visual Orientada aFerramentas. In: VII SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO GRÁFICA E PROCESSAMENTO DE IMAGENS, 1994, Curitiba. Anais. Curitiba: SBC / UFPR, 1994. p. 197-203.

• FORNARI, M.R. ; GOLENDZINER, L.G. ; WAGNER, F.R. . Evolução de Esquemas para o Ambiente STAR. In: XXI SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 1994, Caxambu. Anais. Belo Horizonte: SBC / UFMG, 1994. p. 113-126.

• WAGNER, F.R. . Prevail-DM: A Framework-Based Environment for Formal Hardware Verification. In: CONFERENCE ON COMPUTER HARDWARE DESCRIPTION LANGUAGES, X, 1993, Ottawa. Proceedings. Amsterdam: North-Holland, 1993. p. 79-96.

• WAGNER, F.R. . A Framework-Based Realization of an Environment for Formal Hardware Verification. In: THE EUROPEAN CONFERENCE ON DESIGN AUTOMATION, 1993, Paris. Proceedings. Los Alamitos: IEEE Computer Society Press, 1993. p. 41-45.

• FREITAS, C.M.D.S. ; WAGNER, F.R. . A Methodology for Selecting Visual Representations in Scientific and Simulation Applications. In: ESS'93 - EUROPEAN SIMULATION SYMPOSIUM, 1993, Delft. Proceedings. Bruxelas: Society for Computer Simulation, 1993. p. 722-727.

• RIBEIRO, H.G. ; GOLENDZINER, L.G. ; WAGNER, F.R. . Gerente de Configurações do Ambiente STAR. In: SIMPOSIO BRASILEIRO DE BANCO DE DADOS, VIII, 1993, Campina Grande. Anais. Campina Grande: SBC / UFPB, 1993.

• NEDEL, L.P. ; FREITAS, C.M.D.S. ; WAGNER, F.R. . Modelo para Simulação de Superfícies Deformáveis Baseada na Análise Dinâmica. In: VI SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO GRÁFICA E PROCESSAMENTO DE IMAGENS, 1993, Recife. Anais. Recife: SBC / UFPE, 1993.

• WAGNER, F.R. . Design Version Management in the STAR Framework. In: WORKSHOP ON ELECTRONIC DESIGN AUTOMATION FRAMEWORKS, III, 1992, Bad Lippspringe. Proceedings. Amsterdam: North-Holland, 1992. p. 85-97.

• LEMOS, R. ; BASTOS, R.M. ; FREITAS, C.M.D.S. ; WAGNER, F.R. . Animação da Dinâmica do Movimento e Colisões de Corpos Rigidos. In: XVIII CONFERENCIA LATINOAMERICANA DE INFORMATICA, 1992, Las Palmas. Memorias. Las Palmas: CLEI / Universidade de Las Palmas, 1992. p. 636-645.

• WAGNER, P.R. ; WAGNER, F.R. . O Ambiente de Simulação do Sistema AMPLO. In: VII SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS, 1992, Rio de Janeiro. Anais. Rio de Janeiro: SBC / UFRJ, 1992. p. 255-269.

• WAGNER, F.R. ; LIMA, A.V. . Design Version Management in the Garden Framework. In: DESIGN AUTOMATION CONFERENCE, 28TH, 1991, San Francisco. Proceedings, 1991. p. 704-710.

• WAGNER, F.R. . Data Management Facilities in the AMPLO Design Framework. In: WORKSHOP ON ELECTRONIC DESIGN AUTOMATION FRAMEWORKS, 1990, Charlottesville. Proceedings. Amsterdam: North-Holland, 1990.

• GOLENDZINER, L.G. ; WAGNER, F.R. ; FREITAS, C.M.D.S. . Modeling Digital Systems in an Integrated Design Environment. In: IX INTERNATIONAL CONFERENCE ON COMPUTER HARDWARE DESCRIPTION LANGUAGES,IFIP, 1989, Washington. Proceedings. Amsterdam: North-Holland, 1989. p. 147-156.

• GOLENDZINER, L.G. ; WAGNER, F.R. ; FREITAS, C.M.D.S. ; BOKLIS, V. ; BECKER, K. . Representing Digital Systems as Complex Objects. In: BTW89 - DATENBANKSYSTEME IN BUERO, TECHNIK UND WISSENSCHAFT, 1989, Zurique, Suica. Proceedings. Berlin: Springer Verlag, 1989. p. 295-299.

• WAGNER, F.R. ; FREITAS, C.M.D.S. ; GOLENDZINER, L.G. . The AMPLO System: An Integrated Environment for Digital Systems Design. In: WORKSHOP ON TOOL INTEGRATION AND DESIGN ENVIRONMENTS, IFIP, 1987, Paderborn. Proceedings. Amsterdam: North-Holland, 1987. p. 221-232.

• WAGNER, F.R. ; FREITAS, C.M.D.S. ; GOLENDZINER, L.G. . A Digital Systems Design Methodology Based on Nets of Agencies. In: VIII INTERNATIONAL CONFERENCE ON COMPUTER HARDWARE DESCRIPTION LANGUAGES,IFIP., 1987, Amsterdam. Proceedings. Amsterdam: North-Holland, 1987. p. 213-224.

• WAGNER, F.R. . A Multi-Level Digital Systems Simulation Based on Nets of Agencies.. In: CONFERENCE ON RECENT ADVANCES IN SIMULATION OF COMPLEX SYSTEMS,JSST, 1986, Tokyo. PROCEEDINGS. Tokyo: JSST, 1986. p. 125-130.

• SANTINI, T.C. ; RECH, P. ; SARTOR, A. ; CORREA, U.B. ; CARRO, L. ; WAGNER, F.R. . Evaluation of Failures Masking Across the Software Stack. In: MEDIAN (Manufacturable and Dependable Multicore Architectures at Nanoscale) Workshop, 2015, Grenoble. Proceedings, 2015. v. 1. p. 44-47.

• SILVA, G.G.B. ; SANTINI, T.C. ; WAGNER, F.R. . Exploring Resource Mapping Policies for Dynamic Clustering on NoC-based MPSoCs. In: DATE - Design, Automation and Test in Europe, 2013, Grenoble. Proceedings. New York: ACM, 2013. v. 1. p. 681-684.

• SILVA, V.F.B. ; FONTES, C.O. ; WAGNER, F.R. . The Impact of Synchronization in Message Passing While Scaling Multi-Core MPSoC Systems. In: IFIP VLSI-SoC 2012, 2012, Santa Cruz. Proceedings. New York: IEEE, 2012. v. 1. p. 267-270.

• OTERO, J.C. ; DILLENBURG, F. ; RIBEIRO, L. ; WAGNER, F.R. . Formal Verification of a Deadlock Recovering Algorithm for Heterogeneus NoC Routing Support. In: Workshop on Diagnostic Services in Network-on-Chips, 2011, San Diego. Electronic Digest of the DAC Workshop on Diagnostic Services in Network-on-Chips, 2011. v. 1.

• COTA, E.F. ; CARRO, L. ; DUARTE, L. M. ; RIBEIRO, L. ; WAGNER, F.R. . XModel: an Unified Effort Towards the Development of High-Quality Mobile Applications. In: Workshop on Software Engineering for Mobile Application Development, 2011, Santa Monica. Electronic Digest, 2011.

• FOSS, L. ; CAVALHEIRO, S.A.C. ; BISI, N. ; BRISOLARA, L.B. ; WAGNER, F.R. . From UML to SIMULINK: a Graph Grammar Specification. In: Simpósio Brasileiro de Métodos Formais, 2011, São Paulo. Anais do XIV Simpósio Brasileiro de Métodos Formais. São Paulo: Universidade de São Paulo, 2011. v. 1. p. 37-42.

• KUNZ, L. ; SILVA, G.G.B. ; WAGNER, F.R. . Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC. In: Design, Automation and Test in Europe Conference and Exhibition, 2011, Grenoble. Proceedings of DATE 2011. New York: IEEE, 2011. v. 1. p. 1-4.

• BRIÃO, E.W. ; BARCELOS, D. ; WAGNER, F.R. . Dynamic Task Allocation Strategies in MPSoCs for Soft Real-time Applications. In: DATE - Design, Automation and Test in Europe, 2008, Munique. Proceedings. New York: IEEE, 2008. v. 1. p. 1386-1389.

• BRIÃO, E.W. ; BARCELOS, D. ; WRONSKI, F. ; WAGNER, F.R. . Impact of Task Migration in NoC-based MPSoCs for Soft Real-time Applications. In: VLSI-SoC 2007 - IFIP WG 10.5 International Conference on Very Large Scale Integration, 2007, Atlanta. Proceedings. Piscataway: IEEE, 2007. v. 1. p. 296-299.

• BRISOLARA, L.B. ; BECKER, L.B. ; CARRO, L. ; WAGNER, F.R. ; PEREIRA, C.E. ; REIS, R.A.L. . Comparing High-Level Modeling Approaches for Embedded Systems Design. In: ASP-DAC - Asia-South Pacific Design Automation Conference, 2005, Shanghai. Proceedings. Piscataway: IEEE, 2005. v. 2. p. 986-989.

• AZEVEDO, A. ; AGOSTINI, L. ; WAGNER, F.R. ; BAMPI, S. ; SOARES, R. ; SILVA, I.S. . Accelerating a Multiprocessor Reconfigurable Architecture with Pipelined VLIW Units. In: RSP05 - 16th IEEE International Workshop on Rapid Systems Prototyping, 2005, Montreal. Proceedings. Los Alamitos: IEEE Computer Society Press, 2005. v. 1. p. 255-257.

• AVILA, KARISTON AUGUSTO ; WAGNER, FLAVIO RECH ; CARRO, LUIGI . Evaluating Dalvik Instructions through Dynamic Analysis of Bytecodes. In: 2012 Brazilian Symposium on Computing System Engineering (SBESC), 2012, Natal. 2012 Brazilian Symposium on Computing System Engineering, 2012. p. 118.

• SILVA, G.G.B. ; WAGNER, F.R. . Hardware and Software Support for Parallel Programming Models on NoCs. In: Workshop on Diagnostic Services in Network-on-Chips, 2011, San Diego. Electronic Digest of the DAC Workshop on Diagnostic Services in Network-on-Chips, 2011. v. 1.

• FERNANDES, J.M. ; MACHADO, R. ; LAMB, L.C. ; WAGNER, F.R. . Model-based Methodologies for Pervasive and Embedded Software. In: International Conference on Software Engineering, 2009, Vancouver. Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. New York: IEEE Computer Society, 2009. v. 1. p. 443-444.

• RECH WAGNER, FLAVIO . Embedded Systems Design - A Personal Perspective on Almost 40 Years of Contributions from Franz Rammig. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. ; NASCIMENTO, F.A. ; OLIVEIRA, M.F.S. . Model-driven Engineering of Complex Embedded Systems: Concepts and Tools. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Architectural-level Energy Reduction Mechanisms in NoC-based MPSoCs. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Grand Challenges in Computing and their Impact on Computer Science Curricula. 2009. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. ; LAMB, L.C. ; DUARTE, L. M. ; HEIMFARTH, T. ; FOSS, L. ; MACHADO, R. ; CARRO, L. ; RIBEIRO, L. ; MOREIRA, A. F. ; COTA, E.F. ; PEREIRA, C.E. . Uma Metodologia de Engenharia de Software para o Desenvolvimento de Sistemas Emergentes Auto-Organizáveis. 2009. (Apresentação de Trabalho/Comunicação).

• WAGNER, F.R. . Desafios para a Computação no Futuro Cenário Tecnológico. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. ; COTA, E.F. ; CARRO, L. ; MOREIRA, A. F. ; RIBEIRO, L. ; LAMB, L.C. ; PEREIRA, C.E. . New Technologies and their Role in Software Development and Deployment. 2008. (Apresentação de Trabalho/Seminário).

• WAGNER, F.R. . Mechanismes Adaptatives pour des Contraintes d`Energie et de Temps Reel dans des Plateformes MPSoC. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Adaptive Mechanisms for Meeting Energy and Real-Time Constraints in MPSoC Platforms. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. ; CARRO, L. . Desafios para a Computação Embarcada e Pervasiva no Futuro Cenário Tecnológico. 2006. (Apresentação de Trabalho/Comunicação).

• WAGNER, F.R. . Tangram ? Virtual Integration of Heterogeneous IP Components in a Distributed Co-simulation Environment. 2003. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Intégration d?Outils et de Composants IP dans un Environnement de Conception de Haut Niveau. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . DCB ? A Distributed Co-simulation Backbone. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . DCB ? A Distributed Co-simulation Backbone. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . SIMOO - A Platform for Object-Oriented Design and Simulation of Embedded Electronic Systems and Real-Time Automation Systems. 1999. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . SIMOO - A Multiparadigm, Object-Oriented Platform for Visual Interactive Simulation. 1997. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . SIMOO - A Multiparadigm, Object-Oriented Platform for Visual Interactive Simulation. 1997. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Current Research in Simulation and Design Environments at the UFRGS. 1996. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . The Relationships between VHDL and Design Environments. 1996. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Data Modeling and Management in the STAR Framework. 1996. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . PREVAIL-DM: Eine auf einem Framework basierende Hardware-Verifikationsumgebung. 1994. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . PREVAIL-DM: Eine auf einem Framework basierende Hardware-Verifikationsumgebung. 1994. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Design Version Management in the STAR Framework. 1992. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . PREVAIL-DM: A Framework-Based Environment for Formal Hardware Verification. 1992. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Design Version Management in the STAR Framework. 1992. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Design Methodology Management in the STAR Framework. 1991. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . O Sistema AMPLO. 1988. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . Instanzennetzsimulation. 1987. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, F.R. . The AMPLO System. 1987. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2017 - Atual

  NE-DISC - Núcleo de Excelência em Desenvolvimento Integrado de Sistemas Computacionais, Projeto certificado pelo(a) coordenador(a) Luigi Carro em 01/11/2018., Descrição: Este projeto, apoiado pelo programa PRONEX, visa promover o desenvolvimento de métodos e tecnologias que permitam o projeto integrado de sistemas de hardware e software exponencialmente mais complexos, mas mantendo os custos com crescimento linear, ao mesmo tempo em que se garantem propriedades não funcionais decisivas, como baixo consumo de energia, tolerância a falhas, qualidade de serviço, segurança e interfaces naturais com os usuários finais. Os objetivos desse Núcleo de Excelência correspondem ao desenvolvimento integrado eficiente de sistemas computacionais de grande relevância para diferentes áreas, sendo divididos em três frentes principais: 1) Redes de Sensores Sem Fio e Sistemas Ciber-Fisicos; 2) Suporte ao desenvolvimento de sistemas com requisitos não funcionais; 3) Programabilidade e paralelismo. O projeto integra pesquisadores de cinco instituições diferentes, a saber: UFRGS (10 pesquisadores), UFSM (2 pesquisadores), UNIPAMPA (1 pesquisador), UFPel (3 pesquisadores) e FURG (2 pesquisadores).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (5) / Doutorado: (5) . , Integrantes: Flávio Rech Wagner - Integrante / Carlos Eduardo Pereira - Integrante / Luigi Carro - Coordenador / Érika Fernandes Cota - Integrante / Antonio Carlos Beck Filho - Integrante / Lisane Brisolara de Brisolara - Integrante / Julio Carlos Balzano de Mattos - Integrante / Edison Pignaton Freitas - Integrante / Luis da Cunha Lamb - Integrante / Álvaro de Freitas Moreira - Integrante / Rodrigo Machado - Integrante / Gabriel Nazar - Integrante / Mateus Beck Rutzig - Integrante / Juliana Kaizer Vizzotto - Integrante / Silvia Silva da Costa Botelho - Integrante / Danúbia Espindola - Integrante / Claudio Schepke - Integrante / Paulo Roberto Ferreira Jr. - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.

• 2010 - 2015

  NESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados, Descrição: Este projeto é apoiado pelo programa PRONEX e reúne 17 pesquisadores de quatro universidades do Rio Grande do Sul - UFRGS, UFPel, UFSM e Unipampa. Seu objetivo é o desenvolvimento de competências científicas e tecnológicas visando o projeto de sistemas embarcados complexos num tempo reduzido, garantindo a qualidade e a eficiência do conjunto hardware / software, bem como dando suporte a sua evolução, considerando novas funcionalidades, aplicações, plataformas e requisitos. O Núcleo de Excelência dá ênfase à utilização da abordagem MDE - Engenharia Dirigida por Modelos, bem como de plataformas multiprocessadas e adaptativas. O projeto se desenvolve ao longo de três linhas de pesquisa principais: 1) modelos e transformações adequados ao desenvolvimento de sistemas embarcados; 2) análise de desenvolvimento de sistemas embarcados; 3) adaptabilidade das plataformas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (3) / Doutorado: (10) . , Integrantes: Flávio Rech Wagner - Coordenador / Carlos Eduardo Pereira - Integrante / Luigi Carro - Integrante / Érika Fernandes Cota - Integrante / Antonio Carlos Beck Filho - Integrante / Lisane Brisolara de Brisolara - Integrante / Julio Carlos Balzano de Mattos - Integrante / Luis da Cunha Lamb - Integrante / Álvaro de Freitas Moreira - Integrante / Leila Ribeiro - Integrante / Lucio Mauro Duarte - Integrante / Luciana Foss - Integrante / Rafael Bordini - Integrante / Ana Paula Ludtke Ferreira - Integrante / André Rauber Du Bois - Integrante / Ricardo Matsumara de Araújo - Integrante / Simone André da Costa Cavalheiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.

• 2010 - 2011

  BioModelos - Modelagem Computacional de Sistemas Biológicos, Descrição: O objetivo deste projeto é a construção e validação de diferentes modelos de processos biológicos, permitindo a análise e previsão das reações que ocorrem em máquinas biológicas. Isso permitirá que as interferências realizadas pelo homem ocorram de forma muito mais controlada e previsível, como hoje em dia ocorre quando se manipulam modelos de máquinas baseadas em silício. Além disto, com a disponibilidade de modelos nos graus de abstração e precisão adequados, a simulação de rotas e reações permitirá uma aceleração no desenvolvimento das pesquisas bioquímicas, com evidentes ganhos de produtividade. O objetivo deste projeto é, portanto, a construção e validação de uma pilha de abstrações de modelos de processos biológicos. Além disso, serão investigadas técnicas de análise e previsão das reações que ocorrem em máquinas biológicas, mas em diferentes níveis de abstração.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Flávio Rech Wagner - Integrante / Luigi Carro - Coordenador / Luis da Cunha Lamb - Integrante / Leila Ribeiro - Integrante / José Cláudio Fonseca Moreira - Integrante / Daniel Pens Gelain - Integrante / Rita Maria Cunha de Almeida - Integrante / Leonardo Gregory Brunnet - Integrante / Gilberto Lima Thomas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2009 - 2011

  Especificação e Desenvolvimento de Software Embarcado para Baixo Consumo de Potência, Descrição: A produção de software tem sido baseada em metodologias que procuram abstrair ao máximo a plataforma de hardware de suporte. Contudo, esta mesma abstração que permite aumentos de produtividade no desenvolvimento de software faz com que aspectos importantes no projeto de software embarcado, como o consumo de potência e a eficiência energética sejam relegados a um estágio posterior ao desenvolvimento. A consequência é ou um desperdício de energia, ou um atraso inaceitável no tempo de desenvolvimento. Ambos provocam aumentos de custos altamente indesejáveis. Neste projeto propõe-se avançar o estado-da-arte no que tange à especificação, à automação e ao desenvolvimento de software embarcado visando a baixa potência e energia, para diferentes plataformas embarcadas, contemplando plataformas mono-processador e multi-processador (multicore).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (3) . , Integrantes: Flávio Rech Wagner - Integrante / Luigi Carro - Coordenador / Luis da Cunha Lamb - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2008 - 2009

  Uma Metodologia de Desenvolvimento de Sistemas Computacionais à Luz da Transição do Silício para Novas Tecnologias: Fundamentos e Aplicações, Descrição: O projeto tem como objetivo principal o desenvolvimento de uma metodologia de projeto de sistemas computacionais à luz da transição do silício para novas tecnologias. Esta transição tecnológica levará a sociedade a profundas mudanças nas formas de trabalho, pesquisa e uso da computação. O projeto propõe estudos de caso de alta complexidade, com o objetivo de propor tanto uma abordagem evolutiva sobre a construção de sistemas computacionais, quanto uma abordagem disruptiva, tendo em vista novas tecnologias. O projeto é de caráter multi-disciplinar, uma vez que a transição tecnológica obrigará e levará à formação de equipes científicas com formações diversas dentro da computação, em suas aplicações e interfaces com outras ciências. Espera-se, ao final do projeto, que uma teoria e uma conseqüente metodologia de desenvolvimento de sistemas computacionais sejam propostas, elaboradas e validadas através de estudos de caso significativos. As abstrações, teorias, insights e a resultante metodologia são fundamentais em um mundo cada vez mais dependente de sistemas computacionais e, em particular, de sistemas de software capazes de evoluírem não somente com as necessidades da aplicação e de seus usuários finais, mas fundamentalmente tendo em vista a evolução/revolução tecnológica pós-silício. Entre os benefícios científicos desta metodologia estão os princípios norteadores de um processo de raciocínio, reflexão, elaboração, construção e implementação de novos sistemas computacionais, que certamente tem grande impacto na sociedade do conhecimento no século XXI.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Flávio Rech Wagner - Coordenador / Carlos Eduardo Pereira - Integrante / Luigi Carro - Integrante / Érika Fernandes Cota - Integrante / Tales Heimfarth - Integrante / Luis da Cunha Lamb - Integrante / Álvaro de Freitas Moreira - Integrante / Leila Ribeiro - Integrante / Lucio Mauro Duarte - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2007 - 2009

  INOVA-SE - Metodologias Inovadoras de Desenvolvimento e Especificação de Software Embarcado, Descrição: A produção de software embarcado responderá por parcela significativa do total de projetos de software no futuro próximo, pela enorme quantidade de produtos que são usados por consumidores de maneira até transparente, mas que dependem deste tipo de software. Exemplos são o telefone celular, os tocadores de MP3, as máquinas fotográficas digitais, os set top boxes da TV digital e outros produtos do dia-a-dia dos consumidores. A produção de software embarcado, contudo, enfrenta um grande desafio: obter software com alto grau de qualidade e confiabilidade, de modo rápido ? devido à intensa competição no mercado -, atingindo alta eficiência - já que a maioria dos sistemas portáteis mencionados tem limitações de potência e tamanho de memória - e dando suporte a diversos modelos de computação. Estes modelos são característicos de plataformas complexas com múltiplos comportamentos, como os celulares que devem executar múltiplos programas diferentes. Neste projeto propõe-se avançar o estado-da-arte no que tange à especificação, à automação e ao desenvolvimento de qualidade em software embarcado.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (6) / Doutorado: (3) . , Integrantes: Flávio Rech Wagner - Integrante / Luigi Carro - Coordenador / Luis da Cunha Lamb - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2006 - 2008

  Framework para o Projeto de Sistemas Embarcados Baseados em Plataformas Adaptativas, Descrição: O objetivo deste projeto é investigar o impacto de plataformas adaptativas no projeto de sistemas embarcados e como as atividades de estimação e exploração do espaço de projeto podem contribuir para extrair o máximo dos benefícios oferecidos pela adaptação em tempo de execução, além de reduzir os custos desta adaptação. A utilização de plataformas adaptativas sugere que a adaptação seja concebida de forma transparente para o usuário. Porém, a adaptação está relacionada diretamente com a especificação da aplicação executada neste sistema. Conseqüentemente, este projeto também busca investigar abordagens de especificação de sistemas embarcados, de forma que a plataforma adaptativa possa se beneficiar mais facilmente das diversas possibilidades de configuração e as metodologias de estimativa e exploração do espaço de projeto possam obter melhores resultados. Simultaneamente, este projeto pretende desenvolver uma infra-estrutura completa para suporte à adaptação de sistemas embarcados em tempo de execução. Esta infra-estrutura deve disponibilizar componentes para adaptação do sistema em diferentes aspectos, cobrindo uma vasta variedade de sistemas com componentes para adaptação: escalonamento de tarefas em SoC, MPSoC ou distribuídas em uma rede; escalonamento dinâmico de tensão/freqüência; middleware para abstração da comunicação e da adaptação; distribuição de serviços do sistema operacional; e particionamento hardware-software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Flávio Rech Wagner - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2005 - 2008

  NAMITEC - Tecnologias de Micro e Nanoeletrônica para Sistemas Integrados Inteligentes (Instituto do Milênio), Descrição: O projeto tem como objetivo principal realizar pesquisa e desenvolvimento em sistemas micro e nanoeletrônicos integrados inteligentes, que propiciem a realização de sistemas eletrônicos autônomos tais como redes de sensores inteligentes, sistemas embarcados e sistemas auto-ajustáveis, com várias aplicações em potencial, em particular em agricultura de precisão, no controle ambiental, em energia, na instrumentação biomédica, na indústria automotiva e aeroespacial e nas telecomunicações. Dentro desse contexto listamos os seguintes objetivos: - Pesquisar e desenvolver sistemas em chip e sistemas de redes de sensores. - Pesquisar e desenvolver metodologias e ferramentas de projeto e teste de circuitos integrados com baixo consumo de potência, tolerantes a falhas, incluindo circuitos analógicos, RF e digitais. - Pesquisar e desenvolver dispositivos micro e nanoeletrônicos, fotônicos e optoeletrônicos, MEMS e NEMS e seus processos de integração e encapsulamento. - Pesquisar materiais e técnicas de micro e nanofabricação necessários para a fabricação dos dispositivos e circuitos integrados. O projeto conta com uma equipe multidisciplinar de várias instituições de ensino e pesquisa nos domínios da física, química, ciência da computação e engenharia elétrica/eletrônica e agropecuária (Embrapa). Participam 93 pesquisadores de 26 unidades em 17 instituições, localizadas em 9 estados nas diversas regiões do país, exceto na região norte. No entanto, o grupo mantém significativa colaboração com a UFAM e CTPIM, visando formação de RH, que também contará com apoio deste projeto.O grupo proponente mantém colaboração intensa com 26 grupos de pesquisa do exterior e com duas dezenas de empresas no país, realizando trabalhos conjuntos. Isto demonstra a inserção do grupo no cenário internacional, bem como seu empenho em transferir conhecimento e dar apoio ao desenvolvimento industrial no país.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flávio Rech Wagner - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2003 - 2008

  SEEP - Sistemas Eletrônicos Embarcados Baseados em Plataforma, Descrição: Desenvolvimento de metodologia completa de projeto de sistemas eletrônicos embarcados integrados em chip. Projeto baseado em plataformas de hardware e software. Plataformas baseadas em processadores Java customizáveis para a aplicação e em redes-em-chip. Modelagem de alto nível de aplicações embarcadas e geração automática de software. Exploração do espaço de projeto arquitetural em alto nível de abstração. Metodologia de teste funcional dos sistemas. Prototipação de sistemas em FPGA. Projeto financiado pelo CT-Info, edital PDI-TI.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Especialização: (0) / Mestrado acadêmico: (22) / Mestrado profissional: (0) / Doutorado: (14) . , Integrantes: Flávio Rech Wagner - Coordenador / Carlos Eduardo Pereira - Integrante / Marcio Seiji Oyamada - Integrante / Luigi Carro - Integrante / Marcio Eduardo Kreutz - Integrante / Sandro Neves Soares - Integrante / Braulio Adriano de Mello - Integrante / Edgard Faria Correa - Integrante / Érika Fernandes Cota - Integrante / Antonio Carlos Beck Filho - Integrante / Altamiro Amadeu Susin - Integrante / Marcelo Soares Lubaszewski - Integrante / Marco Aurélio Wehrmeister - Integrante / Lisane Brisolara de Brisolara - Integrante / Julio Carlos Balzano de Mattos - Integrante / André Borin Soares - Integrante / Elias Teodoro da Silva Junior - Integrante / Marcio Ferreira da Silva Oliveira - Integrante / Fabio Wronski - Integrante / Edison Pignaton Freitas - Integrante / Francisco Assis do Nascimento - Integrante / Eduardo Wenzel Brião - Integrante / Leonardo Kunz - Integrante / Daniel Barcelos - Integrante / Emilena Specht - Integrante / Ricardo Miotto Redin - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 78

• 2003 - 2005

  Brazil-IP, Descrição: Desenvolvimento de componentes IP compativeis com uma plataforma de hardware, baseada em processador Sparc e rede-em-chip. Desenvolvimento de metodologia de projeto, verificação funcional e integração de componentes IP. Projeto financiado pelo CT-Info, edital PDI-TI.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (1) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Luigi Carro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2001 - 2005

  Rede de Pesquisa em Sistemas-em-Chip, Microssistemas e Nanoeletrônica (Instituto do Milênio), Descrição: Desenvolvimento de ambiente distribuído de co-simulação para sistemas embarcados heterogêneos, onde diferentes componentes podem estar descritos por diferentes linguagens, em níveis de abstração variados e apresentando interfaces inconsistentes. Recursos especializados para integração virtual e remota de componentes IP a modelos de co-simulação. Projeto faz parte de rede de pesquisa financiada pelo Programa Instituto do Milênio e coordenada pela Unicamp.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Flávio Rech Wagner - Coordenador.

• 2000 - 2008

  Sistemas Computacionais Dedicados Integrados (Pronex), Descrição: Apoio institucional ao Grupo de Microeletrônica da UFRGS, para desenvolvimento de metodologias, técnicas e ferramentas de projeto de circuitos e sistemas integrados e dedicados para aplicações específicas. Financiamento pelo programa Pronex do MCT.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Integrante / Luigi Carro - Integrante / Altamiro Amadeu Susin - Integrante / Marcelo Soares Lubaszewski - Integrante / André Inácio Reis - Integrante / Sergio Bampi - Integrante / Ricardo Augusto da Luz Reis - Coordenador / Renato Perez Ribas - Integrante., Financiador(es): Ministério da Ciência, Tecnologia e Inovações - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.

Projetos de desenvolvimento

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2006

  CLP-SIL-2 - Controladores Lógicos Programáveis com Nível de Segurança SIL-2, Descrição: Estudo de normas de segurança para controladores lógicos programáveis utilizados em aplicações críticas na área de petróleo. Estudo de melhorias no projeto de controladores, visando atendimento das normas. Desenvolvimento de metodologia de cálculo de nível de segurança SIL. Projeto de módulos de entrada e saída atendendo normas de segurança. Projeto financiado pelo CT-Petro, edital RBT, em cooperação com a empresa Altus.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Rech Wagner - Coordenador / Taisy Silva Weber - Integrante / João Cesar Netto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

Prêmios