Flávio Rech Wagner

According to our database1, Flávio Rech Wagner authored at least 119 papers between 1983 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Enhanced architecture for programmable logic controllers targeting performance improvements.
Microprocess. Microsystems, 2018

2017
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016
Beyond Cross-Section: Spatio-Temporal Reliability Analysis.
ACM Trans. Embedded Comput. Syst., 2016

The Internet Governance Ecosystem: Where We Are and the Path Ahead.
Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web, 2016

2015
Managing Cache Memory Resources in Adaptive Many-Core Systems.
Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

Exploiting cache conflicts to reduce radiation sensitivity of operating systems on embedded systems.
Proceedings of the 2015 International Conference on Compilers, 2015

2014
Reducing embedded software radiation-induced failures through cache memories.
Proceedings of the 19th IEEE European Test Symposium, 2014

2013
Cooperation among Wirelessly Connected Static and Mobile Sensor Nodes for Surveillance Applications.
Sensors, 2013

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.
RITA, 2013

Exploring geographic context awareness for data dissemination on mobile ad hoc networks.
Ad Hoc Networks, 2013

Automatic Translation from UML to Simulink CAAM Using Graph Grammars.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Exploring resource mapping policies for dynamic clustering on NoC-based MPSoCs.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
A model-driven engineering framework for embedded systems design.
ISSE, 2012

The impact of synchronization in message passing while scaling multi-core MPSoC systems.
Proceedings of the 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, 2012

Evaluating Dalvik Instructions through Dynamic Analysis of Bytecodes.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

2011
T&D-Bench - Innovative Combined Support for Education and Research in Computer Architecture and Embedded Systems.
IEEE Trans. Education, 2011

Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks.
Comput. J., 2011

Using Graph Grammars to Develop Embedded Systems Based on UML Models.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Analyzing different levels of geographic context awareness in agent ferrying over VANETs.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

Dynamic clustering for distinct parallel programming models on NoC-based MPSoCs.
Proceedings of the 4th International Workshop on Network on Chip Architectures, 2011

Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC.
Proceedings of the Design, Automation and Test in Europe, 2011

Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2010
Evaluation of a hardware transactional memory model in an NoC-based embedded MPSoC.
Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, 2010

Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2010

Design space abstraction and metamodeling for embedded systems design space exploration.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Model Checking the Ant Colony Optimisation.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

UAV relay network to support WSN connectivity.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2010

Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
Recent advances in model-based methodologies for pervasive and embedded software.
ACM SIGSOFT Software Engineering Notes, 2009

Introduction to special issue: model-based development methodologies.
ISSE, 2009

Performance and Energy Evaluation of Memory Organizations in NoC-Based MPSoCs under Latency and Task Migration.
Proceedings of the VLSI-SoC: Technologies for Systems Integration, 2009

Using a Link Metric to Improve Communication Mechanisms and Real-Time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks.
Proceedings of the Advances in Information Security and Assurance, 2009

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems.
Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.
Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation.
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

An agent framework to support sensor networks' setup and adaptation.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

Formal Verification for Embedded Systems Design Based on MDE.
Proceedings of the Analysis, 2009

Process algebra to model self-organizing behavior in Wireless Sensor Networks.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

Model-based Methodologies for Pervasive and Embedded Software.
Proceedings of the 31st International Conference on Software Engineering, 2009

Hardware/Software Interfaces Design for SoC.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
Applying neural networks to performance estimation of embedded software.
J. Syst. Archit., 2008

Software Quality Metrics and their Impact on Embedded Software.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

A virtual platform for multiprocessor real-time embedded systems.
Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

An Infrastructure for Hardware-Software Co-Design of Embedded Real-Time Java Applications.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects.
Proceedings of the Biologically-Inspired Collaborative Computing, 2008

On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Using UML as Front-end for Heterogeneous Software Code Generation Strategies.
Proceedings of the Design, Automation and Test in Europe, 2008

Dynamic Task Allocation Strategies in MPSoC for Soft Real-time Applications.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Hardware/software IP integration using the ROSES design environment.
ACM Trans. Embedded Comput. Syst., 2007

From classroom to research: providing different services for computer architecture education.
Proceedings of the 2007 Workshop on Computer Architecture Education, 2007

Impact of task migration in NoC-based MPSoCs for soft real-time applications.
Proceedings of the IFIP VLSI-SoC 2007, 2007

Analysis of the use of declarative languages for enhanced embedded system software development.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Model driven engineering for MPSOC design space exploration.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Fitting the router characteristics in NoCs to meet QoS requirements.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

A hybrid memory organization to enhance task migration and dynamic task allocation in NoC-based MPSoCs.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Motion Compensation Hardware Accelerator Architecture for H.264/AVC.
Proceedings of the Advances in Image and Video Technology, Second Pacific Rim Symposium, 2007

ModES: Embedded Systems Design Methodology and Tools Based on MDE.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

An approach to improve predictability in communication services in distributed real-time embedded systems.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Embedded SW Design Space Exploration and Automation using UML-Based Tools.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Software Performance Estimation in MPSoC Design.
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

DERAF: A High-Level Aspects Framework for Distributed Embedded Real-Time Systems Design.
Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

2006
Hardware support in a middleware for distributed and real-time embedded applications.
Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

MDA-based approach for embedded software generation from a UML/MOF repository.
Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

Early Embedded Software Design Space Exploration Using UML-Based Estimation.
Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Java Framework for Distributed Real-Time Embedded Systems.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Reconfiguration of embedded Java applications.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Evaluating Energy-Aware Task Allocation Strategies for MPSOCS.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005
Hardware/Software Interface Design for SoC.
Proceedings of the Embedded Systems Handbook., 2005

Tangram: Virtual Integration of IP Components in a Distributed Cosimulation.
IEEE Design & Test of Computers, 2005

Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A constraint-based solution for on-line testing of processors embedded in real-time applications.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005

Design space exploration comparing homogeneous and heterogeneous network-on-chip architectures.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005

Accelerating a Multiprocessor Reconfigurable Architecture with Pipelined VLIW Units.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

An Embedded SW Design Exploration Approach Based on UML Estimation Tools.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Time and energy efficient mapping of embedded applications onto NoCs.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Comparing high-level modeling approaches for embedded system design.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Hardware/Software Interfaces Design for SoC.
Proceedings of the Industrial Information Technology Handbook, 2005

2004
Strategies for the integration of hardware and software IP components in embedded systems-on-chip.
Integr., 2004

Accurate software performance estimation using domain classification and neural networks.
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

Design Space Exploration using T&D-Bench.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004

Design Space Exploration with Automatic Selection of SW and HW for Embedded Applications.
Proceedings of the Computer Systems: Architectures, 2004

Design Space Exploration with Automatic Generation of IP-Based Embedded Software.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

The Implications of Real-Time Behavior in Networks-on-Chip Architectures.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Evaluating High-Level Models for Real-Time Embedded Systems Design.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Urban Planning by Simulation of Population Growth.
Proceedings of the VI Brazilian Symposium on Geoinformatics, 2004

Design of Very Deep Pipelined Multipliers for FPGAs.
Proceedings of the 2004 Design, 2004

Unified Component Integration Flow for Multi-Processor SoC Design and Validation.
Proceedings of the 2004 Design, 2004

2003
Tangram - Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment.
Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

CACO-PS: A General Purpose Cycle-Accurate Configurable Power Simulator.
Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

Scheduling Policy Costs on a JAVA Microcontroller.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Power-aware NoC Reuse on the Testing of Core-based Systems.
Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003

RTC: A Real-Time Communication Middleware on Top of RTAI-Linux .
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

T&D-Bench+ - A Software Environment for Modeling and Simulation of State-of-the-Art Processors.
Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

Combining architecture exploration and a path to implementation to build a complete SoC design flow from system specification to RTL.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002
T&D-Bench: An Environment for Modeling and Simulating Complex Processor Architectures.
Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

2001
An Object-Oriented Methodology for Modeling the Precise Behavior of Processor Architectures.
Proceedings of the SOC Design Methodologies, 2001

A Standardized Co-simulation Backbone.
Proceedings of the SOC Design Methodologies, 2001

2000
A logic for synchronous transitions with dynamic conflict resolution.
CLEI Electron. J., 2000

A Design Methodology for Embedded Systems based on Multiple Processors.
Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

System Synthesis for Multiprocessor Embedded Applications.
Proceedings of the 2000 Design, 2000

1999
A Logic to Specify and Verify Synchronous Transitions.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Object-Oriented Modeling and Co-Simulation of Embedded Systems.
Proceedings of the VLSI: Systems on a Chip, 1999

1998
Modeling an engineering design application using extended object-oriented concepts.
RITA, 1998

Schema Evolution in the STAR Framework.
RITA, 1998

1997
Modelling an Engineering Design Application Using Extended Object-Oriented Concepts.
Proceedings of the Database Systems for Advanced Applications '97, 1997

1995
Ferramentas de suporte às tarefas da análise exploratória visual.
RITA, 1995

Design management requirements for hardware description languages.
Proceedings of the Proceedings EURO-DAC'95, 1995

1994
A tightly coupled approach to design and data management.
Proceedings of the Proceedings EURO-DAC'94, 1994

1993
Prevail-DM: A Framework-Based Environment for Formal Hardware Verification.
Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1992
Design Version Management in the STAR Framework.
Proceedings of the Electronic Design Automation Frameworks: When will the promise be realized? Proceedings of the Third IFIP WG10.2/WG10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6 Bad Lippspringe, 1992

1991
Design Version Management in the GARDEN Framework.
Proceedings of the 28th Design Automation Conference, 1991

1989
Representing Digital Systems as Complex Objects.
Proceedings of the Datenbanksysteme in Büro, 1989

1983
Über die Austauschbarkeit von Universalität und Effizienz bei Instanzennetzsimulatoren, insbesondere für digitale Hardware.
PhD thesis, 1983


  Loading...