Dependable Systems Group

Este jueves 1 de diciembre, a las 11:00 en la Sala Smith, Arnd Hartmanns dictará una charla en el marco del grupo. A continuación los datos de la charla:

Nicolás Wolovick junto a Miguel Montes y Daniel Penazzi presentaron un artículo en la 45 JAIIO en el que describen las debilidades del sistema y proveen un conjunto de recomendaciones en caso que se desee implementar.

Miguel Monte, Daniel Penazzi, y Nicolás Wolovick. Consideraciones Sobre el Voto Electrónico. En el 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO. SADIO, pp. 297-307. 2016.

P. R. D'Argenio, Lee, M. D., and Monti, R. E., “Input/Output Stochastic Automata Compositionality and Determinism”, in FORMATS 2016 : 14th International Conference on Formal Modeling and Analysis of Timed Systems, 2016.

El Cuarto Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software, FACAS 2016, se llevará a cabo los días 3, 4 y 5 de Marzo en Carcaraes, Cabañas y Hotel de Campo, Alto delta del Parana, Sta. Fe, Argentina.