Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Process algebra for performance evaluation
Theoretical Computer Science
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Exploiting structure in solution: decomposing compositional models
Lectures on formal methods and performance analysis
Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Process algebras for systems diagnosis
Artificial Intelligence
Reasoning about Interactive Systems with Stochastic Models
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Automated Performance and Dependability Evaluation Using Model Checking
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
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Implementing Symbolic Models for Value Passing in TwoTowers
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
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
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Software performance modelling using PEPA nets
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Investigating unfairness scenarios in MANET using 802.11b
PE-WASUN '05 Proceedings of the 2nd ACM international workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
Investigating factors influencing the response time in J2EE web applications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
nanoK: A calculus for the modeling and simulation of nano devices
Theoretical Computer Science
Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
A novel algorithm to model the queue limit
CSECS'08 Proceedings of the 7th conference on Circuits, systems, electronics, control and signal processing
Convergence and limit of mean-value analysis algorithms
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Engineering crowd interaction within smart environments
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
From Biochemistry to Stochastic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
On the computational power of BlenX
Theoretical Computer Science
Improved performance models of web-based software systems
INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Stochastic System Modelling and Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Improved performance model for web-based software systems
WSEAS Transactions on Computers
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Three-valued abstraction for continuous-time Markov chains
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Modelization and simulation of nano devices in nanok calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
The BlenX language: a tutorial
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Performance analysis of stochastic Process algebra models using stochastic simulation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Time-bounded reachability in tree-structured QBDs by abstraction
Performance Evaluation
Stochastic modelling and simulation of mobile systems
Graph transformations and model-driven engineering
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Computational biology: a programming perspective
Formal modeling
A function-equivalent components based simplification technique for PEPA models
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
Flexible skeletal programming with eskel
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
A formal model for service-oriented interactions
Science of Computer Programming
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Measuring the speed of information leakage in mobile processes
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Transactions on Computational Systems Biology VII
Visualisation for stochastic process algebras: the graphic truth
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Lumping and reversed processes in cooperating automata
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
On the quality and value of information in sensor networks
ACM Transactions on Sensor Networks (TOSN)
| Hi-index | 0.00 |