Towards Model Checking Stochastic Aspects of the thinkteam User Interface
暂无分享,去创建一个
[1] Mieke Massink,et al. Reasoning about Interactive Systems with Stochastic Models , 2001, DSV-IS.
[2] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.
[3] J. Ben Atkinson,et al. Modeling and Analysis of Stochastic Systems , 1996 .
[4] Gennadi Falin,et al. A survey of retrial queues , 1990, Queueing Syst. Theory Appl..
[5] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[6] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[7] Diego Latella,et al. Model Checking Groupware Protocols , 2004, COOP.
[8] N. W. Macfadyen. Performance Modelling , 2003 .
[9] Christel Baier,et al. Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.
[10] Boudewijn R. Haverkort,et al. Markovian Models for Performance and Dependability Evaluation , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[11] Harold Thimbleby,et al. Usability analysis with Markov models , 2001, TCHI.
[12] Christel Baier,et al. Automated Performance and Dependability Evaluation Using Model Checking , 2002, Performance.
[13] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[14] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[15] Joost-Pieter Katoen,et al. Model-checking large structured Markov chains , 2003, J. Log. Algebraic Methods Program..
[16] J. Templeton. Retrial queues , 1999 .
[17] Joost-Pieter Katoen,et al. Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures , 2001, Euro Summer School on Trends in Computer Science.
[18] Clarence A. Ellis,et al. Groupware: some issues and experiences , 1991, CACM.
[19] Tore Urnes,et al. Efficiently implementing synchronous groupware , 1999 .
[20] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[21] Diego Latella,et al. Model Checking Publish/Subscribe Notification for thinkteam® , 2005, Electron. Notes Theor. Comput. Sci..
[22] Constantinos Papadopoulos,et al. An Extended Temporal Logic for CSCW , 2002, Comput. J..
[23] Thomas A. Henzinger,et al. Reactive Modules , 1999, Formal Methods Syst. Des..
[24] Holger Hermanns,et al. A tool for model-checking Markov chains , 2003, International Journal on Software Tools for Technology Transfer.
[25] Joost-Pieter Katoen,et al. Lectures on Formal Methods and PerformanceAnalysis , 2001, Lecture Notes in Computer Science.
[26] Paul Dourish,et al. Awareness and coordination in shared workspaces , 1992, CSCW '92.
[27] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[28] Philippe A. Palanque,et al. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems , 2002, DSV-IS.