{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:22:12Z","timestamp":1742386932706},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"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,11]]},"DOI":"10.1007\/bf01088521","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T07:50:47Z","timestamp":1107762647000},"page":"247-273","source":"Crossref","is-referenced-by-count":41,"title":["Runtime monitoring of timing constraints in distributed real-time systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Farnam","family":"Jahanian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ragunathan","family":"Rajkumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sitaram C. V.","family":"Raju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Arvind, K. 1989. A New Probabilistic Algorithm for Clock Synchronization,Proc. IEEE Real-Time Systems Symp., Santa Monica, pp. 330?339.","DOI":"10.1109\/REAL.1989.63585"},{"key":"CR2","unstructured":"Babaoglu, O. and Marzullo, K. 1993. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanism.in Distributed Systems, S. Mullender (editor), 2nd edition."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Chandy, K. M. and Lamport, L. 1985. Distributed Snapshots: determining global states of distributed systems.ACM Transactions on Computer Systems.","DOI":"10.1145\/214451.214456"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Chodrow, S., Jahanian, F. and Donner, M. 1991. Run-Time Monitoring of Real-Time Systems,Proc. IEEE Real-Time Systems Symp., pp. 74?83.","DOI":"10.1109\/REAL.1991.160360"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/BF01784024","volume":"3","author":"F. Cristian","year":"1989","unstructured":"Cristian, F. 1989. Probabilistic Clock Synchronization,Distributed Computing. 3: 146?158.","journal-title":"Distributed Computing"},{"key":"CR6","unstructured":"Garey, M. R. and Johnson, D. S. 1979.Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Company."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Garg, V. and Waldecker, B. 1992. Unstable Predicate Detection in Distributed Programs,Technical Report, University of Texas at Austin.","DOI":"10.1007\/3-540-56287-7_110"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Haban, D. and Shin, K. G. Dec. 1989. Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times,Proc. IEEE Real-Time Systems Symp., pp. 172?181.","DOI":"10.1109\/REAL.1989.63568"},{"issue":"16","key":"CR9","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/32.44382","volume":"2","author":"D. Haban","year":"1990","unstructured":"Haban, D. and Wybranietz, D.. Feb. 1990. A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems.IEEE Trans. on Software Eng. (16)2: 197?211.","journal-title":"IEEE Trans. on Software Eng."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Jahanian, F. and Goyal, A. June 1990. A Formalism for Monitoring Real-Time Constraints at Run-time,Proc. IEEE Fault-Tolerant Computing Symp., pp. 148?155.","DOI":"10.1109\/FTCS.1990.89350"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Jahanian, F. and Rajkumar, R. May 1991. An Integrated Approach to Monitoring and Scheduling in Real-Time Systems,IEEE Workshop on Real-Time Operating Systems and Software.","DOI":"10.1016\/S1474-6670(17)51276-8"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Kenny, K. B. and Lin, K.-J. May 1991. Building Flexible Real-Time Systems using the Flex Language.Computer, pp. 70?78.","DOI":"10.1109\/2.76288"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Kilpatrick, C., Schwan, K. and Ogle, D. March 1990. Using Languages for Capture, Analysis and Display of Performance Information for Parallel and Distributed Applications,International Conf. on Computer Languages.","DOI":"10.1109\/ICCL.1990.63773"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Koo, R. and Toueg, S. January 1987. Checkpointing and Rollback-recovery for Distributed Systems.IEEE Transactions on Software Engineering, pp. 23?31.","DOI":"10.1109\/TSE.1987.232562"},{"key":"CR15","unstructured":"Kopetz, H. and Verissimo, P. 1993. Real-Time and Dependability Concepts,Distributed Systems, S. Mullender(editor), 2nd Edition, pp. 411?46."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Lundelius, J. and Lynch, N. 1984. An Upper and Lower Bound for Clock Synchronization,Information and Control 62, pp. 190?204.","DOI":"10.1016\/S0019-9958(84)80033-9"},{"key":"CR17","volume-title":"Proc. of 5th International Workshop on Distributed Algorithms (WDAG-91)","author":"K. Marzullo","year":"1991","unstructured":"Marzullo, K. and Neiger, G. 1991. Detection of Global State predicates,Proc. of 5th International Workshop on Distributed Algorithms (WDAG-91), Delphi, Greece, Springer-Verlag."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Marzullo, K. and Sabel, L. March 1992. Using Consistent Subcuts for Detecting Stable Properties,Technical Report Department of Computer Science, Cornell University.","DOI":"10.21236\/ADA237122"},{"key":"CR19","unstructured":"Raju, S. C. V. 1994. Using Assertions for Validating, Verifying and Monitoring Real-Time Systems,Ph.D. Thesis, University of Washington."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Raju, S. C. V., Rajkumar, R., and Jahanian, F. December 1992. Monitoring Timing Constraints in Distributed Real-Time Systems,Proceedings of the 14th Real-Time Systems Symposium, pp. 57?67.","DOI":"10.1109\/REAL.1992.242676"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Raju, S. C. V. and Shaw, A. C. February 1994. ?A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines?,Software ? Practice & Experience, pp. 175?195.","DOI":"10.1002\/spe.4380240203"},{"issue":"6","key":"CR22","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/42186.42323","volume":"2","author":"R. Snodgrass","year":"1988","unstructured":"Snodgrass, R. 1988. A Relational Approach to Monitoring Complex Systems.ACM Trans. on Computer Systems. (6)2: 157?196.","journal-title":"ACM Trans. on Computer Systems"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Tarjan, R. E. 1983.Data Structures and Network Algorithms, Society for Industrial and Applied Mathematics.","DOI":"10.1137\/1.9781611970265"},{"issue":"24","key":"CR24","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/69215.69222","volume":"1","author":"H. Tokuda","year":"1989","unstructured":"Tokuda, H., Koreta M. and Mercer, C. W. Jan. 1989. A Real-Time Monitor for a Distributed Real-Time Operating System,ACM Sigplan Notices. (24)1: 68?77.","journal-title":"ACM Sigplan Notices"},{"issue":"23","key":"CR25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/2.50269","volume":"3","author":"J. P. Tsai","year":"1990","unstructured":"Tsai, J. P., Fang, K-Y and Chen, H-Y. 1990. A Noninvasive Architecture to Monitor Real-Time Distributed Systems,IEEE Computer. (23)3: 11?23.","journal-title":"IEEE Computer."}],"container-title":["Real-time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088521\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T17:03:11Z","timestamp":1586106191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["BF01088521"],"URL":"https:\/\/doi.org\/10.1007\/bf01088521","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}