Antônio Augusto Fröhlich

Orcid: 0000-0002-4063-1339

Affiliations:
  • Federal University of Santa Catarina, Florianopolis, Brazil


According to our database1, Antônio Augusto Fröhlich authored at least 138 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Monitoring the performance of multicore embedded systems without disrupting its timing requirements.
Des. Autom. Embed. Syst., December, 2023

A Secure IIoT Gateway Architecture based on Trusted Execution Environments.
J. Netw. Syst. Manag., April, 2023

A Method to Evaluate the Performance of Predictors in Cyber-Physical Systems.
Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Securing Cyber-Physical Systems Against GPS Spoofing Attacks Using Confidence Attribution.
Proceedings of the International Conference on Software, 2023

Data-Centric Design for Formal Verification of Vehicle Monitoring.
Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

Physics-Informed Neural Networks for Monitoring Dynamic Systems: Wind Turbine Study Case.
Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

Using Formal Methods for On-The-Fly Time Series Verification.
Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

2022
Online Machine Learning for Energy-Aware Multicore Real-Time Embedded Systems Database.
Dataset, May, 2022

Security and Effectiveness Analysis of the Gateway Integrity Checking Protocol.
IEEE Trans. Dependable Secur. Comput., 2022

Online Machine Learning for Energy-Aware Multicore Real-Time Embedded Systems.
IEEE Trans. Computers, 2022

Exploring Audit Data Retrieval Regimens in the Gateway Integrity Checking Protocol.
Proceedings of the 18th IEEE International Conference on Factory Communication Systems, 2022

Integrating Autonomous Vehicle Simulation Tools using SmartData.
Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

Using Formal Methods to Specify Data-Driven Cyber-Physical Systems.
Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022

A PUF-based Secure Bootstrap Protocol for Cyber-Physical System Networks.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems.
Proceedings of the IECON 2022, 2022

Modeling Misbehavior Detection Timeliness in VANETs.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Intrusion Detection in Multicore Embedded Systems based on Artificial Immune Systems.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Embedding Anomaly Detection Autoencoders for Wind Turbines.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021
Automated fault detection for additive manufacturing using vibration sensors.
Int. J. Comput. Integr. Manuf., 2021

An analysis of the Gateway Integrity Checking Protocol from the perspective of Intrusion Detection Systems.
Des. Autom. Embed. Syst., 2021

Anomaly Detection on Wind Turbines Based on a Deep Learning Analysis of Vibration Signals.
Appl. Artif. Intell., 2021

Performance Monitoring Features in EPOS.
Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

2020
Modeling Time Requirements of CPS in Wireless Networks.
Sensors, 2020

A new feature extraction process based on SFTA and DWT to enhance classification of ceramic tiles quality.
Mach. Vis. Appl., 2020

Towards deterministic FPGA reconfiguration.
Int. J. Embed. Syst., 2020

Data Confidence Applied to Wind Turbine Power Curves.
Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

A Fault Injection Framework for Real-time Multicore Embedded Systems.
Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

2019
Increasing sensor reliability through confidence attribution.
J. Braz. Comput. Soc., 2019

Byzantine Resilient Protocol for the IoT.
IEEE Internet Things J., 2019

IoT Gateway Integrity Checking Protocol.
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

Anomaly Detection in Multicore Embedded Systems.
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

A Framework to Design and Implement Real-time Multicore Schedulers using Machine Learning.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
Design and implementation of a cross-layer IoT protocol.
Sci. Comput. Program., 2018

SmartData: an IoT-ready API for sensor networks.
Int. J. Sens. Networks, 2018

Data-Centric Cyber-Physical Systems Design with Smartdata.
Proceedings of the 2018 Winter Simulation Conference, 2018

Low-Latency Secure Roaming in V2I Networks.
Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

Applying Non-destructive Testing and Machine Learning to Ceramic Tile Quality Control.
Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

CHIPS-AHOy: a predictable holistic cyber-physical hypervisor for MPSoCs.
Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

Ambient Intelligence for the Internet of Things Through Context-Awareness.
Proceedings of the 2018 International Symposium on Rapid System Prototyping, 2018

WSN Data Confidence Attribution Using Predictors.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

IoT Data Integrity Verification for Cyber-Physical Systems Using Blockchain.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

FT-TSTP: A Multi-Gateway Fully Reactive Geographical Routing Protocol to Improve WSN Reliability.
Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2018

2017
OS Support for Adaptive Components in Self-aware Systems.
ACM SIGOPS Oper. Syst. Rev., 2017

Two-phase colour-aware multicore real-time scheduler.
IET Comput. Digit. Tech., 2017

Time Synchronization under Temperature and Distance Variations.
Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

Space-Time Derivative-Based Prediction: A Novel Trickling Mechanism for WSN.
Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

2016
5th Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev., 2016

Evaluation of a Connectionless Technique for System-on-Chip Interconnection.
J. Circuits Syst. Comput., 2016

On the Impact of Dynamic Routing Metrics on a Geographic Protocol for WSNs.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Mutant Components: Efficiently Managing Multiple Implementations.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Virtualizing Mixed-Criticality Operating Systems.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Speculative Precision Time Protocol: Submicrosecond clock synchronization for the IoT.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

TSTP MAC: A Foundation for the Trustful Space-Time Protocol.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
On the Design and Evaluation of a Real-Time Operating System for Cache-Coherent Multicore Architectures.
ACM SIGOPS Oper. Syst. Rev., 2015

A Survey on Cache Management Mechanisms for Real-Time Embedded Systems.
ACM Comput. Surv., 2015

Evaluation of Energy-Efficient Heuristics for ACO-based Routing in Mobile Wireless Sensor Networks.
CoRR, 2015

Experimental analysis of solar energy harvesting circuits efficiency for low power applications.
Comput. Electr. Eng., 2015

Key Establishment and Trustful Communication for the Internet of Things.
Proceedings of the SENSORNETS 2015, 2015

On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems.
Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

X-Ware: mutant computing substrates.
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Proper handling of interrupts in cyber-physical systems.
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Design rationale of a cross-layer, Trustful Space-Time Protocol for Wireless Sensor Networks.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A Framework for Dynamic Real-Time Reconfiguration.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014
Toward Unified Design of Hardware and Software Components Using C++.
IEEE Trans. Computers, 2014

Brazilian symposium on computer system engineering, November 2013.
ACM SIGOPS Oper. Syst. Rev., 2014

Aspect-oriented RTL HW design using SystemC.
Microprocess. Microsystems, 2014

A metaprogrammed C++ framework for hardware/software component integration and communication.
J. Syst. Archit., 2014

Evaluation of silicon consumption for a connectionless Network-on-Chip.
CoRR, 2014

Improvements in Wireless Communication and Support for WMSN in IEEE 1451.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

On the Influence of Shared Memory Contention in Real-Time Multicore Applications.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Wireless sensor network UML profile to support model-driven development.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

CAP: Color-aware task partitioning for multicore real-time applications.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
On the formal verification of component-based embedded operating systems.
ACM SIGOPS Oper. Syst. Rev., 2013

Implementation and evaluation of global and partitioned scheduling in a real-time OS.
Real Time Syst., 2013

Performance evaluation of receiver based MAC using configurable framework in WSNs.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

An Implementation of the AES Cipher Using HLS.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Dynamic Adjustment of Transmission Power of Mobile Ad-Hoc Wireless Sensor Networks.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Model-Driven Development of WSN Applications.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

An experimental evaluation of the cache partitioning impact on multicore real-time schedulers.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Seamless integration of HW/SW components in a HLS-based SoC design environment.
Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, 2013

A cross-layer approach to trustfulness in the Internet of Things.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

AEP - Automatic Exchange of Embedded System Software Parameters.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

2012
Implementing OS components in hardware using AOP.
ACM SIGOPS Oper. Syst. Rev., 2012

Brazilian symposium on computing system engineering.
ACM SIGOPS Oper. Syst. Rev., 2012

Time Synchronization at OS Level Using the IEEE 1588 Protocol.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Real-Time Dynamic Voltage Scaling for the EPOS Operating System.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

System-Level Verification of Embedded Operating Systems Components.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

An operating system runtime reprogramming infrastructure for WSN.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

On AOP techniques for C++-based HW/SW component implementation.
Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Using multiple channels to improve SDR flexibility and performance.
Proceedings of the International Conference on Computing, Networking and Communications, 2012

2011
A Comprehensive Approach to Power Management in Embedded Systems.
Int. J. Distributed Sens. Networks, 2011

Periodic timers revisited: The real-time embedded system perspective.
Comput. Electr. Eng., 2011

On the monitoring of system-level energy consumption of battery-powered embedded systems.
Proceedings of the IEEE International Conference on Systems, 2011

A Case Study of AOP and OOP Applied to Digital Hardware Design.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Interfacing Hardware Devices to Embedded Java.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Tutorial 2: Wireless Sensor Networks.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

API for Performance Monitoring in Embedded Multicore Systems.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

AD-ZRP: Ant-based routing algorithm for dynamic wireless sensor networks.
Proceedings of the 18th International Conference on Telecommunications, 2011

High-level design and synthesis of a resource scheduler.
Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011

Ant-based Dynamic Hop Optimization Protocol: A routing algorithm for Mobile Wireless Sensor Networks.
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2011

A Trustful Infrastructure for the Internet of Things Based on EPOSMote.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010
A configurable medium access control protocol for IEEE 802.15.4 networks.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2010

ELUS: A dynamic software reconfiguration infrastructure for embedded systems.
Proceedings of the 17th International Conference on Telecommunications, 2010

A run-time memory management approach for scratch-pad-based embedded systems.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Operating System Support for Difference-Based Partial Hardware Reconfiguration.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

A Hybrid Hardware and Software Component Architecture for Embedded System Design.
Proceedings of the Analysis, 2009

On the Design of Flexible Real-Time Schedulers for Embedded Systems.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008
Power management in the EPOS system.
ACM SIGOPS Oper. Syst. Rev., 2008

Adaptação de um decodificador MPEG-2 a uma API DSP multiplataforma.
Proceedings of the Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web, 2008

One-Shot Time Management Analysis in EPOS.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems.
Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008

2007
A Tool for Supporting and Automating the Development of Component-based Embedded Systems.
J. Object Technol., 2007

Configurable Medium Access Control for Wireless Sensor Networks.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Integrating Wireless Sensor Networks and the Grid through POP-C++.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

A power manager for deeply embedded systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

New developments in EPOS tools for configuring and generating embedded systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006
A decentralized location system for sensor networks using cooperative calibration and heuristics.
Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2006

A Hierarchical Approach for Power Management on Mobile Embedded Systems.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Operating System Support for Data Acquisition in Sensor Networks.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Application-Oriented System Design as an Embedded Systems Development Strategy: a critical analysis.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Operating Systems Portability: 8 bits and beyond.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
Bridging AOP to SMP: turning GCC into a metalanguage preprocessor.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

An Application-Oriented Approach for the Generation of SOC-Based Embedded Systems.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

A Customizable Component for Low-Level Communication Software.
Proceedings of the 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 2005

On the automatic generation of SoC-based embedded systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

On the automatic configuration of application-oriented operating systems.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004
An Improvement Over the CODA Filterfor LC-MS Analysis.
Proceedings of the III Brazilian Workshop on Bioinformatics, 2004

High Performance Communication System Based on Generic Programming.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004

Hardware Mediators: A Portability Artifact for Component-Based Systems.
Proceedings of the Embedded and Ubiquitous Computing, 2004

RIFFS: Reverse Indirect Flash File System.
Proceedings of the Embedded and Ubiquitous Computing, 2004

2001
Application oriented operating systems.
PhD thesis, 2001

On Component-Based Communication Systems for Clusters of Workstation.
Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

2000
On architecture transparency in operating systems.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

EPOS and Myrinet: Effective Communication Support for Parallel Applications Running on Clusters of Commodity Workstations.
Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

1999
Tailor-Made Operating Systems for Embedded Parallel Applications.
Proceedings of the Parallel and Distributed Processing, 1999

EPOS: An Object-Oriented Operating System.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
SMP PCs: A Case Study on Cluster Computing.
Proceedings of the 24th EUROMICRO '98 Conference, 1998


  Loading...