Publications

2018
F. S. de Boer, Bravetti, M. , Lee, M. D. , and Zavattaro, G. , “A Petri Net Based Modeling of Active Objects and Futures”, Fundam. Informaticae, vol. 159, pp. 197–256, 2018.PDF icon paper-800.pdf (499.42 KB)
M. D. Mazueco Pérez, Seiler, N. G. , Bederián, C. Sergio, Wolovick, N. , and Vega, A. J. , “Power Efficiency Analysis of a Deep Learning Workload on an IBM "Minsky" Platform”, in High Performance Computing - 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018, Revised Selected Papers, vol. 979, E. Meneses, Castro, H. , Hernández, C. Jaime Barr, and Ramos-Pollán, R. , Eds. Springer, 2018, pp. 255–262.PDF icon paper-806.pdf (899.08 KB)
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. , Eds. Springer, 2018, pp. 340–358.PDF icon paper-784.pdf (795.55 KB)
A. Cimatti, Demasi, R. , and Tonetta, S. , “Tightening the contract refinements of a system architecture”, Formal Methods System Design, vol. 52, pp. 88–116, 2018.PDF icon paper-798.pdf (1.67 MB)
H. Hermanns, Biewer, S. , D'Argenio, P. R. , and Köhl, M. A. , “Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions”, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, G. Barthe, Sutcliffe, G. , and Veanes, M. , Eds. EasyChair, 2018, pp. 1–17.PDF icon paper-785.pdf (3.06 MB)
2017
C. E. Budde, D'Argenio, P. R. , and Hartmanns, A. , “Better Automated Importance Splitting for Transient Rare Events”, in Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings, vol. 10606, K. G. Larsen, Sokolsky, O. , and Wang, J. , Eds. Springer, 2017, pp. 42–58.PDF icon paper-753.pdf (1.03 MB)
F. Bonchi, Lee, M. D. , and Rot, J. , “Bisimilarity of Open Terms in Stream GSOS”, in Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, vol. 10522, M. Dastani and Sirjani, M. , Eds. Springer, 2017, pp. 35–50.PDF icon paper-799.pdf (413.24 KB)
C. E. Budde, D'Argenio, P. R. , and Monti, R. E. , “Compositional Construction of Importance Functions in Fully Automated Importance Splitting”, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, A. Puliafito, Trivedi, K. S. , Tuffin, B. , Scarpa, M. , Machida, F. , and Alonso, J. , Eds. ACM, 2017.PDF icon paper-716.pdf (227.67 KB)
A. Hartmanns, Sedwards, S. , and D'Argenio, P. R. , “Efficient simulation-based verification of probabilistic timed automata”, in 2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA, December 3-6, 2017, {IEEE}, 2017, pp. 1419–1430.PDF icon paper-778.pdf (145.4 KB)
C. E. Budde, Dehnert, C. , Hahn, E. Moritz, Hartmanns, A. , Junges, S. , and Turrini, A. , “JANI: Quantitative Model and Tool Interaction”, in Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Berlin, Heidelberg: Springer Berlin Heidelberg, 2017, pp. 151–168.PDF icon paper-726.pdf (223.9 KB)
E. N. Millán, Wolovick, N. , Piccoli, M. Fabiana, Garino, C. García, and Bringa, E. M. , “Performance analysis and comparison of cellular automata GPU implementations”, Clust. Comput., vol. 20, pp. 2763–2777, 2017.PDF icon paper-804.pdf (2.06 MB)
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. , Eds. 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, Ed. Springer, 2017, pp. 83–110.PDF icon paper-714.pdf (429.13 KB)
2016
M. Montes, Penazzi, D. , and Wolovick, N. , “Consideraciones Sobre el Voto Electrónico”, in 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO, 2016, pp. 297-307.PDF icon paper-666.PDF (135.19 KB)
G. Barthe, D'Argenio, P. R. , Finkbeiner, B. , and Hermanns, H. , “Facets of Software Doping”, in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II, vol. 9953, T. Margaria and Steffen, B. , Eds. Springer, 2016, pp. 601-607.PDF icon paper-668.pdf (416.75 KB)
P. R. D'Argenio, Gebler, D. , and Lee, M. D. , “A general SOS theory for the specification of probabilistic transition systems”, Inf. Comput., vol. 249, pp. 76–109, 2016.PDF icon paper-655.pdf (995.37 KB)
P. R. D'Argenio, Lee, M. D. , and Monti, R. E. , “Input/Output Stochastic Automata - Compositionality and Determinism”, in Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, vol. 9884, M. Fränzle and Markey, N. , Eds. Springer, 2016, pp. 53–68.PDF icon paper-654.pdf (1.49 MB)
C. Sergio Bederián and Wolovick, N. , “A Project-Based HPC Course for Single-Box Computers”, in 2016 Workshop on Education for High-Performance Computing, EduHPC@SC 2016, Salt Lake City, UT, USA, November 14, 2016, IEEE Computer Society, 2016, pp. 1–6.PDF icon paper-803.pdf (156.72 KB)
P. R. D'Argenio, Hartmanns, A. , Legay, A. , and Sedwards, S. , “Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata”, in Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, vol. 9681, E. Ábrahám and Huisman, M. , Eds. Springer, 2016, pp. 99-114.PDF icon paper-632.pdf (463.65 KB)
2015
C. E. Budde, D'Argenio, P. R. , and Hermanns, H. , “Rare Event Simulation with Fully Automated Importance Splitting”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, Knottenbelt, W. J. , and Bradley, J. T. , Eds. Springer, 2015, pp. 275–290.PDF icon paper-552.pdf (309.05 KB)
M. D. Lee and de Vink, E. P. , “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK, 11th-12th April 2015, vol. 194, N. Bertrand and Tribastone, M. , Eds. Open Publishing Association, 2015, pp. 79-94.PDF icon paper-572.pdf (233.09 KB)
P. R. D'Argenio, Legay, A. , Sedwards, S. , and Traonouez, L. - M. , “Smart sampling for lightweight verification of Markov decision processes”, International Journal on Software Tools for Technology Transfer, vol. 17, pp. 469–484, 2015.PDF icon paper-554.pdf (959.43 KB)
P. R. D'Argenio, Lee, M. D. , and Gebler, D. , “SOS rule formats for convex and abstract probabilistic bisimulations”, in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015., vol. 190, S. Crafa and Gebler, D. , Eds. 2015, pp. 31–45.PDF icon paper-553.pdf (205.49 KB)
P. R. D'Argenio, Melgratti, H. , and Sangiorgi, D. , “Special Issue: Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013”, Logical Methods in Computer Science, 2015.
2014
P. R. D'Argenio, Gebler, D. , and Lee, M. D. , “Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules”, in Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014, vol. 8412, pp. 289-303.PDF icon paper-413.pdf (345.34 KB)

Pages

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054