Computer systems are omnipresent. We continuously interact with them, direct or indirectly. Examples abound: web services, medical systems, mobile devices, automotive, communication networks, the electrical grid, etc. Modern life greatly depends on their proper functioning, and hence, it demands that they provide services that can be justifiably relied upon; that is, that they are dependable. This involves requirements such as safety, reliability, availability, and security that can only be guaranteed through formally based specification and analysis techniques.

In our research group, we seek for mathematical and logical foundations as well as algorithms that contribute to the developments of techniques and tools for specification and analysis of systems with the aim to achieve dependability.

Latest News

Input/Output Stochastic Automata Compositionality and Determinism
"A general SOS theory for the specification of probabilistic transition systems" P.R. D'Argenio, D. Gebler, M.D. Lee
4to Taller Argentino de Fundamentos Para El Análisis Y Construcción Automática De Software
Del 15 al 20 de Febrero de 2016 se realiza la nueva edición de la escuela en la UNRC
El evento se realizará entre el 2 y el 4 de diciembre. Una de las charla invitadas estará a cargo de Pedro R. D'Argenio
Será dictada por Pedro R. D'Argenio este miércoles 18 de noviembre a las 16:00 en el auditorio de la FaMAF
Pedro R. D'Argenio dictará una charla en las JCC 2015 que tendrán lugar entre el 21 y el 23 de octubre
SOS rule formats for convex and abstract probabilistic bisimulations. Pedro R. D'Argenio, Matias D. Lee & Daniel Gebler
Powered by Drupal