César Cornejo (@cesar_corne) 's Twitter Profile
César Cornejo

@cesar_corne

Dr. en Ciencias de la Computación. Postdoctoral researcher

ID: 149242007

linkhttps://cesarcorne.github.io calendar_today28-05-2010 19:58:11

2,2K Tweet

373 Takipçi

1,1K Takip Edilen

Departamento de Computación (@dcexaunrc) 's Twitter Profile Photo

📢El artículo "A Study of the Electrum and DynAlloy Dynamic Behavior Notations” (por César Cornejo, Germán Regis, Nazareno Aguirre y Marcelo Frias), fue aceptado para su publicación en IEEE Transactions on Software Engineering. IEEE Transactions on Software Engineering Felicitaciones a los autores!

Métodos Formales e Ingeniería de Software (@mfisdc) 's Twitter Profile Photo

The paper "An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding" (by C. Cornejo, M. Novaira, Sonia Permigiani , N. Aguirre , S. Gutiérrez Brida and G. Regis) has been accepted for publication at ABZ 2024!

Departamento de Computación (@dcexaunrc) 's Twitter Profile Photo

El articulo "An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding” (por C. Cornejo, M. Novaira, Sonia Permigiani, N. Aguirre, M. Frias, S. Gutiérrez Brida y G. Regis) fue aceptado para su publicación en ABZ 2024!!

Agustín Gravano (@agustingravano) 's Twitter Profile Photo

Unos 100 docentes e investigadores de la Universidad Torcuato Di Tella (UTDT) expresamos nuestra profunda preocupación por la campaña de desprestigio, acoso y asfixia financiera impulsada por el PEN contra las universidades nacionales y el sistema científico público.

Unos 100 docentes e investigadores de la Universidad Torcuato Di Tella (UTDT) expresamos nuestra profunda  preocupación por la campaña de desprestigio, acoso y asfixia financiera impulsada por el PEN contra las universidades nacionales y el sistema científico público.
Métodos Formales e Ingeniería de Software (@mfisdc) 's Twitter Profile Photo

We are very happy to announce that the ACM Special Interest Group on Software Engineering (SIGSOFT) will be sponsoring our Summer School on Informatics RIO 2025 through a SIGSOFT financial support grant for summer/winter schools. Thanks ACM SIGSOFT for the support!

Métodos Formales e Ingeniería de Software (@mfisdc) 's Twitter Profile Photo

We are happy to announce that César Cornejo has been awarded a CONICET postdoctoral grant, and will be pursuing his postdoc at our Research Group. Congratulations César! César Cornejo

Métodos Formales e Ingeniería de Software (@mfisdc) 's Twitter Profile Photo

We are very happy to announce that Cesar Cornejo César Cornejo, member of our Group, has successfully defended his PhD thesis, entitled "Especificación de Modelos Dinámicos y Análisis de Propiedades con Herramientas Basadas en Alloy". Congratulations Cesar!

Departamento de Computación (@dcexaunrc) 's Twitter Profile Photo

Es un gran placer anunciar que Cesar Cornejo César Cornejo , miembro de nuestro departamento, defendió exitosamente su tesis doctoral titulada "Especificación de Modelos Dinámicos y Análisis de Propiedades con Herramientas Basadas en Alloy". Felicitaciones Cesar!

Métodos Formales e Ingeniería de Software (@mfisdc) 's Twitter Profile Photo

The article “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria" (by L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutiérrez Brida, G. Regis, N. Aguirre and M. Frias) was accepted for publication at the ACM Trans. on Soft. Eng. and Methodol. (TOSEM)

Departamento de Computación (@dcexaunrc) 's Twitter Profile Photo

El artículo “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria" (by L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutiérrez Brida, G. Regis, N. Aguirre and M. Frias) fue aceptado para su aceptación en ACM Trans. on Soft. Eng. and Methodol. TOSEM!