Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Process algebra for performance evaluation
Theoretical Computer Science
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
General distributions in process algebra
Lectures on formal methods and performance analysis
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Symbolic Performance Modeling of Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Symbolic Cost Estimation of Parallel Applications
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Stochastic Process Algebras Meet Eden
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Specifying Performance Measures for PEPA
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Exploiting Modal Logic to Express Performance Measures
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Turning back time in Markovian process algebra
Theoretical Computer Science
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
A brief history of process algebra
Theoretical Computer Science - Process algebra
Contention-sensitive static performance prediction for parallel distributed applications
Performance Evaluation
Computation and communication refinement for multiprocessor SoC design: A system-level perspective
Proceedings of the 41st annual Design Automation Conference
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Concurrency, σ -Algebras, and Probabilistic Fairness
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Rate-Based Transition Systems for Stochastic Process Calculi
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
MarCaSPiS: a Markovian Extension of a Calculus for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
On a Uniform Framework for the Definition of Stochastic Process Languages
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Memory efficient analysis for a class of large structured Markov chains: work in progress
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Compositional theories of qualitative and quantitative behaviour
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A survey of Markovian behavioral equivalences
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Formal testing of systems presenting soft and hard deadlines
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
A comparative study of STOPA and RTPA
Transactions on computational science II
Modeling execution time of selected computation and communication kernels on grids
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Weak stochastic bisimulation for non-markovian processes
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Probability and nondeterminism in operational models of concurrency
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |