Computer Performance Engineering

Performance Evaluation Targeting Quality of Experience.- Mean Field Models for (Large-Scale) Load Balancing Systems.- On the Degradation of Distributed Graph Databases with Eventual Consistency.- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs.- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.- Mean Value Analysis of Closed G-Networks with Signals.- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach.- Modeling Smart Buildings Using Fault Maintenance Trees.- Performance Impact of Misbehaving Voters.- Information Flow Security for Stochastic Models.- Towards Probabilistic Modeling and Analysis of Real-Time Systems.- An Ontology Framework for Generating Discrete-Event Stochastic Models.- A Mixed Strategy for a Competitive Game in Delay Tolerant Network.- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming.- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing.- An OpenFlow Controller Performance Evaluation Tool.- Product-form Queuing Networks with Batches.