A Fault Tolerant Design Methodology for a FPGA-Based Softcore Processor. - Paulo Garcia; Tiago Gomes 001; Filipe Salgado; Jorge Cabral 001; Paulo Cardoso; Mongkol Ekpanyapong; Adriano Tavares (CESCIT, 2012)

Reliability correlation between physical and virtual cores at the ISA level. - Paulo Garcia; Tiago Gomes 001; Filipe Salgado; Paulo Cardoso; Jorge Cabral 001; Mongkol Ekpanyapong (ETFA, 2012)

Shifting SOA to MPSoC: An exploratory example of application. - Filipe Salgado; Paulo Garcia; Tiago Gomes 001; João Vale; Sandro Pinto 001; Jorge Cabral 001; Mongkol Ekpanyapong (ETFA, 2012)

Multi-Camera Home Appliance Network: Handling device interoperability. - Nuno Cardoso; Paulo Garcia; Tiago Gomes 001; Filipe Salgado; Pedro Miguel Rodrigues; Jorge Cabral 001; José Mendes; Adriano Tavares (INDIN, 2012)

A PID controller module tightly-coupled on a processor datapath. - Tiago Gomes 001; Filipe Salgado; Paulo Garcia; José Mendes; João Monteiro 001; Adriano Tavares (ISIE, 2012)

Exploring metrics tradeoffs in a multithreading extensible processor. - Filipe Salgado; Paulo Garcia; Tiago Gomes 001; Jorge Cabral 001; João Monteiro 001; Adriano Tavares; Mongkol Ekpanyapong (ISIE, 2012)

RAPTOR-Design: Refactorable Architecture Processor to Optimize Recurrent Design. - Paulo Garcia; Tiago Gomes 001; Filipe Salgado; Jorge Cabral 001; João Monteiro 001; Adriano Tavares (SBESC, 2012)

A generative-oriented model-driven design environment for customizable video surveillance systems. - Nuno Cardoso; Pedro Miguel Rodrigues; João Vale; Paulo Garcia; Paulo Cardoso; João Monteiro 001; Jorge Cabral 001; José Mendes; Mongkol Ekpanyapong; Adriano Tavares (EURASIP J. Embed. Syst., 2012)

Generative component-based IP camera design. - Paulo Garcia; Nuno Cardoso; Tiago Gomes 001; Filipe Salgado; Paulo Cardoso; José Mendes; Adriano Tavares (ISIE, 2013)

Hardware-software extensions to a softcore processor for FPGA-based adaptive PID control. - Tiago Gomes 001; Paulo Garcia; Sandro Pinto 001; Filipe Salgado; Jorge Cabral 001; João Monteiro 001; Adriano Tavares (ISIE, 2013)

SW and HW speculative Nelder-Mead execution for high performance unconstrained optimization. - Artur Mariano; Paulo Garcia; Tiago Gomes 001 (ISSoC, 2013)

Towards hardware embedded virtualization technology: architectural enhancements to an ARM SoC. - Paulo Garcia; Tiago Gomes 001; Filipe Salgado; João Monteiro 001; Adriano Tavares (SIGBED Rev., 2014)

RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore. - Tiago Gomes 001; Sandro Pinto 001; Paulo Garcia; Adriano Tavares (ETFA, 2015)

Task-Aware Interrupt Controller: Priority Space Unification in Real-Time Systems. - Tiago Gomes 001; Paulo Garcia; Filipe Salgado; João Monteiro 001; Mongkol Ekpanyapong; Adriano Tavares (IEEE Embed. Syst. Lett., 2015)

A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. - Robert J. Stewart 001; Greg J. Michaelson; Deepayan Bhowmik; Paulo Garcia; Andy Wallace (ICA3PP Workshops, 2016)

On-Chip Message Passing Sub-System for Embedded Inter-Domain Communication. - Paulo Garcia; Tiago Gomes 001; João Monteiro 001; Adriano Tavares; Mongkol Ekpanyapong (IEEE Comput. Archit. Lett., 2016)

Bringing Hardware Multithreading to the Real-Time Domain. - Tiago Gomes 001; Paulo Garcia; Sandro Pinto 001; João Monteiro 001; Adriano Tavares (IEEE Embed. Syst. Lett., 2016)

Hybrid real-time operating systems: deployment of critical FreeRTOS features on FPGA. - Tiago Gomes 001; Jorge Pereira; Paulo Garcia; Filipe Salgado; Vitor Alberto Silva; Sandro Pinto 001; Mongkol Ekpanyapong; Adriano Tavares (Int. J. Embed. Syst., 2016)

Power efficient dataflow design for a heterogeneous smart camera architecture. - Deepayan Bhowmik; Paulo Garcia; Andrew M. Wallace; Robert J. Stewart 001; Greg Michaelson (DASIP, 2017)

Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. - Paulo Garcia; Deepayan Bhowmik; Andrew M. Wallace; Robert J. Stewart 001; Greg Michaelson (ARC, 2018)

RIPL: A Parallel Image Processing Language for FPGAs. - Rob Stewart 001; Kirsty Duncan; Greg Michaelson; Paulo Garcia; Deepayan Bhowmik; Andrew M. Wallace (ACM Trans. Reconfigurable Technol. Syst., 2018)

Graphical program transformations for embedded systems. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (SAC, 2019)

Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. - Paulo Garcia; Deepayan Bhowmik; Robert J. Stewart 001; Greg Michaelson; Andrew M. Wallace (J. Imaging, 2019)

Verifying parallel dataflow transformations with model checking and its application to FPGAs. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (J. Syst. Archit., 2019)

Towards a Programming Paradigm for Reconfigurable Computing: Asynchronous Graph Programming. - Joshua Fryer; Paulo Garcia (ETFA, 2020)

Programming Abstractions for Configurable Hardware: Survey and Research Directions. - Samuel Dewan; Paulo Garcia (FPGA, 2020)

Coherency overhead of Processing-in-Memory in the presence of shared data. - Ryan Fife; Ifiok Udoh; Paulo Garcia (ICIT, 2020)

Ethical Applications of Big Data-Driven AI on Social Systems: Literature Analysis and Example Deployment Use Case. - Paulo Garcia; Francine Darroch; Leah West; Lauren BrooksCleator (Inf., 2020)

Modeling Pandemic Response for Populations Equipped with Contact-Chain Capable Wearable Devices. - Joshua Fryer; Paulo Garcia (ANNSIM, 2021)

Near-Native Interrupt Latency in Real-Time Guests: Handler Emulation Through Memory Map Morphing. - Farhad Andalibi; Paulo Garcia (ICCDE, 2021)

Strategies for Heterogeneous Multi-Core Processing Based on Graph Programming. - Joshua Fryer; Paulo Garcia (ICCDE, 2021)

Effectiveness of Multi-Abstraction Computing Tools on Promoting Exploratory Self-learning in Engineering: a Case Study using a Custom Real-Time Operating System for Remote Learning. - Paulo Garcia (IECON, 2021)

Internet of Wearables: Fog Extrapolation for Reduced Data Collection and Expanded Capture Volume in Real-Time Motion Capture Edge Devices. - Shaun Stevens; Paulo Garcia; Hyong Kim 001 (CloudCom, 2022)

Improved Joint Estimation for Body-Mounted Motion Capture Sensors Using Human Kinematics Prior Knowledge. - Shaun Stevens; Paulo Garcia; Hyong Kim 001 (IEEE SENSORS, 2022)

Arbitrarily Parallelizable Code: A Model of Computation Evaluated on a Message-Passing Many-Core System. - Sebastien Cook; Paulo Garcia (Comput., 2022)

Intelligent Autonomous Robots: Cooperative Sharing for Energy Management in Industrial IoT. - Warisa Sritriratanarak; Paulo Garcia (AIMLR, 2023)

On a Functional Definition of Intelligence. - Warisa Sritriratanarak; Paulo Garcia (CoRR, 2023)

FPGAs (Can Get Some) SATisfaction. - Hariprasadh Govindasamy; Babak Esfandiari; Paulo Garcia (CoRR, 2023)

The Good, the Bad and the Ugly: Practices and Perspectives on Hardware Acceleration for Embedded Image Processing. - Joshua Fryer; Paulo Garcia (J. Signal Process. Syst., 2023)

Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs. - Hariprasadh Govindasamy; Babak Esfandiari; Paulo Garcia (ACM Great Lakes Symposium on VLSI, 2024)

PHYOT: Physics-Informed Object Tracking in Surveillance Cameras. - Kawisorn Kamtue; José M. F. Moura; Orathai Sangpetch; Paulo Garcia (ICASSP, 2024)

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits. - Paulo Garcia (CoRR, 2024)

Agents Need Not Know Their Purpose. - Paulo Garcia (CoRR, 2024)

Cyber Physical Games. - Warisa Sritriratanarak; Paulo Garcia (CoRR, 2024)

Cyber Physical Games: Rational Multi-Agent Decision-Making in Temporally Non-Deterministic Environments. - Warisa Sritriratanarak; Paulo Garcia (ACM Trans. Cyber Phys. Syst., 2025)