1. CONICET
  2. Comunidad CONICET
  3. PEDRO RUBEN D'ARGENIO
Comunidad CONICET
D'ARGENIO, PEDRO RUBEN

Investigador principal

Especialidad
METODOS FORMALES / SISTEMAS CONFIABLES / TOLERANCIA A FALLAS
Disciplina Científica
Informática y Comunicaciones
Tema
Modelos y técnicas para el desarrollo de sistemas confiables.
Lugar de Trabajo
FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA (FAMAF, UNC)
Depende de
  • UNIVERSIDAD NACIONAL DE CORDOBA
Ver más información Ver menos información
Dirección:
MEDINA ALLENDE S/N, 5000 - Córdoba - Argentina
Resumen Información suministrada por el agente en SIGEVA
La investigación del Dr. Pedro R. D'Argenio se enfoca en lo que en inglés se denomina "dependable systems" y en castellano usualmente se traduce como sistemas confiables, y más generalmente, dentro de los métodos formales. El objetivo de su investigación es el de desarrollar fundamentos, técnicas y algoritmos para poder analizar distintos tipos de propiedades de confiabilidad fundamentalmente sobre sistemas reactivos (incluyendo sistemas concurrentes, sistemas distribuidos,y sistemas de tiempo... La investigación del Dr. Pedro R. D'Argenio se enfoca en lo que en inglés se denomina "dependable systems" y en castellano usualmente se traduce como sistemas confiables, y más generalmente, dentro de los métodos formales. El objetivo de su investigación es el de desarrollar fundamentos, técnicas y algoritmos para poder analizar distintos tipos de propiedades de confiabilidad fundamentalmente sobre sistemas reactivos (incluyendo sistemas concurrentes, sistemas distribuidos,y sistemas de tiempo real) con especial énfasis en la interrelación del comportamiento probabilista y no determinista. Las metodologías se enfocaron principalmente en fundamentos semánticos, lenguajes y álgebras de procesos, verificación, model checking, simulación y testing.
Ver más Ver menos
Líneas de Investigación

Métodos Formales

Ciencias naturales y exactas

  • Ciencias de la computación e información
  • Ciencias de la computación
Capacidades Tecnológicas

1 - Electrónica, TICs y telecomunicaciones

1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo

  • 1.2.6 - Software
  • 1.2.9 - Protección de datos, almacenamiento, criptografía, seguridad
  • 1.2.13 - Tecnología de información / informática
  • 1.2.16 - Simulaciones
  • 1.2.20 - Software de automatización

1.3 - TICs y aplicaciones telemáticas

  • 1.3.9 - Sistemas de gestión de la calidad
  • 1.3.11 - Sistema de planificación de procesos

1.5 - Telecomunicaciones, Redes

  • 1.5.13 - Protocolos de comunicaciones, interoperabilidad

1.6 - Circuitos electrónicos, componentes y equipos

  • 1.6.3 - Sistemas embebidos y sistemas en tiempo real
Palabras Clave
Dependable SystemsProbabilistic and non-deterministic behaviourModelling and Analysis of SystemsSyntax and SemanticsSintaxis y SemánticaSistemas ConfiablesFormal MethodsComportamiento probabilístico y no-deterministaMétodos FormalesModelos y Análisis de Sistemas
Formación Académica

1995 - 1999

Doctor en Informática

UNIVERSITEIT TWENTE

1987 - 1994

Licenciado en Informática

UNIVERSIDAD NACIONAL DE LA PLATA

Formación de RRHH
Director de:
DEMASI, RAMIRO ADRIAN
Carrera Investigador

DEMASI, Ramiro Adrian Carrera Investigador

Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje