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

Principal researcher

Speciality
METODOS FORMALES / SISTEMAS CONFIABLES / TOLERANCIA A FALLAS
Scientific discipline
Computer Science and Communications
Topic
Models and techniques for the development of dependable systems
Workplace
FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA (FAMAF, UNC)
Dependencies
  • UNIVERSIDAD NACIONAL DE CORDOBA
Show more information Show less information
Address:
MEDINA ALLENDE S/N, 5000 - Córdoba - Argentina
Summary Information provided by the agent in 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.
Show more Show less
Lines of Investigation

Métodos Formales

Natural and exact sciences

  • Computer and information sciences
  • Computer sciences
Technological Capacities

1 - Electronics, IT and Telecoms

1.2 - Information Processing, Information System, Workflow Management

  • 1.2.6 - Computer Software
  • 1.2.9 - Data Protection, Storage Technology, Cryptography, Data Security
  • 1.2.13 - Information Technology/Informatics
  • 1.2.16 - Simulation
  • 1.2.20 - Building Automation Software

1.3 - IT and Telematics Applications

  • 1.3.9 - Quality Management System
  • 1.3.11 - Operation Planning and Scheduler System

1.5 - Telecommunications, Networking

  • 1.5.13 - Communications Protocols, Interoperability

1.6 - Electronic circuits, components and equipment

  • 1.6.3 - Embedded Systems and Real Time Systems
Key Words
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
Education

1995 - 1999

Doctor en Informática

UNIVERSITEIT TWENTE

1987 - 1994

Licenciado en Informática

UNIVERSIDAD NACIONAL DE LA PLATA

HR Training
Director of:
DEMASI, RAMIRO ADRIAN
Scientific Research Career at CONICET

DEMASI, Ramiro Adrian Scientific Research Career at CONICET

Loading section Science and Technology Production...
Loading section Services...
Contact
Send Message