Specification and Verification of Media Constraints using UPPAAL-Reference-Cited by-同舟云学术

Specification and Verification of Media Constraints using UPPAAL

Published:1998 Issue: Volume: Page:261-277
ISSN:0946-2767
Container-title:Eurographics
language:
Short-container-title:

Author:

Bowman Howard,Faconti Giorgio P.,Massink Mieke

Publisher

Springer Vienna

Link

http://link.springer.com/content/pdf/10.1007/978-3-7091-3693-5_17

Reference15 articles.

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, (126):183–235, 1994.

2. V. Bellotti and A. MacLean. Integrating and communicating design perspectives with QOC design rationale. Technical Report ID/WP29, ESPRIT 7040 -AMODEUS, 1994.

3. Johan Bengtsson, W. O. David Griffioen, Kare J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Verification of an audio protocol with bus collision using uppaal. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th International Conference on Computer-Aided Verification, LNCS 1102, pages 244–256, New Brunswick, New Jersey, USA, July 1996.

4. G.S. Blair, L. Blair, H. Bowman, and A. Chetwynd. Formal Specification of Distributed Multimedia Systems. University College London Press, September 1997.

5. M. Bordegoni, G. Faconti, S. Feiner, M. Maybury, T. Rist, S. Ruggieri, P. Trahanias, and M. Wilson. A standard reference model for intelligent presentation systems. Computer Standards and Interfaces, 1998.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. AMT: A Runtime Verification Tool of Video Streams;Runtime Verification;2023

2. Timed runtime monitoring for multiparty conversations;Formal Aspects of Computing;2017-09

3. Toward rigorous design of domain-specific distributed systems;Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering;2016-05-14

4. Thermal analysis of multiprocessor SoC applications by simulation and verification;ACM Transactions on Design Automation of Electronic Systems;2010-02

5. QoS Functional Testing for Multi-media Systems;Formal Techniques for Networked and Distributed Systems - FORTE 2003;2003