Process algebra for performance evaluation
Theoretical Computer Science
Exploiting structure in solution: decomposing compositional models
Lectures on formal methods and performance analysis
Combining stochastic process algebras and queueing networks for software architecture analysis
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Turning back time in Markovian process algebra
Theoretical Computer Science
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Collaboration of discrete-time Markov chains: Tensor and product form
Performance Evaluation
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Performance engineering and stochastic modelling
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
TwoEagles: a model transformation tool from architectural descriptions to queueing networks
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
| Hi-index | 0.00 |