Reasoning about Interactive Systems with Stochastic Models-Reference-Cited by-同舟云学术

Reasoning about Interactive Systems with Stochastic Models

Published:2001 Issue: Volume: Page:144-163
ISSN:0302-9743
Container-title:Interactive Systems: Design, Specification, and Verification
language:
Short-container-title:

Author:

Doherty G.,Massink M.,Faconti G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45522-1_9

Reference36 articles.

1. H. Alexander. Structuring dialogues using CSP. In M. D. Harrison and H. W. Thimbleby, editors, Formal methods in Human Computer Interaction, pages 273–295. Cambridge University Press, 1990.

2. Lect Notes Comput Sci;R. Alur,1991

3. François Bérard. Vision par ordinateur pour l’interaction fortement couplée. PhD thesis, L’Université Joseph Fourier Grenoble I, 1999.

4. H. Bowman, J. W. Bryans, and J. Derrick. Analysis of a multimedia stream usingstochastic process algebra. InC. Priami, editor, Proceedings of 6th InternationalWorkshop on Process Algebras and Performance Modelling, Nice, France, pages51–69, September 1998.

5. H. Bowman, G. P. Faconti, and M. Massink. Specification and verification of mediaconstraints using UPPAAL. In P. Markopoulos and P. Johnson, editors, Proceedingsof the 5th Eurographics Workshop on Design, Specification, and Verification ofInteractive Systems, pages 261–277. Springer Wien, 1998.

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

1. Phase-Type Approximations for Non-Markovian Systems: A Case Study;Software Engineering and Formal Methods;2015

2. Time well spent;Proceedings of the 5th Information Interaction in Context Symposium;2014-08-26

3. PHASE: A Stochastic Formalism for Phase-Type Distributions;Formal Methods and Software Engineering;2014

4. Scalable context-dependent analysis of emergency egress models;Formal Aspects of Computing;2012-03

5. Towards Model Checking Stochastic Aspects of the thinkteam User Interface;Interactive Systems. Design, Specification, and Verification;2006