Minimal Shift Counters and Frequency Division. - Alice M. Tokarnia (DAC, 1993)

Identifying Minimal Shift Counters: A Search Technique. - Alice M. Tokarnia (IEEE Trans. Computers, 1994)

RECASTER: Synthesis of Fault-Tolerant Embedded Systems Based on Dynamically Reconfigurable FPGAs. - Christian F. da Silva; Alice M. Tokarnia (IPDPS, 2004)

Design of Trace-Based Split Array Caches for Embedded Applications. - Alice M. Tokarnia; Marina Tachibana (DSD, 2010)

Path-Based Dynamic Voltage and Frequency Scaling Algorithms for Multiprocessor Embedded Applications with Soft Delay Deadlines. - Alice M. Tokarnia; Pedro C. F. Pepe; Leandro D. Pagotto (DSD, 2011)

Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems. - Alice M. Tokarnia; Emerson P. Cruz (DSD, 2013)