Contact The DL Team Contact Us | Switch to tabbed view

top of pageABSTRACT

An abstract is not available.
Advertisements



top of pageAUTHORS



Author image not provided  John Penix

No contact information provided yet.

Bibliometrics: publication history
Publication years1995-2014
Publication count28
Citation Count278
Available for download13
Downloads (6 Weeks)23
Downloads (12 Months)438
Downloads (cumulative)5,436
Average downloads per article418.15
Average citations per article9.93
View colleagues of John Penix


Author image not provided  Dale Martin

No contact information provided yet.

Bibliometrics: publication history
Publication years1996-2004
Publication count12
Citation Count69
Available for download3
Downloads (6 Weeks)0
Downloads (12 Months)0
Downloads (cumulative)378
Average downloads per article126.00
Average citations per article5.75
View colleagues of Dale Martin


Author image not provided  Peter Frey

No contact information provided yet.

Bibliometrics: publication history
Publication years1996-2002
Publication count11
Citation Count37
Available for download4
Downloads (6 Weeks)1
Downloads (12 Months)7
Downloads (cumulative)795
Average downloads per article198.75
Average citations per article3.36
View colleagues of Peter Frey


Author image not provided  Ramanan Radhakrishnan

No contact information provided yet.

Bibliometrics: publication history
Publication years1996-2002
Publication count21
Citation Count85
Available for download8
Downloads (6 Weeks)4
Downloads (12 Months)22
Downloads (cumulative)2,185
Average downloads per article273.13
Average citations per article4.05
View colleagues of Ramanan Radhakrishnan


Author image not provided  Perry Alexander

No contact information provided yet.

Bibliometrics: publication history
Publication years1995-2015
Publication count45
Citation Count89
Available for download9
Downloads (6 Weeks)15
Downloads (12 Months)336
Downloads (cumulative)1,571
Average downloads per article174.56
Average citations per article1.98
View colleagues of Perry Alexander


Author image not provided  Philip A. Wilsey

No contact information provided yet.

Bibliometrics: publication history
Publication years1986-2013
Publication count100
Citation Count379
Available for download24
Downloads (6 Weeks)3
Downloads (12 Months)59
Downloads (cumulative)4,652
Average downloads per article193.83
Average citations per article3.79
View colleagues of Philip A. Wilsey

top of pageREFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
2
 
3
H. Bauer and C. Sporrer. Distributed logic simulation and au approach to asynchronous GVT-calculation. In 6th Workshop on Parallel and Distributed Simulation, pages 205-208. Society ~r Computer Simulation, January 1992.
 
4
S. Bellenot. Global vixtual time algorithm~ In D/stributed Simulation, pages 122-127. Society for Computes Simulation, January 1990.
5
 
6
Yi-Bing Lin and E. Lazowska. Determln~g the global virtual time in a distributed simulation. In 1990 International Conference on Parallel Proceszlng, pages III- 201-111-209, 1990.
 
7
8
 
9
 
10
D.E. Martin, T. McBrayer, and P. A. Wilsey. WAm~gO: A time warp simulation kernel f~r analysis and application development, 1995. (available on the ,,ww at http://v~, ece. uc. edu/'paw/w~-'ped/).
 
11
Umamageswartm, K. and Subramaul, K. and Wilsey, P. A. and Alexander, P. Formal Specification and Verification of the Rollback Relaxation Algorithm. Submitted to Journal of Systems Architecture, Special Issue on Distributed Parallel and Distributed Simulation, August 1996.
 
12
 
13
Y. Martin. A Course in Mathematical Logic. Springer- Verlag, 1977.

top of pageCITED BY

top of pageINDEX TERMS

The ACM Computing Classification System (CCS rev.2012)

Note: Larger/Darker text within each node indicates a higher relevance of the materials to the taxonomic classification.

top of pagePUBLICATION

Title FMSP '98 Proceedings of the second workshop on Formal methods in software practice table of contents
Chairmen Mark Ardis Bell Labs
Joanne Atlee Univ. of Waterloo, Waterloo, Ont., Canada
Pages 16-23
Publication Date1998-03-04 (yyyy-mm-dd)
Sponsor SIGSOFT ACM Special Interest Group on Software Engineering
PublisherACM New York, NY, USA ©1998
ISBN: 0-89791-954-8 doi>10.1145/298595.298600
Conference FMSPACM SIGSOFT Workshop on Formal Methods in Software Practice
Paper Acceptance Rate 12 of 44 submissions, 27%
Overall Acceptance Rate 21 of 75 submissions, 28%
Year Submitted Accepted Rate
FMSP '98 44 12 27%
FMSP '00 31 9 29%
Overall 75 21 28%

APPEARS IN
Software

top of pageREVIEWS


Reviews are not available for this item
Computing Reviews logo

top of pageCOMMENTS

Be the first to comment To Post a comment please sign in or create a free Web account

top of pageTable of Contents

Proceedings of the second workshop on Formal methods in software practice
Table of Contents
no previous proceeding |next proceeding next
Automatic verification of railway interlocking systems: a case study
Jakob Lyng Petersen
Pages: 1-6
doi>10.1145/298595.298597
Full text: PDFPDF
Property specification patterns for finite-state verification
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
Pages: 7-15
doi>10.1145/298595.298598
Full text: PDFPDF
Experiences in verifying parallel simulation algorithms
John Penix, Dale Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
Pages: 16-23
doi>10.1145/298595.298600
Full text: PDFPDF
Controller synthesis for the “production cell” case study
Helmut Melcher, Klaus Winkelmann
Pages: 24-33
doi>10.1145/298595.298601
Full text: PDFPDF
Checking properties of safety critical specifications using efficient decision procedures
David Y. W. Park, Jens U. Skakkebæk, Mats P. E. Heimdahl, Barbara J. Czerny, David L. Dill
Pages: 34-43
doi>10.1145/298595.298603
Full text: PDFPDF
Specifying the mode logic of a flight guidance system in CoRE and SCR
Steven P. Miller
Pages: 44-53
doi>10.1145/298595.298856
Full text: PDFPDF
The experimental Estelle Compiler: automatic generation of implementations from formal specifications
Joachim Thees, Reinhard Gotzhein
Pages: 54-61
doi>10.1145/298595.298858
Full text: PDFPDF
Service specifications: to B, or not to B
Bruno Mermet, Dominique Méry
Pages: 62-69
doi>10.1145/298595.298859
Full text: PDFPDF
Verification of an audio control protocol within real time process algebra
Liang Chen
Pages: 70-77
doi>10.1145/298595.298860
Full text: PDFPDF
Formal specification and validation at work: a case study using VDM-SL
Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert
Pages: 78-84
doi>10.1145/298595.298861
Full text: PDFPDF
Low-cost pathways towards formal methods use
Martin S. Feather
Pages: 85-91
doi>10.1145/298595.298862
Full text: PDFPDF
Applying the SCR requirements method to a weapons control panel: an experience report
Constance Heitmeyer, James Kirby, Bruce Labaw
Pages: 92-102
doi>10.1145/298595.298863
Full text: PDFPDF
Designing executable abstractions
Gerard J. Holzmann
Pages: 103-108
doi>10.1145/298595.298864
Full text: PDFPDF

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2016 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Reader    QuickTime    Windows Media Player    Real Player
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder