Maximiliano Cristiá

Profesional

Profesor Titular
LCC - FCEIA - UNR

Investigador en CIFASIS

Curriculum Vitae

Ingeniería de Software I (primer cuatrimestre)

Ingeniería de Software II (segundo cuatrimestre)

Seminario de Práctica Profesional (pasantía)

Seguridad Informática

Apuntes de clase

• Introducción a la Ingeniería de Requerimientos
• Apunte de clase para Seguridad Informática
• Artículos para el final de Seguridad Informática

Vídeos

Intereses en I+D: verificación formal, métodos formales, arquitectura y diseño de software, testing basado en especificaciones formales, resolución de restricciones conjuntistas, desarrollo de herramientas para asistir y semi-automatizar el desarrollo de sistemas de software.

Herramientas

• {log} (setlog). Lenguaje de programación basado en teoría de conjuntos y satisfiability solver para la teoría de conjuntos.
• Fastest 1.7. Testing basado en modelos para especificaciones Z. Requiere tener instalado SWI-Prolog y Java (también puede funcionar con otras versiones de Prolog). En ambientes MS Windows el ejecutable swipl.exe tiene que ser renombrado a prolog.exe.
• Flowx. Una versión de Linux con seguridad multi-nivel que implementa un modelo de nointerferencia. Proyecto co-financiado por FONTAR.
• Repose. Generación de prototipos funcionales utilizando solo software de oficina.
• StateSim. Simulador gráfico de modelos Statecharts.

Publicaciones en DBLP

Publicaciones en arXiv

Publicaciones en ResearchGate

Universidad Nacional de Rosario
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Departamento de Ciencias de la Computación
Pellegrini 250
(2000) Rosario
Argentina

cristia -AT- cifasis-conicet.gov.ar