Über die Austauschbarkeit von Universalität und Effizienz bei Instanzennetzsimulatoren, insbesondere für digitale Hardware. - Flávio Rech Wagner (1983)

Representing Digital Systems as Complex Objects. - Lia Goldstein Golendziner; Flávio Rech Wagner; Carla Maria Dal Sasso Freitas; Vania Boklis; Karin Becker (BTW, 1989)

Design Version Management in the GARDEN Framework. - Flávio Rech Wagner; Arnaldo Hilário Viegas de Lima (DAC, 1991)

Design Version Management in the STAR Framework. - Flávio Rech Wagner; Lia Goldstein Golendziner; Jean Lacombe; Arnaldo Hilário Viegas de Lima (Electronic Design Automation Frameworks, 1992)

Prevail-DM: A Framework-Based Environment for Formal Hardware Verification. - Flávio Rech Wagner (CHDL, 1993)

A tightly coupled approach to design and data management. - Flávio Rech Wagner; Lia Goldstein Golendziner; Miguel Rodrigues Fornari (EURO-DAC, 1994)

Design management requirements for hardware description languages. - Flávio Rech Wagner (EURO-DAC, 1995)

Ferramentas de suporte às tarefas da análise exploratória visual. - Carla Maria Dal Sasso Freitas; Flávio Rech Wagner (RITA, 1995)

Modelling an Engineering Design Application Using Extended Object-Oriented Concepts. - Lia Goldstein Golendziner; Clesio Saraiva dos Santos; Flávio Rech Wagner (DASFAA, 1997)

A Temporal Logic for Data-Flow VHDL. - Vanderlei Moraes Rodrigues; Flávio Rech Wagner (SBCCI, 1998)

Schema Evolution in the STAR Framework. - Miguel Rodrigues Fornari; Lia Goldstein Golendziner; Flávio Rech Wagner (RITA, 1998)

Modeling an engineering design application using extended object-oriented concepts. - Lia Goldstein Golendziner; Clesio Saraiva dos Santos; Flávio Rech Wagner (RITA, 1998)

Object-Oriented Modeling and Co-Simulation of Embedded Systems. - Flávio Rech Wagner; Márcio Oyamada; Luigi Carro; Márcio Eduardo Kreutz (VLSI, 1999)

A Logic to Specify and Verify Synchronous Transitions. - Vanderlei Moraes Rodrigues; Flávio Rech Wagner (IWFM, 1999)

System Synthesis for Multiprocessor Embedded Applications. - Luigi Carro; Márcio Eduardo Kreutz; Flávio Rech Wagner; Márcio Oyamada (DATE, 2000)

A Design Methodology for Embedded Systems based on Multiple Processors. - Luigi Carro; Flávio Rech Wagner; Márcio Eduardo Kreutz; Márcio Oyamada (DIPES, 2000)

A logic for synchronous transitions with dynamic conflict resolution. - Vanderlei Moraes Rodrigues; Flávio Rech Wagner (CLEI Electron. J., 2000)

A Standardized Co-simulation Backbone. - Braulio Adriano de Mello; Flávio Rech Wagner (VLSI-SOC, 2001)

An Object-Oriented Methodology for Modeling the Precise Behavior of Processor Architectures. - João Cláudio Soares Otero; Flávio Rech Wagner (VLSI-SOC, 2001)

T&D-Bench: An Environment for Modeling and Simulating Complex Processor Architectures. - D. Becker; J. Otero; Flávio Rech Wagner (SBAC-PAD, 2002)

Combining architecture exploration and a path to implementation to build a complete SoC design flow from system specification to RTL. - Mohamed-Anouar Dziri; Firaz Samet; Flávio Rech Wagner; Wander O. Cesário; Ahmed Amine Jerraya (ASP-DAC, 2003)

T&D-Bench+ - A Software Environment for Modeling and Simulation of State-of-the-Art Processors. - Sandro Neves Soares; Flávio Rech Wagner (DSD, 2003)

RTC: A Real-Time Communication Middleware on Top of RTAI-Linux . - Tales Heimfarth; Marcelo Götz; Franz J. Rammig; Flávio Rech Wagner (ISORC, 2003)

Power-aware NoC Reuse on the Testing of Core-based Systems. - Érika F. Cota; Luigi Carro; Flávio Rech Wagner; Marcelo Lubaszewski (ITC, 2003)

Scheduling Policy Costs on a JAVA Microcontroller. - Leomar S. da Rosa Jr.; Flávio Rech Wagner; Luigi Carro; Alexandre Carissimi; André Inácio Reis (OTM Workshops, 2003)

CACO-PS: A General Purpose Cycle-Accurate Configurable Power Simulator. - Antonio Carlos Schneider Beck; Júlio C. B. de Mattos; Flávio Rech Wagner; Luigi Carro (SBCCI, 2003)

Tangram - Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment. - Uilian Rafael Feijo Souza; Josué Klafke Sperb; Braulio Adriano de Mello; Flávio Rech Wagner (SBCCI, 2003)

Unified Component Integration Flow for Multi-Processor SoC Design and Validation. - Mohamed-Anouar Dziri; Wander O. Cesário; Flávio Rech Wagner; Ahmed Amine Jerraya (DATE, 2004)

Design of Very Deep Pipelined Multipliers for FPGAs. - Alex Panato; Sandro V. Silva; Flávio Rech Wagner; Marcelo O. Johann; Ricardo Reis 001; Sergio Bampi (DATE, 2004)

Urban Planning by Simulation of Population Growth. - Cirano Iochpe; Flávio Rech Wagner; André Dias Bastos; Guillermo Nudelman Hess; Marcia Aparecida da Silva Almeida (GEOINFO, 2004)

Evaluating High-Level Models for Real-Time Embedded Systems Design. - Lisane B. de Brisolara; Leandro Buss Becker; Luigi Carro; Flávio Rech Wagner; Carlos Eduardo Pereira (DIPES, 2004)

The Implications of Real-Time Behavior in Networks-on-Chip Architectures. - Edgard de Faria Corrêa; Eduardo W. Basso; Gustavo R. Wilke; Flávio Rech Wagner; Luigi Carro (DIPES, 2004)

Design Space Exploration with Automatic Generation of IP-Based Embedded Software. - Júlio C. B. de Mattos; Lisane B. de Brisolara; Renato Fernandes Hentschke; Luigi Carro; Flávio Rech Wagner (DIPES, 2004)

Design Space Exploration with Automatic Selection of SW and HW for Embedded Applications. - Júlio C. B. de Mattos; Antonio Carlos Schneider Beck; Luigi Carro; Flávio Rech Wagner (SAMOS, 2004)

Design Space Exploration using T&D-Bench. - Sandro Neves Soares; Flávio Rech Wagner (SBAC-PAD, 2004)

Accurate software performance estimation using domain classification and neural networks. - Márcio Oyamada; Felipe Zschornack; Flávio Rech Wagner (SBCCI, 2004)

Strategies for the integration of hardware and software IP components in embedded systems-on-chip. - Flávio Rech Wagner; Wander O. Cesário; Luigi Carro; Ahmed Amine Jerraya (Integr., 2004)

Hardware/Software Interfaces Design for SoC. - Wander O. Cesário; Flávio Rech Wagner; Ahmed Amine Jerraya (The Industrial Information Technology Handbook, 2005)

Comparing high-level modeling approaches for embedded system design. - Lisane B. de Brisolara; Leandro Buss Becker; Luigi Carro; Flávio Rech Wagner; Carlos Eduardo Pereira; Ricardo Reis 001 (ASP-DAC, 2005)

Time and energy efficient mapping of embedded applications onto NoCs. - César A. M. Marcon; André Borin Suarez; Altamiro Amadeu Susin; Luigi Carro; Flávio Rech Wagner (ASP-DAC, 2005)

An Embedded SW Design Exploration Approach Based on UML Estimation Tools. - Marcio Ferreira da Silva Oliveira; Lisane B. de Brisolara; Luigi Carro; Flávio Rech Wagner (IESS, 2005)

An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems. - Marco A. Wehrmeister; Leandro Buss Becker; Flávio Rech Wagner; Carlos Eduardo Pereira (ISORC, 2005)

Accelerating a Multiprocessor Reconfigurable Architecture with Pipelined VLIW Units. - Arnaldo Azevedo; Luciano Volcan Agostini; Flávio Rech Wagner; Sergio Bampi (IEEE International Workshop on Rapid System Prototyping, 2005)

Design space exploration comparing homogeneous and heterogeneous network-on-chip architectures. - Márcio Eduardo Kreutz; César A. M. Marcon; Luigi Carro; Flávio Rech Wagner; Altamiro Amadeu Susin (SBCCI, 2005)

A constraint-based solution for on-line testing of processors embedded in real-time applications. - Marcelo de Souza Moraes; Érika F. Cota; Luigi Carro; Flávio Rech Wagner; Marcelo Lubaszewski (SBCCI, 2005)

Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object. - Elias Teodoro Silva Jr.; Marco A. Wehrmeister; Leandro Buss Becker; Flávio Rech Wagner; Carlos Eduardo Pereira (WORDS, 2005)

Tangram: Virtual Integration of IP Components in a Distributed Cosimulation. - Braulio Adriano de Mello; Uilian Rafael Feijo Souza; Josué Klafke Sperb; Flávio Rech Wagner (IEEE Des. Test Comput., 2005)

Hardware/Software Interface Design for SoC. - Ahmed Amine Jerraya; Wander O. Cesário; Flávio Rech Wagner (Embedded Systems Handbook, 2005)

Evaluating Energy-Aware Task Allocation Strategies for MPSOCS. - Fabio Wronski; Eduardo Wenzel Brião; Flávio Rech Wagner (DIPES, 2006)

Reconfiguration of embedded Java applications. - João Cláudio Soares Otero; Flávio Rech Wagner; Luigi Carro (IPDPS, 2006)

Java Framework for Distributed Real-Time Embedded Systems. - Elias Teodoro Silva Jr.; Edison Pignaton de Freitas; Flávio Rech Wagner; Fabiano Costa Carvalho; Carlos Eduardo Pereira (ISORC, 2006)

Early Embedded Software Design Space Exploration Using UML-Based Estimation. - Marcio Ferreira da Silva Oliveira; Lisane B. de Brisolara; Luigi Carro; Flávio Rech Wagner (IEEE International Workshop on Rapid System Prototyping, 2006)

MDA-based approach for embedded software generation from a UML/MOF repository. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Marco A. Wehrmeister; Carlos Eduardo Pereira; Flávio Rech Wagner (SBCCI, 2006)

Hardware support in a middleware for distributed and real-time embedded applications. - Elias Teodoro Silva Jr.; Flávio Rech Wagner; Edison Pignaton de Freitas; Carlos Eduardo Pereira (SBCCI, 2006)

DERAF: A High-Level Aspects Framework for Distributed Embedded Real-Time Systems Design. - Edison Pignaton de Freitas; Marco Aurélio Wehrmeister; Elias Teodoro Silva Jr.; Fabiano Costa Carvalho; Carlos Eduardo Pereira; Flávio Rech Wagner (EA@AOSD, 2007)

Software Performance Estimation in MPSoC Design. - Márcio Oyamada; Flávio Rech Wagner; Marius Bonaciu; Wander O. Cesário; Ahmed Amine Jerraya (ASP-DAC, 2007)

Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems. - Edison Pignaton de Freitas; Marco A. Wehrmeister; Carlos Eduardo Pereira; Flávio Rech Wagner; Elias Teodoro Silva Jr.; Fabiano Costa Carvalho (IESS, 2007)

Embedded SW Design Space Exploration and Automation using UML-Based Tools. - Flávio Rech Wagner; Luigi Carro (IESS, 2007)

An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. - Marco A. Wehrmeister; Edison Pignaton de Freitas; Carlos Eduardo Pereira; Flávio Rech Wagner (ISORC, 2007)

An approach to improve predictability in communication services in distributed real-time embedded systems. - Elias Teodoro Silva Jr.; Marco A. Wehrmeister; Flávio Rech Wagner; Carlos Eduardo Pereira (JTRES, 2007)

ModES: Embedded Systems Design Methodology and Tools Based on MDE. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (MOMPES, 2007)

Motion Compensation Hardware Accelerator Architecture for H.264/AVC. - Bruno Zatt; Valter Ferreira; Luciano Volcan Agostini; Flávio Rech Wagner; Altamiro Amadeu Susin; Sergio Bampi (PSIVT, 2007)

A hybrid memory organization to enhance task migration and dynamic task allocation in NoC-based MPSoCs. - Daniel Barcelos; Eduardo Wenzel Brião; Flávio Rech Wagner (SBCCI, 2007)

Fitting the router characteristics in NoCs to meet QoS requirements. - Edgard de Faria Corrêa; Leonardo Alves de Paula e Silva; Flávio Rech Wagner; Luigi Carro (SBCCI, 2007)

Model driven engineering for MPSOC design space exploration. - Marcio Ferreira da Silva Oliveira; Eduardo Wenzel Brião; Francisco Assis Moreira do Nascimento; Flávio Rech Wagner (SBCCI, 2007)

Analysis of the use of declarative languages for enhanced embedded system software development. - Emilena Specht; Ricardo Miotto Redin; Luigi Carro; Luís da Cunha Lamb; Érika F. Cota; Flávio Rech Wagner (SBCCI, 2007)

Impact of task migration in NoC-based MPSoCs for soft real-time applications. - Eduardo Wenzel Brião; Daniel Barcelos; Fabio Wronski; Flávio Rech Wagner (VLSI-SoC, 2007)

From classroom to research: providing different services for computer architecture education. - Sandro Neves Soares; Flávio Rech Wagner (WCAE, 2007)

Hardware/software IP integration using the ROSES design environment. - Flávio Rech Wagner; Wander O. Cesário; Ahmed Amine Jerraya (ACM Trans. Embed. Comput. Syst., 2007)

Dynamic Task Allocation Strategies in MPSoC for Soft Real-time Applications. - Eduardo Wenzel Brião; Daniel Barcelos; Flávio Rech Wagner (DATE, 2008)

Using UML as Front-end for Heterogeneous Software Code Generation Strategies. - Lisane B. de Brisolara; Marcio Ferreira da Silva Oliveira; Ricardo Miotto Redin; Luís C. Lamb; Luigi Carro; Flávio Rech Wagner (DATE, 2008)

On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. - Ricardo Miotto Redin; Marcio Ferreira da Silva Oliveira; Lisane B. de Brisolara; Júlio C. B. de Mattos; Luís C. Lamb; Flávio Rech Wagner; Luigi Carro (DIPES, 2008)

Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects. - Tales Heimfarth; Dalimir Orfanus; Flávio Rech Wagner (BICC, 2008)

An Infrastructure for Hardware-Software Co-Design of Embedded Real-Time Java Applications. - Elias Teodoro Silva Jr.; David Andrews 001; Carlos Eduardo Pereira; Flávio Rech Wagner (ISORC, 2008)

A virtual platform for multiprocessor real-time embedded systems. - Elias Teodoro Silva Jr.; Daniel Barcelos; Flávio Rech Wagner; Carlos Eduardo Pereira (JTRES, 2008)

Software Quality Metrics and their Impact on Embedded Software. - Marcio Ferreira da Silva Oliveira; Ricardo Miotto Redin; Luigi Carro; Luís da Cunha Lamb; Flávio Rech Wagner (MOMPES, 2008)

Applying neural networks to performance estimation of embedded software. - Márcio Oyamada; Felipe Zschornack; Flávio Rech Wagner (J. Syst. Archit., 2008)

Hardware/Software Interfaces Design for SoC. - Katalin Popovici; Wander O. Cesário; Flávio Rech Wagner; Ahmed Amine Jerraya (Embedded Systems Design and Verification, 2009)

Model-based Methodologies for Pervasive and Embedded Software. - João M. Fernandes 001; Ricardo Jorge Machado 001; Luís C. Lamb; Flávio Rech Wagner (ICSE Companion, 2009)

Process algebra to model self-organizing behavior in Wireless Sensor Networks. - Dalimir Orfanus; Tales Heimfarth; Flávio Rech Wagner (ICUMT, 2009)

Formal Verification for Embedded Systems Design Based on MDE. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (IESS, 2009)

An agent framework to support sensor networks' setup and adaptation. - Edison Pignaton de Freitas; Tales Heimfarth; Armando Morado Ferreira; Flávio Rech Wagner; Carlos Eduardo Pereira; Tony Larsson (IMCSIT, 2009)

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (MOMPES, 2009)

Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (SBCCI, 2009)

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. - Marcio Ferreira da Silva Oliveira; Ronaldo Rodrigues Ferreira; Francisco Assis Moreira do Nascimento; Franz J. Rammig; Flávio Rech Wagner (SBCCI, 2009)

Using a Link Metric to Improve Communication Mechanisms and Real-Time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks. - Edison Pignaton de Freitas; Tales Heimfarth; Marco A. Wehrmeister; Flávio Rech Wagner; Armando Morado Ferreira; Carlos Eduardo Pereira; Tony Larsson (ISA, 2009)

Performance and Energy Evaluation of Memory Organizations in NoC-Based MPSoCs under Latency and Task Migration. - Gustavo Girão; Daniel Barcelos; Flávio Rech Wagner (VLSI-SoC, 2009)

Introduction to special issue: model-based development methodologies. - Ricardo Jorge Machado 001; Flávio Rech Wagner; Rick Kazman (Innov. Syst. Softw. Eng., 2009)

Recent advances in model-based methodologies for pervasive and embedded software. - João M. Fernandes 001; Luís C. Lamb; Ricardo Jorge Machado 001; Flávio Rech Wagner (ACM SIGSOFT Softw. Eng. Notes, 2009)

Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware. - Tales Heimfarth; Edison Pignaton de Freitas; Carlos Eduardo Pereira; Armando Morado Ferreira; Flávio Rech Wagner; Tony Larsson (AINA, 2010)

UAV relay network to support WSN connectivity. - Edison Pignaton de Freitas; Tales Heimfarth; Ivayr Farah Netto; Carlos Eduardo Lino; Carlos Eduardo Pereira; Armando Morado Ferreira; Flávio Rech Wagner; Tony Larsson (ICUMT, 2010)

Model Checking the Ant Colony Optimisation. - Lucio Mauro Duarte; Luciana Foss; Flávio Rech Wagner; Tales Heimfarth (DIPES/BICC, 2010)

Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems. - Dalimir Orfanus; Peter Janacik; Flávio Rech Wagner (ISORC Workshops, 2010)

Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors. - Edison Pignaton de Freitas; Tales Heimfarth; Carlos Eduardo Pereira; Armando Morado Ferreira; Flávio Rech Wagner; Tony Larsson (ISPA, 2010)

Design space abstraction and metamodeling for embedded systems design space exploration. - Marcio Ferreira da Silva Oliveira; Francisco Assis Moreira do Nascimento; Wolfgang Müller 003; Flávio Rech Wagner (MOMPES, 2010)

Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET. - Edison Pignaton de Freitas; Tales Heimfarth; Flávio Rech Wagner; Armando Morado Ferreira; Carlos Eduardo Pereira; Tony Larsson (NEW2AN, 2010)

Evaluation of a hardware transactional memory model in an NoC-based embedded MPSoC. - Leonardo Kunz; Gustavo Girão; Flávio Rech Wagner (SBCCI, 2010)

Coordinating Aerial Robots and Unattended Ground Sensors for Intelligent Surveillance Systems. - Edison Pignaton de Freitas; Tales Heimfarth; Rodrigo Schmidt Allgayer; Flávio Rech Wagner; Tony Larsson; Carlos Eduardo Pereira; Armando Morado Ferreira (Int. J. Comput. Commun. Control, 2010)

Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors. - Edison Pignaton de Freitas; Tales Heimfarth; Ivayr Farah Netto; Carlos Eduardo Pereira; Armando Morado Ferreira; Flávio Rech Wagner; Tony Larsson (AINA Workshops, 2011)

Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC. - Leonardo Kunz; Gustavo Girão; Flávio Rech Wagner (DATE, 2011)

Dynamic clustering for distinct parallel programming models on NoC-based MPSoCs. - Gustavo Girão; Thiago Santini; Flávio Rech Wagner (NoCArc@MICRO, 2011)

Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application. - Edison Pignaton de Freitas; Bernhard Bösch; Rodrigo Schmidt Allgayer; Leonardo Steinfeld; Flávio Rech Wagner; Luigi Carro; Carlos Eduardo Pereira; Tony Larsson (NEW2AN, 2011)

Analyzing different levels of geographic context awareness in agent ferrying over VANETs. - Edison Pignaton de Freitas; Tales Heimfarth; Luiz Augusto Guimarães Costa; Armando Morado Ferreira; Carlos Eduardo Pereira; Flávio Rech Wagner; Tony Larsson (SAC, 2011)

Using Graph Grammars to Develop Embedded Systems Based on UML Models. - Nícolas Nogueira Bisi; Vinícius Steffens Pazzini; Luciana Foss; Simone André da Costa Cavalheiro; Lisane B. de Brisolara; Flávio Rech Wagner (WEIT, 2011)

Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks. - Edison Pignaton de Freitas; Tales Heimfarth; Carlos Eduardo Pereira; Armando Morado Ferreira; Flávio Rech Wagner; Tony Larsson (Comput. J., 2011)

T&D-Bench - Innovative Combined Support for Education and Research in Computer Architecture and Embedded Systems. - Sandro Neves Soares; Flávio Rech Wagner (IEEE Trans. Educ., 2011)

Evaluating Dalvik Instructions through Dynamic Analysis of Bytecodes. - Kariston Augusto Avila; Flávio Rech Wagner; Luigi Carro (SBESC, 2012)

The impact of synchronization in message passing while scaling multi-core MPSoC systems. - Victor Frederico Silva; Cantidio de Oliveira Fontes; Flávio Rech Wagner (VLSI-SoC, 2012)

A model-driven engineering framework for embedded systems design. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (Innov. Syst. Softw. Eng., 2012)

Exploring resource mapping policies for dynamic clustering on NoC-based MPSoCs. - Gustavo Girão; Thiago Santini; Flávio Rech Wagner (DATE, 2013)

Automatic Translation from UML to Simulink CAAM Using Graph Grammars. - Andrei Costa; Vinícius Steffens Pazzini; Luciana Foss; Simone André da Costa Cavalheiro; Lisane B. de Brisolara; Flávio Rech Wagner (WEIT, 2013)

Exploring geographic context awareness for data dissemination on mobile ad hoc networks. - Edison Pignaton de Freitas; Tales Heimfarth; Flávio Rech Wagner; Carlos Eduardo Pereira; Tony Larsson (Ad Hoc Networks, 2013)

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. - Luciana Foss; Simone André da Costa Cavalheiro; Nícolas Nogueira Bisi; Vinícius Steffens Pazzini; Lisane B. de Brisolara; Flávio Rech Wagner (RITA, 2013)

Cooperation among Wirelessly Connected Static and Mobile Sensor Nodes for Surveillance Applications. - Edison Pignaton de Freitas; Tales Heimfarth; Alexey V. Vinel; Flávio Rech Wagner; Carlos Eduardo Pereira; Tony Larsson (Sensors, 2013)

Reducing embedded software radiation-induced failures through cache memories. - Thiago Santini; Paolo Rech; Gabriel L. Nazar; Luigi Carro; Flávio Rech Wagner (ETS, 2014)

Exploiting cache conflicts to reduce radiation sensitivity of operating systems on embedded systems. - Thiago Santini; Paolo Rech; Luigi Carro; Flávio Rech Wagner (CASES, 2015)

Managing Cache Memory Resources in Adaptive Many-Core Systems. - Gustavo Girão; Flávio Rech Wagner (IESS, 2015)

The Internet Governance Ecosystem: Where We Are and the Path Ahead. - Flávio Rech Wagner (WebMedia, 2016)

Beyond Cross-Section: Spatio-Temporal Reliability Analysis. - Thiago Santini; Paolo Rech; Gabriel Luca Nazar; Flávio Rech Wagner (ACM Trans. Embed. Comput. Syst., 2016)

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. - Thiago Santini; Christoph Borchert; Christian Dietrich 001; Horst Schirmeier; Martin Hoffmann 001; Olaf Spinczyk; Daniel Lohmann; Flávio Rech Wagner; Paolo Rech (ARCS, 2017)

Enhanced architecture for programmable logic controllers targeting performance improvements. - Laurence Crestani Tasca; Edison Pignaton de Freitas; Flávio Rech Wagner (Microprocess. Microsystems, 2018)

A study on the performance impact of programmable logic controllers based on enhanced architecture and organization. - Laurence Crestani Tasca; Edison Pignaton de Freitas; Flávio Rech Wagner (Microprocess. Microsystems, 2020)