Author:
Nigro Christian,Nigro Libero,Sciammarella Paolo F.
Publisher
Springer International Publishing
Reference23 articles.
1. Jafari, A., Khamespanah, E., Sirjani, M., Hermanns, H.: Performance analysis of distributed and asynchronous systems using probabilistic timed actors. AVoCS 2014, The Netherlands (2014)
2. Jafari, A., Khamespanah, E., Sirjani, M., Hermanns, H., Cimini, M.: PTRebeca: modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128, 22–50 (2016)
3. Paolieri, M., Horváth, A., Vicario, E.: Probabilistic model checking of regenerative concurrent systems. IEEE Trans. Soft. Eng. 42, 153–169 (2016)
4. Horvath, A., Paolieri, M., Ridi, L., Vicario, V.: Probabilistic model checking of non-Markovian models with generally distributed timers. In: Quantitative Evaluation of Systems (QEST) (2011)
5. Nigro, L., Sciammarella, P.F.: Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory 87, 343–368 (2018)