Communicating sequential processes
Communicating sequential processes
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Model checking
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Communication and Concurrency
Handbook of Process Algebra
Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science
Process algebra and Markov chains
Lectures on formal methods and performance analysis
General distributions in process algebra
Lectures on formal methods and performance analysis
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Extended Markovian Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Model Checking Continuous-Time Markov Chains by Transient Analysis
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
| Hi-index | 0.00 |
The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.