Communicating sequential processes
Communicating sequential processes
Considerations on the insularity of performance evaluation
IEEE Transactions on Software Engineering
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Process algebra
Bisimulation through probabilistic testing
Information and Computation
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A compositional approach to performance modelling
A compositional approach to performance modelling
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Product form solution for a class of PEPA models
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Model checking
Automated compositional Markov chain generation for a plain-old telephone system
Science of Computer Programming
Proceedings of the 2nd international workshop on Software and performance
Comparing the QoS of Internet audio mechanisms via formal methods
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Communication and Concurrency
Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
Combining stochastic process algebras and queueing networks for software architecture analysis
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Aggregation Methods for Large Markov Chains
Proceedings of the International Workshop on Computer Performance and Reliability
Reward Based Congruences: Can We Aggregate More?
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Theory of Testing for Markovian Processes
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Exogenous and Endogenous Extensions of Architectural Types
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formal Description, Time and Performance Analysis. A Framework
Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182,
Model Checking Continuous-Time Markov Chains by Transient Analysis
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Architectural Types Revisited: Extensible And/Or Connections
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Stochastic process algebras as a tool for performance and dependability modelling
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services
MASCOTS '01 Proceedings of the Ninth International Symposium in Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Architecting Software Systems with Process Algebras
Architecting Software Systems with Process Algebras
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experimenting different software architectures performance techniques: a case study
WOSP '04 Proceedings of the 4th international workshop on Software and performance
QoS evaluation of IP telephony services: a specification language based simulation software tool
Systems Analysis Modelling Simulation
Automated Performance Validation of Software Design: An Industrial Experience
Proceedings of the 19th IEEE international conference on Automated software engineering
Mixing logics and rewards for the component-oriented specification of performance measures
Theoretical Computer Science
Specifying and Executing Reactive Scenarios With Lutin
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural verification of black-box component-based systems
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
A model-based framework for software performance feedback
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A methodology based on formal methods for predicting the impact of dynamic power management
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Software performance antipatterns: modeling and analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
| Hi-index | 0.00 |
The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description language for the functional verification and performance evaluation of complex computer, communication and software systems.