On queues with general service demands and constant service capacity..
On performance of Gossip communication in a crowd-sensing scenario..
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems..
A statistical approach for computing reachability of non-linear and stochastic dynamical systems..
Probabilistic Programming Process Algebra..
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids..
Decidable Problems for Unary PFAs..
Simulation Debugging and Visualization in the Mobius Modeling Framework..
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains..
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks..
A perfect sampling algorithm of random walks with forbidden arcs..
Accelerating Parametric Probabilistic Verification..
Probabilistic Model Checking of DTMC Models of User Activity Patterns..
Mean field for performance models with generally distributed-timed transitions..
Finite Abstractions of Stochastic Max-Plus-Linear Systems..
Continuity Properties of Distances for Markov Processes..
A matrix-free structured solution for Markov Regenerative Processes..
PALOMA: A Process Algebra for Located Markovian Agents..
Deciding the value 1 problem for reachability in 1-clock decision stochastic timed automata..
Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models..
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads..
Compositionality Results for Quantitative Information Flow..
Modelling Replication in NoSQL Datastores..
Low-rank tensor methods for communicating Markov processes..
Scalar: A distributed benchmarking framework for systematic scalability analysis..
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems..
A new GreatSPN GUI for GSPN editing and CSLTA model checking..
The Octave queueing Package..
Non-Intrusive Scalable Memory Access Tracer..