Castellano

 

Maximiliano Cristiá

     

Professional

 

Head Professor
LCC - FCEIA - UNR

Researcher at CIFASIS

Curriculum Vitae

   
Courses  

Software Engineering 1 (first semester)

Software Engineering 2 (second semester)

Computer Security (second semester)

   
I+D  

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

   
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

cristia -AT- cifasis-conicet.gov.ar

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