Salvador Valerio Cavadini

Salvador

Logo Universidad Católica de Santiago del Estero

Facultad de Matemática Aplicada - Universidad Católica de Santiago del Estero

Avda. Alsina y Dalmasio Vélez Sársfield

CC 285 - (4200) Santiago del Estero - Argentina

Mail imperativo:
   function getSVCMailAddress;
     const nombre='scavadini';
     const dominio='ucse.edu.ar';
   begin
       result:= nombre+'@'+dominio;
   end;

Mail funcional:
     let SVCMailAddress = nombre+'@'+dominio
         where nombre="scavadini", dominio="ucse.edu.ar";

Qué me interesa?

mi lista (parcial) de bibliografía leída (o por leer)

Docencia

Compiladores e Intérpretes

Investigación

Proyecto Everest (Verificación formal de software)
Proyecto SEPa! (Software para la Enseñanza de Parsing)
Proyecto Neighbors (Slicing de Programas)

Sitios Web

Publicaciones y Reportes Técnicos

Salvador Cavadini. Secure Slices of Insecure Programs. A publicarse en 3^rd ACM Symposium on Information, Computer & Communication Security (ASIACCS '08). Akihabara Convention Hall, Tokyo, 18-20 de marzo de 2008.

Salvador Cavadini y Diego Cheda. Run-time Information Flow Monitoring based on Dynamic Dependence Graphs. A publicarse en III International Conference on Availability, Reliability and Security (ARES 2008). 4 al 7 de mazo 2008, Universidad Politécnica de Catalunia, Barcelona , España.

Salvador Cavadini y Diego Cheda. Program Slicing Based on Sentence Executability. XIII Congreso Argentino de Ciencias de la Computación (CACIC 2007), 1 al 5 de octubre de 2007 · Corrientes y Resistencia, Argentina. (TR-2007-01 pdf)

Salvador Cavadini y Diego Cheda. The Necessary Condition for Execution and its Use in Program Slicing. VII Jornadas sobre Programación y Lenguajes (PROLE 2007), Zaragoza - España.

Diego Alejandro Cheda y Salvador Valerio Cavadini. "Refactoreo de Diagramas de Clases UML empleando Slicing de Modelos". III Workshop de Ingeniería de Software y Bases de Datos, XII Congreso Argentino de Ciencias de la Computación. 17 a 21 de octubre de 2006 - Potrero de los Funes, San Luis, Argentina. (pdf)

Salvador Valerio Cavadini y Diego Alejandro Cheda. "Identificación de tres subclases ambiguas de gramáticas libres de contexto". Revista Nuevas Propuestas, Nº 39. Ediciones UCSE. Santiago del Estero, pp. 101-110, junio de 2006. (pdf)

Juan José Tamagnini, Salvador Valerio Cavadini y Pablo Luis Berdaguer. "MiniMe: una máquina virtual visual". Revista Nuevas Propuestas, Nº 36. Ediciones UCSE. Santiago del Estero, diciembre 2004.

Juan José Tamagnini, Salvador Valerio Cavadini y Pablo Luis Berdaguer. "La máquina virtual MiniMe: una herramienta visual para facilitar el aprendizaje de la generación de código objeto". X Congreso Argentino de Ciencias de la Computación (CACIC 2004), Universidad Nacional de La Matanza, Buenos Aires, 4 al 8 de octubre de 2004. (pdf)
Stefan Andrei, Wei-Ngan Chin and Salvador Cavadini. "Self-embedded context-free grammars equations with regular counterparts". Acta Informatica, ISSN: 0001-5903 (Paper) 1432-0525 (Online), Volume 40, Number 5, pp. 349-365 (2004) - link to Acta Informatica site.
Stefan Andrei, Salvador Cavadini y Wei-Ngan Chin. "A new algorithm for regularizing one-letter context-free grammars". Theoretical Computer Science Volume 306, Issues 1-3, pp. 113-122. (2003) link to TCS site.
Stefan Andrei, Salvador Cavadini y Wei-Ngan Chin. "De Gramáticas Libres de Contexto Unarias a Expresiones Regulares". Revista Nuevas Propuestas, Nº 34. Ediciones UCSE. Santiago del Estero, diciembre 2003.
Stefan Andrei, Salvador Cavadini y Wei-Ngan Chin. "Transforming self-embedded context-free grammars into regular expressions". Faculty of Computer Science. TR02-06, http://www.infoiasi.ro/~tr/tr.pl.cgi, Iasi University, Romania (2002) 1-25.
Salvador Cavadini and Juan José Tamagnini "An Efficient Algorithm for Constructing the Control Dependence Graph". Aproved to be published in Proceedings of the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA’02), June 6-8, 2002, Hotel Internacional Foz and Convention Center, Foz do Iguazu, Brazil.
Salvador V. Cavadini. Un Algoritmo Eficiente para la Construcción del Grafo de Dependencia de Control. Trabajo Final de Grado para optar por el título de Ingeniero en Computación en la Facultad de Matemática Aplicada de la Universidad Católica de Santiago del Estero. 166 pp. junio de 2001. Ganador del Concurso de Trabajos Finales de Grado EST 2002 realizado en el marco de las 31° Jornadas Argentinas de Informática e Investigación Operativa (JAIIO), Universidad Tecnológica Nacional, Facultad Regional Santa Fe, septiembre de 2002.(draft en ps)
Juan J. Tamagnini y Salvador V. Cavadini. "Slicing de Programas". Revista de la SeCyT, Nro. 5. Ediciones UCSE. Santiago del Estero, abril de 2001.(draft en pdf)
Juan J. Tamagnini y Salvador V. Cavadini. "Catálogo y Análisis de Herramientas de Slicing". Revista de la SeCyT, Nro. 5. Ediciones UCSE. Santiago del Estero, abril de 2001.(draft en pdf)
Juan J. Tamagnini y Salvador V. Cavadini. "Un Nuevo Algoritmo para la Construcción del PDG". 3º Reporte Técnico correspondiente al proyecto de investigación Neighbors. Centro de Investigación y Desarrollo de Software (CIDESOFT) de la Universidad Católica de Santiago del Estero. 84 pp, diciembre 2001.
Juan J. Tamagnini y Salvador V. Cavadini. "Diseño de la Arquitectura de Software para un Slicer Multifuente". 2º Reporte Técnico correspondiente al proyecto de investigación Neighbors. Centro de Investigación y Desarrollo de Software (CIDESOFT) de la Universidad Católica de Santiago del Estero. 104 pp, marzo de 2000.
Juan J. Tamagnini y Salvador V. Cavadini. "Análisis de Herramientas de Slicing". 1º Reporte Técnico correspondiente al proyecto de investigación Neighbors. Centro de Investigación y Desarrollo de Software (CIDESOFT) de la Universidad Católica de Santiago del Estero. 71 pp, junio de 1999.
Gustavo Villavicencio, Juan J. Tamagnini y Salvador V. Cavadini. "Slicing de Programas". Reporte Técnico correspondiente al proyecto de investigación Prototipo Generador de Slices. Centro de Investigación y Desarrollo de Software (CIDESOFT) de la Universidad Católica de Santiago del Estero. 55 pp, diciembre de 1998.
Juan J. Tamagnini, Orlando Jiménez, Salvador V. Cavadini y Rodrigo Julián. Informe Final del Proyecto de Estudio, Análisis y Aplicación "Herramientas para la Construcción de Compiladores". 102 pp, junio de 1998.

Otros escritos

Otros escritos

Última Actualización: 15/11/2006

www.ucse.edu.ar/fma/staff/svcavadini/

Ésta es una página personal mantenida por Salvador V. Cavadini por lo tanto la UCSE no es responsable por los contenidos o las opiniones que se viertan en la misma.