Maximiliano Cristiá

Professional

Head Professor
LCC - FCEIA - UNR

Researcher at CIFASIS

Curriculum Vitae

Software Engineering 1 (first semester)

Software Engineering 2 (second semester)

Computer Security (second semester)

Research interests: software verification, model-based testing, formal notations for software development, formal methods, set constraint solving, software architecture and design, tools to automate software development.

Tool development

• {log} (setlog). Set-based programming language and satisfiability solver for set theory.
• Fastest 1.7. Model-based testing tool for the Z notation. It requires SWI-Prolog and Java to be already installed. In MS Windows systems, swipl.exe must be renamed to prolog.exe.
• Flowx. A multi-level Linux version implementing a noninterference model. Project co-founded by FONTAR.
• Repose. Rapid prototyping using office software.
• StateSim. Graphical Statecharts simulator.

Publications listed on DBLP

Publications listed on arXiv

Publications listed on 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