Castellano

 

Maximiliano Cristiá

     

Professional

 

Head Professor
LCC - FCEIA - UNR

Director of the Software Engineering Group at CIFASIS

Curriculum Vitae

   
Courses  

System Analysis (first semester)

Software Engineering (second semester)

Formal Models in Information Security (2003)

   
I+D  

Research interests: formal methods, software architecture and design, model-based testing, multi-level security, tool development to assist and 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 (it can also work with other versions of Prolog). 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

   
Contact  

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

+54 341 3631682

cristia -AT- cifasis-conicet.gov.ar

   
Top   Last update: 04/2010
http://www.fceia.unr.edu.ar/~mcristia