BibTeX records: Peter Frey

download as .bib file

@article{DBLP:journals/tse/FreyRCWA02,
  author    = {Peter Frey and
               Radharamanan Radhakrishnan and
               Harold W. Carter and
               Philip A. Wilsey and
               Perry Alexander},
  title     = {A Formal Specification and Verification Framework for Time Warp-Based
               Parallel Simulation},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {28},
  number    = {1},
  pages     = {58--78},
  year      = {2002},
  url       = {https://doi.org/10.1109/32.979989},
  doi       = {10.1109/32.979989},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/FreyRCWA02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmas/FreyO00,
  author    = {Peter Frey and
               Donald O'Riordan},
  title     = {Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules},
  booktitle = {2000 {IEEE/ACM} International Workshop on Behavioral Modeling and
               Simulation, {BMAS} 2000, Orlando, Florida, USA, 18-20 October 2000},
  pages     = {103--108},
  year      = {2000},
  crossref  = {DBLP:conf/bmas/2000},
  url       = {https://doi.org/10.1109/BMAS.2000.888372},
  doi       = {10.1109/BMAS.2000.888372},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bmas/FreyO00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/FreyR00,
  author    = {Peter Frey and
               Radharamanan Radhakrishnan},
  title     = {Parallel mixed-technology simulation},
  booktitle = {Proceedings of the 14th Workshop on Parallel and Distributed Simulation,
               {PADS} 2000, Bologna, Italy, May 28-31, 2000},
  pages     = {7--14},
  year      = {2000},
  crossref  = {DBLP:conf/pads/2000},
  url       = {https://doi.org/10.1109/PADS.2000.847139},
  doi       = {10.1109/PADS.2000.847139},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pads/FreyR00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FreyRWC99,
  author    = {Peter Frey and
               Radharamanan Radhakrishnan and
               Philip A. Wilsey and
               Perry Alexander and
               Harold W. Carter},
  title     = {An Extensible Formal Framework for the Specification and Verification
               of an Optimistic Simulation Protocol},
  booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
               January 5-8, 1999, Maui, Hawaii, {USA}},
  year      = {1999},
  crossref  = {DBLP:conf/hicss/1999},
  url       = {https://doi.org/10.1109/HICSS.1999.772888},
  doi       = {10.1109/HICSS.1999.772888},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/FreyRWC99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ChernyakhovskyFRWAC99,
  author    = {Victoria Chernyakhovsky and
               Peter Frey and
               Radharamanan Radhakrishnan and
               Philip A. Wilsey and
               Perry Alexander and
               Harold W. Carter},
  title     = {A Formal Framework for Specifying and Verifying Time Warp Optimizations},
  booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
               in Conjunction with the 13th International Parallel Processing Symposium
               and 10th Symposium on Parallel and Distributed Processing, San Juan,
               Puerto Rico, USA, April 12-16, 1999, Proceedings},
  pages     = {1228--1242},
  year      = {1999},
  crossref  = {DBLP:conf/ipps/1999w},
  url       = {https://doi.org/10.1007/BFb0098005},
  doi       = {10.1007/BFb0098005},
  timestamp = {Fri, 27 Oct 2017 17:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/ChernyakhovskyFRWAC99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/PenixMFRAW98,
  author    = {John Penix and
               Dale E. Martin and
               Peter Frey and
               Ramanan Radhakrishnan and
               Perry Alexander and
               Philip A. Wilsey},
  title     = {Experiences in verifying parallel simulation algorithms},
  booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
               March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  pages     = {16--23},
  year      = {1998},
  crossref  = {DBLP:conf/fmsp/1998},
  url       = {https://doi.org/10.1145/298595.298600},
  doi       = {10.1145/298595.298600},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmsp/PenixMFRAW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FreyR98,
  author    = {Peter Frey and
               Radharamanan Radhakrishnan},
  title     = {Optimistic Synchronization of Mixed-Mode Simulators},
  booktitle = {{IPPS/SPDP}},
  pages     = {694--699},
  year      = {1998},
  url       = {https://doi.org/10.1109/IPPS.1998.670002},
  doi       = {10.1109/IPPS.1998.670002},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/FreyR98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/FreyNSMCC98,
  author    = {Peter Frey and
               Kathiresan Nellayappan and
               Vasudevan Sahnmugasundaram and
               Ramesh Sankaran Mayiladuthurai and
               Chetput L. Chandrashekar and
               Harold W. Carter},
  title     = {{SEAMS:} Simulation Environment for {VHDL-AMS}},
  booktitle = {Proceedings of the 30th conference on Winter simulation, {WSC} 1998,
               Washington DC, USA, December 13-16, 1998},
  pages     = {539--546},
  year      = {1998},
  crossref  = {DBLP:conf/wsc/1998},
  url       = {https://doi.org/10.1109/WSC.1998.745032},
  doi       = {10.1109/WSC.1998.745032},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/FreyNSMCC98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/FreyCW97,
  author    = {Peter Frey and
               Harold W. Carter and
               Philip A. Wilsey},
  title     = {Parallel Synchronization of Continuous Time Discrete Event Simulators},
  booktitle = {1997 International Conference on Parallel Processing {(ICPP} '97),
               August 11-15, 1997, Bloomington, IL, USA, Proceedings},
  pages     = {227--233},
  year      = {1997},
  crossref  = {DBLP:conf/icpp/1997},
  url       = {https://doi.org/10.1109/ICPP.1997.622649},
  doi       = {10.1109/ICPP.1997.622649},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpp/FreyCW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BalakrishnanFAW97,
  author    = {Vijay Balakrishnan and
               Peter Frey and
               Nael B. Abu{-}Ghazaleh and
               Philip A. Wilsey},
  title     = {A Framework for Performance Analysis of Parallel Discrete Event Simulators},
  booktitle = {Proceedings of the 29th conference on Winter simulation, {WSC} 1997,
               Atlanta, GA, USA, December 7-10, 1997},
  pages     = {429--436},
  year      = {1997},
  crossref  = {DBLP:conf/wsc/1997},
  url       = {http://doi.ieeecomputersociety.org/10.1109/WSC.1997.640438},
  doi       = {10.1109/WSC.1997.640438},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/BalakrishnanFAW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KannikeswaranRFAW96,
  author    = {Balakrishnan Kannikeswaran and
               Radharamanan Radhakrishnan and
               Peter Frey and
               Perry Alexander and
               Philip A. Wilsey},
  title     = {Formal Specification and Verification of the pGVT Algorithm},
  booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
               International Symposium of Formal Methods Europe, Co-Sponsored by
               {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  pages     = {405--424},
  year      = {1996},
  crossref  = {DBLP:conf/fm/1996},
  url       = {https://doi.org/10.1007/3-540-60973-3\_99},
  doi       = {10.1007/3-540-60973-3\_99},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/KannikeswaranRFAW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmas/2000,
  title     = {2000 {IEEE/ACM} International Workshop on Behavioral Modeling and
               Simulation, {BMAS} 2000, Orlando, Florida, USA, 18-20 October 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7127},
  isbn      = {0-7695-0893-6},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bmas/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pads/2000,
  editor    = {Lorenzo Donatiello and
               Stephen John Turner and
               David Bruce},
  title     = {Proceedings of the 14th Workshop on Parallel and Distributed Simulation,
               {PADS} 2000, Bologna, Italy, May 28-31, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6840},
  isbn      = {0-7695-0667-4},
  timestamp = {Tue, 07 Jul 2015 17:42:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pads/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicss/1999,
  title     = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
               January 5-8, 1999, Maui, Hawaii, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6293},
  isbn      = {0-7695-0001-3},
  timestamp = {Tue, 05 Apr 2016 11:42:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/1999w,
  editor    = {Jos{\'{e}} D. P. Rolim and
               Frank Mueller and
               Albert Y. Zomaya and
               Fikret Er{\c{c}}al and
               Stephan Olariu and
               Binoy Ravindran and
               Jan Gustafsson and
               Hiroaki Takada and
               Ronald A. Olsson and
               Laxmikant V. Kal{\'{e}} and
               Peter H. Beckman and
               Matthew Haines and
               Hossam A. ElGindy and
               Denis Caromel and
               Serge Chaumette and
               Geoffrey C. Fox and
               Yi Pan and
               Keqin Li and
               Tao Yang and
               G. Ghiola and
               Gianni Conte and
               Luigi V. Mancini and
               Dominique M{\'{e}}ry and
               Beverly A. Sanders and
               Devesh Bhatt and
               Viktor K. Prasanna},
  title     = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
               in Conjunction with the 13th International Parallel Processing Symposium
               and 10th Symposium on Parallel and Distributed Processing, San Juan,
               Puerto Rico, USA, April 12-16, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1586},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/BFb0097882},
  doi       = {10.1007/BFb0097882},
  isbn      = {3-540-65831-9},
  timestamp = {Fri, 27 Oct 2017 17:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/1999w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmsp/1998,
  editor    = {Mark A. Ardis and
               Joanne M. Atlee},
  title     = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
               March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  publisher = {{ACM}},
  year      = {1998},
  isbn      = {0-89791-954-8},
  timestamp = {Thu, 24 Nov 2005 12:15:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmsp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsc/1998,
  editor    = {Deborah J. Medeiros and
               Edward F. Watson and
               John S. Carson II and
               Mani S. Manivannan},
  title     = {Proceedings of the 30th conference on Winter simulation, {WSC} 1998,
               Washington DC, USA, December 13-16, 1998},
  publisher = {{WSC}},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5993},
  isbn      = {0-7803-5134-7},
  timestamp = {Wed, 03 Jun 2015 17:42:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpp/1997,
  title     = {1997 International Conference on Parallel Processing {(ICPP} '97),
               August 11-15, 1997, Bloomington, IL, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4895},
  isbn      = {0-8186-8108-X},
  timestamp = {Fri, 25 Jul 2014 14:09:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsc/1997,
  editor    = {Sigr{\'{u}}n Andrad{\'{o}}ttir and
               Kevin J. Healy and
               David H. Withers and
               Barry L. Nelson},
  title     = {Proceedings of the 29th conference on Winter simulation, {WSC} 1997,
               Atlanta, GA, USA, December 7-10, 1997},
  publisher = {{ACM}},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5065},
  isbn      = {0-7803-4278-X},
  timestamp = {Wed, 03 Jun 2015 17:42:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1996,
  editor    = {Marie{-}Claude Gaudel and
               Jim Woodcock},
  title     = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
               International Symposium of Formal Methods Europe, Co-Sponsored by
               {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1051},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-60973-3},
  doi       = {10.1007/3-540-60973-3},
  isbn      = {3-540-60973-3},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier