Publications

Export 7 results:
Type [ Year(Asc)]
Filters: Keyword is stochastic hybrid systems  [Clear All Filters]
In Press
Bortolussi L.  In Press.  Hybrid behaviour of Markov population models. Information and Computation. :-. (3.14 MB)
2012
Bortolussi L, Galpin V, Hillston J.  2012.  Hybrid performance modelling of opportunistic networks. QAPL 2012. 85:106–121.
2010
Bortolussi L.  2010.  Limit behavior of the hybrid approximation of Stochastic Process Algebras. 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010). :367–381. (584.23 KB)
Bortolussi L, Galpin V, Hillston J.  2010.  Modeling Hybrid Systems with Stochastic Events in HYPE. PASTA 2010. :24–28.
2009
Bortolussi L, Policriti A.  2009.  Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration.. COMPMOD 2009. 6:63–76.
2003
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G.  2003.  On the Robustness of Temporal Properties for Stochastic Models. 2nd International Workshop on Hybrid Systems and Biology, HSB 2013. 125:3-19. (1.3 MB)