Peter Frey

	2002
11		Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander: A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. IEEE Trans. Software Eng. 28(1): 58-78 (2002)
	2000
10		Peter Frey, Donald O'Riordan: Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules. BMAS 2000: 103-108
9		Peter Frey, Radharamanan Radhakrishnan: Parallel mixed-technology simulation. PADS 2000: 7-14
	1999
8		Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. HICSS 1999
7		Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: A Formal Framework for Specifying and Verifying Time Warp Optimizations. IPPS/SPDP Workshops 1999: 1228-1242
	1998
6		John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey: Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23
5		Peter Frey, Radharamanan Radhakrishnan: Optimistic Synchronization of Mixed-Mode Simulators. IPPS/SPDP 1998: 694-699
4		Peter Frey, Kathiresan Nellayappan, Vasudevan Sahnmugasundaram, Ramesh Sankaran Mayiladuthurai, Chetput L. Chandrashekar, Harold W. Carter: SEAMS: Simulation Environment for VHDL-AMS. Winter Simulation Conference 1998: 539-546
	1997
3		Peter Frey, Harold W. Carter, Philip A. Wilsey: Parallel Synchronization of Continuous Time Discrete Event Simulators. ICPP 1997: 227-
2		Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazaleh, Philip A. Wilsey: A Framework for Performance Analysis of Parallel Discrete Event Simulators. Winter Simulation Conference 1997: 429-436
	1996
1		Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey: Formal Specification and Verification of the pGVT Algorithm. FME 1996: 405-424

Coauthor Index

1	Nael B. Abu-Ghazaleh	[2]
2	Perry Alexander	[1] [6] [7] [8] [11]
3	Vijay Balakrishnan	[2]
4	Harold W. Carter	[3] [4] [7] [8] [11]
5	Chetput L. Chandrashekar	[4]
6	Victoria Chernyakhovsky	[7]
7	Balakrishnan Kannikeswaran	[1]
8	Dale E. Martin	[6]
9	Ramesh Sankaran Mayiladuthurai	[4]
10	Kathiresan Nellayappan	[4]
11	Donald O'Riordan	[10]
12	John Penix	[6]
13	Radharamanan Radhakrishnan	[1] [5] [7] [8] [9] [11]
14	Ramanan Radhakrishnan	[6]
15	Vasudevan Sahnmugasundaram	[4]
16	Philip A. Wilsey	[1] [2] [3] [6] [7] [8] [11]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page