• Access Control in Smart Homes by Android-Based Liveness Detection

  • Enabling Text-To-Speech Functionality for Websites and Applications Using a Content-Derived Model

  • A Lightweight Routing Protocol for aWireless Video Surveillance Platform: Implementation, Experiments and Perspectives

  • Accessible and UsableWebsites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study

  • A Projector-Camera System for Augmented Card Playing and a Case Study with the Pelmanism Game

  • Position Based Visual Servoing control of a Wheelchair Mounter Robotic Arm using Parallel Tracking and Mapping of task objects

  • Congestion Control for Biological Nanoscale Cyber-Physical Systems

  • Automating the Deployment of Multi-Cloud \\Applications in Federated Cloud Environments

  • Performance Analysis of SDN Switches with Hardware and Software Flow Tables

  • Performability Evaluation of Software Defined Networking Infrastructures

  • Generalizing Window Flow Control in Bivariate Network Calculus to Enable Leftover Service in the Loop

  • Compositional Construction of Importance Functions in Fully Automated Importance Splitting

  • Stationary solutions of discrete and continuous Petri nets with priorities

  • Generalizing Network Calculus Analysis to Derive Performance Guarantees for Multicast Flows

  • BuTools 2: a Rich Toolbox for Markovian Performance Evaluation

  • Sensitivity of Application Performance to Resource Availability

  • A Queueing Network Model for Performance Prediction of Apache Cassandra

  • A Stable Mean Value Analysis Algorithm for Closed Systems with Load-dependent Queues

  • Performance Prediction for Burstable Cloud Resources

  • Quantitative assessment of workflow performance through PH reduction

  • Joint Operator Replication and Placement Optimization for Distributed Streaming Applications

  • Caching Games between Content Providers and Internet Service Providers

  • Autonomic Orchestration of Containers: Problem Definition and Research Challenges

  • Efficient solution of extended Multiple-Phased Systems

  • Simulation from the Normal Distribution Truncated to an Interval in the Tail

  • A Latency-Aware Reward Model Based Greedy Heuristic for the Virtual Network Embedding Problem

  • Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use Case

  • Performance of Data Traffic in Small Cells Networks with Inter-Cell Mobility

  • Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems

  • Vulnerability Evaluation of Distributed Reputation Management Systems

  • Extending Queuing Networks to Assess Mobile CrowdSensing Application Performance

  • Simulation Modeling for Speed Scaling Designs

  • Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process

  • Should I Add an Intermittent Server

  • jSSTL - A Tool to Monitor Spatio-Temporal Properties

  • Fluid Petri Nets for the Performance Evaluation of MapReduce Applications

  • Fair workload distribution for multi-server systems with pulling strategies

  • Testing spnps perfect sampling tool on fork-join queueing networks (tool paper)

  • A Short Tutorial On Using SGsim Framework For Smart Grid Applications

  • Optimising Hidden Stochastic PERT Networks

  • Towards an Ontology development for automated applications in Smart City environment of SmartME Project

  • Dispatching fixed-sized jobs with multiple deadlines to parallel heterogeneous servers

  • Dynamic Parameter Substitution for solution of Layered Queueing Networks with Timeout Decisions

  • Modeling and shaping the lifetime of target detection sensor networks

  • Delay Efficient Load Balancing Scheme for Component Carrier Selection in Carrier Aggregation in LTE-A

  • Parametric Sensitivity and Uncertainty Propagation in Dependability Models

  • fDRIT- An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic Simulations

  • A Maclaurin-series expansion approach to coupled queues with phase-type distributed service times

  • Semantic SPARQL queries: a novel federation model and implementation towards Enterprise Data Governance

  • An Integrated Model-driven Framework for Simulation, Analysis, and Testing Based on OMG Standards