{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T06:10:03Z","timestamp":1734934203274,"version":"3.32.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1007\/bf01088622","type":"journal-article","created":{"date-parts":[[2005,2,8]],"date-time":"2005-02-08T10:10:59Z","timestamp":1107857459000},"page":"57-90","source":"Crossref","is-referenced-by-count":4,"title":["Formal timing analysis for distributed real-time programs"],"prefix":"10.1007","volume":"7","author":[{"given":"Horst F.","family":"Wedde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Korel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorota M.","family":"Huizinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Computers and Intractability","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson.Computers and Intractability. W. H. Freeman & Co., New York, 1979."},{"key":"CR2","unstructured":"M. S. Hecht.Flow Analysis of Computer Programs. Elsevier North-Holland, 1977."},{"issue":"6","key":"CR3","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/360825.360861","volume":"18","author":"D. S. Hirschberg","year":"1987","unstructured":"D. S. Hirschberg. A linear space algorithm for computing maximal common sequences.CACM, 18(6):341?349, 1987.","journal-title":"CACM"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"C. S. Hsieh. Timing analysis of cyclic concurrent programs. InProceedings of the International Conference Software Engineering, pages 312?318, May 1986.","DOI":"10.1109\/ICSE.1989.714440"},{"key":"CR5","unstructured":"D. Huizinga.Analysis of Timing properties for Distributed Real-Time Programs. Ph.D. Thesis, Wayne State University, August 1991."},{"issue":"8","key":"CR6","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"36","author":"F. Jahanian","year":"1987","unstructured":"F. Jahanian and A. K. Mok. A graph-theoretic approach for timing analysis and its implementation.IEEE Transactions on Computers, 36(8):961?975, 1987.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"CR7","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems.IEEE Transactions on Software Engineering, 12(3):890?904, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"CR8","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic.Real-Time Systems, 2(4):255?299, 1990.","journal-title":"Real-Time Systems"},{"issue":"12","key":"CR9","doi-asserted-by":"crossref","first-page":"1139","DOI":"10.1109\/TSE.1986.6313009","volume":"12","author":"D. W. Leinbaugh","year":"1986","unstructured":"D. W. Leinbaugh and M-R. Yamini. Guaranteed response time in a distributed hard real-time environment.IEEE Transactions on Software Engineering, 12(12):1139?1144, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR10","unstructured":"D. W. Leinbaugh and M-R. Yamini. Guaranteed response time in a distributed hard-real-time environment. InProc. of the IEEE Real-Time Systems Symposium, pages 157?169, Dec. 1982."},{"key":"CR11","unstructured":"G. J. Myers.The Arts of Software Testing. John Wiley & Sons, 1979."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"K. T. Narayana and A. A. Aaby. Specification of real-time systems in real-time interval logic. InProceedings of the Real-Time Systems Symposium, Huntsville, AL, pages 86?95, Dec. 1988.","DOI":"10.1109\/REAL.1988.51104"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"V. Nirkhe and W. Pugh.Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems, 9th ACM POPL Symposium, Albuquerque, pages 269?280, January 1992.","DOI":"10.1145\/143165.143223"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"V. Nirkhe and W. Pugh.Application of Partial Evaluation to Hard Real-Time Programming, IEEE RTOSS'91, Atlanta\/Georgia, May 1991.","DOI":"10.1016\/S1474-6670(17)51273-2"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"C. Park and A. C. Shaw.Experiments with a Program Timing Tool on a Source-Level Timing Schema, IEEE RTSS'90, Orlando\/Florida, December 1990.","DOI":"10.1109\/REAL.1990.128731"},{"issue":"2","key":"CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"P. Puschner and Ch. Koza. Calculating the maximum execution time of real-time programs.Real-Time Systems, 1(2):159?176, 1989.","journal-title":"Real-Time Systems"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"R. L. Schwartz, P. M. Melliar-Smith, and F. H. Vogt. An interval logic for high-level temporal reasoning. InProceedings of the 2-nd Annual ACM Symposium on Principles of Distributed Computing, pages 173?185, 1983.","DOI":"10.1145\/800221.806720"},{"key":"CR18","unstructured":"F. L. Schneider. Critical issues in real-time systems. Technical Report 88?914, Dept. of Computer Science, Cornell University (May 1988)."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"A. C. Shaw. Reasoning about time in higher-level language software.IEEE Transactions on Software Engineering, 15(7), 1989.","DOI":"10.1109\/32.29487"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"L. Sha and J. B. Goodenough. Real-time scheduling theory and Ada.IEEE Computer, April: 53?62, 1990.","DOI":"10.1109\/2.55469"},{"key":"CR21","unstructured":"J. A. Stankovic. Misconceptions about real-time computing.IEEE Computer, Oct.:10?19, 1988."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko and T. J. Marlowe. Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention.Real-Time Systems, 4(4), 1992.","DOI":"10.1007\/BF00355297"},{"key":"CR23","unstructured":"A. D. Stoyenko. A schedulability analyzer for real-time Euclid. InProceedings of the IEEE Real-Time Systems Symposium, San Jose, CA, pages 218?227, Dec. 1987."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko, V. C. Hamacher, and R. C. Holt. Analyzing hard real-time programs for guaranteed schedulability.IEEE Transactions on Software Engineering, 17(8), 1991.","DOI":"10.1109\/32.83911"},{"issue":"5","key":"CR25","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1145\/69586.69587","volume":"26","author":"R. Taylor","year":"1983","unstructured":"R. Taylor. A general-purpose algorithm for analyzing concurrent programs.CACM, 26(5):362?376, 1983.","journal-title":"CACM"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"H. F. Wedde, B. Korel, and D. M. Huizinga. A critical path approach for testing distributed real-time programs. InProceedings of the 24-th International Hawaiian Conference on System Sciences, Kauwai\/Hawaii, vol. 2, pages 400?407, Jan. 1991.","DOI":"10.1109\/HICSS.1991.184002"},{"issue":"8","key":"CR27","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/359763.359798","volume":"20","author":"N. Wirth","year":"1977","unstructured":"N. Wirth. Toward a discipline of real-time programming.CACM, 20(8):577?583, 1977.","journal-title":"CACM"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088622.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088622\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T05:38:20Z","timestamp":1734932300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["BF01088622"],"URL":"https:\/\/doi.org\/10.1007\/bf01088622","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}