References in zbMATH (referenced in 27 articles , 1 standard article )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Zeifman, A. I.; Razumchik, R. V.; Satin, Y. A.; Kovalev, I. A.: Ergodicity bounds for the Markovian queue with time-varying transition intensities, batch arrivals and one queue skipping policy (2021)
  2. Alzetta, Giacomo; Marin, Andrea; Piazza, Carla; Rossi, Sabina: Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (2018)
  3. Fourneau, J.-M.; Ait El Majhoub, Y.: Processor sharing G-queues with inert customers and catastrophes: a model for server aging and rejuvenation (2017)
  4. Marin, A.; Rossi, S.: On the relations between Markov chain lumpability and reversibility (2017)
  5. Balsamo, Simonetta; Cavallin, Filippo; Marin, Andrea; Rossi, Sabina: Applying reversibility theory for the performance evaluation of reversible computations (2016)
  6. Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea: Lumping and reversed processes in cooperating automata (2016)
  7. Fourneau, Jean-Michel: G-networks of unreliable nodes (2016)
  8. Marin, Andrea: Product-form in G-networks (2016)
  9. Tschaikowski, Max; Tribastone, Mirco: Tackling continuous state-space explosion in a Markovian process algebra (2014)
  10. Tschaikowski, Max; Tribastone, Mirco: Exact fluid lumpability in Markovian process algebra (2014)
  11. Balsamo, Simonetta; Marin, Andrea: Separable solutions for Markov processes in random environments (2013)
  12. Casale, Giuliano; Harrison, Peter G.: AutoCAT: automated product-form solution of stochastic models (2013)
  13. Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea: Lumping and reversed processes in cooperating automata (2012)
  14. Marin, Andrea; Vigliotti, Maria Grazia: Algorithmic product-form approximations of interacting stochastic models (2012)
  15. Ding, Jie; Hillston, Jane: Structural analysis for stochastic process algebra models (2011)
  16. Hayden, Richard A.; Bradley, Jeremy T.: A fluid analysis framework for a Markovian process algebra (2010)
  17. Marin, Andrea; Vigliotti, Maria Grazia: On product-form approximations of cooperating stochastic models (2010)
  18. Knottenbelt, William J.; Bradley, Jeremy T.: Tackling large state spaces in performance modelling (2007)
  19. Merayo, Mercedes G.; Núñez, Manuel; Rodriguez, Ismael: Formal testing of systems presenting soft and hard deadlines (2007)
  20. Harrison, P. G.; Lee, T. T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra (2005)

1 2 next