gsd.famaf.unc.edu.ar
Charla Arnd Hartmanns (Universität des Saarlandes) | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/node/468
Charla Arnd Hartmanns (Universität des Saarlandes). Este miércoles 19 de noviembre, a las 14:00 en la Sala Smith, Arnd Hartmanns. Dictará una charla en el marco del grupo. A continuación los datos de la charla:. Dependable Systems and Software Group. Reachability and Reward Checking for Stochastic Timed Automata. Matemática, Astronomía, Física y Computación. Sección de Ciencias de la Computación. Dependable Systems Group - FaMAF, Universidad Nacional de Córdoba.
gsd.famaf.unc.edu.ar
Trabajo de Grado. Andrés Bordese y Tomás Hayes | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/node/485
Trabajo de Grado. Andrés Bordese y Tomás Hayes. El miércoles 17 de diciembre de 2014 a las 18:00 hs. en el auditorio de la FaMAF, Andrés Bordese y Tomás Hayes defenderán su trabajo de grado para obtener el título de Licenciado en Ciencias de la Computación. A continuación pueden encontrar el título y resumen del trabajo de grado. PEF (Python Error Finder): Una herramienta para la detección de errores en Python. Andrés Bordese y Tomás Hayes. Matemática, Astronomía, Física y Computación.
gsd.famaf.unc.edu.ar
Charla José Santos (INRIA Sophia Antipolis Méditerranée) | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/node/467
Charla José Santos (INRIA Sophia Antipolis Méditerranée). Este martes 18 de noviembre, a las 16:00 en la Sala Smith, José Santos. Dictará una charla en el marco del grupo. A continuación los datos de la charla:. INRIA Sophia Antipolis Méditerranée. Enforcing secure information flow in client-side Web applications. A monitored semantics for dynamically enforcing secure information flow in Core JavaScript as well as a source-to-source transformation that inlines the proposed monitor,.
gsd.famaf.unc.edu.ar
Second semester visits within MEALS | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/node/463
Second semester visits within MEALS. Along the semester July-December 2014, we have received/will receive the visit of the following researchers:. October, November and December). All the trips were done within the framework of the MEALS project. Matemática, Astronomía, Física y Computación. Sección de Ciencias de la Computación. Dependable Systems Group - FaMAF, Universidad Nacional de Córdoba. Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina.
dsg.famaf.unc.edu.ar
Dependable Systems Group
http://dsg.famaf.unc.edu.ar/news
Charla Arnd Hartmanns (University of Twente). Este jueves 1 de diciembre, a las 11:00 en la Sala Smith, Arnd Hartmanns. Dictará una charla en el marco del grupo. A continuación los datos de la charla:. Read more about Charla Arnd Hartmanns (University of Twente). Charla de Alejandro Russo. Este martes 22 de noviembre a las 11:00hs en el aula 15, el Dr. Alejandro Russo. De la Chalmers University of Technology (Suecia) va a dictar la charla. Preserving Privacy with Monads". SADIO, pp. 297-307. 2016. P R D'...
dsg.famaf.unc.edu.ar
Charla de Alejandro Russo | Dependable Systems Group
http://dsg.famaf.unc.edu.ar/node/681
Charla de Alejandro Russo. Este martes 22 de noviembre a las 11:00hs en el aula 15, el Dr. Alejandro Russo. De la Chalmers University of Technology (Suecia) va a dictar la charla. Preserving Privacy with Monads". Si bien la charla es de caracter general, está dirigida particularmente a los alumnos para poder despertar su interés en el área y puedan explorar la posibilidad de continuar desempeñándose en investigación al finalizar su carrera. Debajo se pueden encontrar los datos de la charla. Tel: 54 351 5...
dsg.famaf.unc.edu.ar
Members | Dependable Systems Group
http://dsg.famaf.unc.edu.ar/members
Pedro R. D'Argenio. Full Professor, Researcher CONICET (Adjunto). Carlos S. Bederián. Assistant Teacher, CONICET (Profesional Principal). Lecturer, Researcher CONICET (Asistente). Carlos E. Budde. Raúl E. Monti. Assistant Teacher, Scientific Programmer. Lecturer, Researcher CONICET (Adjunto). Lecturer, Researcher CONICET (Adjunto). Currently working at Moonlighting. Currently working at Google. Currently working at Universidad Nacional de Nordeste. Matemática, Astronomía, Física y Computación.
dsg.famaf.unc.edu.ar
Publications | Dependable Systems Group
http://dsg.famaf.unc.edu.ar/biblio
Show only items where. Andrés, Miguel E. Baeten, Jos C M. Blanco, Javier O. Bohnenkamp, Henrik C. Bradley, Jeremy T. Brandán Briones, Laura. Budde, Carlos E. Budde, Carlos Ernesto. Cannas, Sergio A. Chim, Tat Wing. Cuijpers, Pieter J L. D'Argenio, Pedro R. De Boer, Frank S. De Francesco, Juan Pablo. De Vink, Erik P. Ferrer Fioriti, Luis María. Ferrero, Ezequiel E. Hahn, Ernst Moritz. Jones, Cliff B. Joshi, Kaustubh R. Knottenbelt, William J. Lee, Matias D. Lee, Matías David. Leifer, James J. Monti, Raúl E.
gsd.famaf.unc.edu.ar
Paper accepted at EPEW 2015 | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/node/539
Paper accepted at EPEW 2015. Rare event simulation with fully automated importance splitting. Carlos E. Budde. Pedro R. D'Argenio. Matemática, Astronomía, Física y Computación. Sección de Ciencias de la Computación. Dependable Systems Group - FaMAF, Universidad Nacional de Córdoba. Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina. Tel: 54 351 535 3701, ext. 41306 - Fax: 54 351 433 4054.
gsd.famaf.unc.edu.ar
Charla Sean Sedwards (INRIA Rennes) | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/node/474
Charla Sean Sedwards (INRIA Rennes). Este miércoles 26 de noviembre, a las 14:00 en la Sala Smith, Sean Sedwards. Dictará una charla en el marco del grupo. A continuación los datos de la charla:. Lightweight Verification of Markov Decision Processes. Matemática, Astronomía, Física y Computación. Sección de Ciencias de la Computación. Dependable Systems Group - FaMAF, Universidad Nacional de Córdoba. Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina.