Publications

Export 79 results:
Author Title Type [ Year(Desc)]
2017
P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., The Road from Stochastic Automata to the Simulation of Rare Events, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R., and Rensink, A. Springer, 2017, pp. 276-294.PDF icon paper-752.pdf (1.51 MB)
P. R. D'Argenio, Barthe, G., Biewer, S., Finkbeiner, B., and Hermanns, H., Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs, in Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, vol. 10201, H. Yang Springer, 2017, pp. 83–110.PDF icon paper-714.pdf (429.13 KB)
2018
P. R. D'Argenio, Gerhold, M., Hartmanns, A., and Sedwards, S., A Hierarchy of Scheduler Classes for Stochastic Automata, in Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, vol. 10803, C. Baier and Dal Lago, U. Springer, 2018, pp. 384–402.PDF icon paper-783.pdf (1.2 MB)
C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., A Statistical Model Checker for Nondeterminism and Rare Events, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}, vol. 10806, D. Beyer and Huisman, M. Springer, 2018, pp. 340–358.PDF icon paper-784.pdf (795.55 KB)

Pages

Powered by Drupal