Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Performance analysis using CPN tools
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Compositional theories of qualitative and quantitative behaviour
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Performability measure specification: combining CSRL and MSL
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Hi-index | 0.00 |
Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focused on functionality, with techniques from performance modeling and analysis. Examples of this cross-fertilization are extensions of process algebra and Petri nets allowing for automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized algorithms, and extensions of models checking techniques to analysis requirements automatically.