Formal Specification and Verification of the pGVT Algorithm. - Balakrishnan Kannikeswaran; Radharamanan Radhakrishnan; Peter Frey; Perry Alexander; Philip A. Wilsey (FME, 1996)

Parallel Synchronization of Continuous Time Discrete Event Simulators. - Peter Frey; Harold W. Carter; Philip A. Wilsey (ICPP, 1997)

A Framework for Performance Analysis of Parallel Discrete Event Simulators. - Vijay Balakrishnan; Peter Frey; Nael B. Abu-Ghazaleh; Philip A. Wilsey (WSC, 1997)

Experiences in verifying parallel simulation algorithms. - John Penix; Dale E. Martin; Peter Frey; Ramanan Radhakrishnan; Perry Alexander; Philip A. Wilsey (FMSP, 1998)

Optimistic Synchronization of Mixed-Mode Simulators. - Peter Frey; Radharamanan Radhakrishnan (IPPS/SPDP, 1998)

SEAMS: Simulation Environment for VHDL-AMS. - Peter Frey; Kathiresan Nellayappan; Vasudevan Sahnmugasundaram; Ramesh Sankaran Mayiladuthurai; Chetput L. Chandrashekar; Harold W. Carter (WSC, 1998)

An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. - Peter Frey; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander; Harold W. Carter (HICSS, 1999)

A Formal Framework for Specifying and Verifying Time Warp Optimizations. - Victoria Chernyakhovsky; Peter Frey; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander; Harold W. Carter (IPPS/SPDP Workshops, 1999)

Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules. - Peter Frey; Donald O'Riordan (BMAS, 2000)

Parallel mixed-technology simulation. - Peter Frey; Radharamanan Radhakrishnan (PADS, 2000)

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. - Peter Frey; Radharamanan Radhakrishnan; Harold W. Carter; Philip A. Wilsey; Perry Alexander (IEEE Trans. Software Eng., 2002)

High level synthesis of a Front End filter and DSP engine for analog to digital conversion - a case study. - Jose G. Mena; Richard Deken; James E. Coker; Mark S. Johnstone; Sergio R. Ramirez; Peter Frey (VTS, 2010)