INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2015
M T W T F S S
« Feb   Apr »
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

 
  • UFPE Researcher at ICSE 2015

    (0)
    Publicado em March 13th, 2015Expenses, Publications

    INES researcher Fernando Castor will attend the 37th International Conference on Software Engineering (ICSE), to be held in Florence, Italy, in May 2015. Fernando will also attend two satellite events of ICSE, the International Working Conference on Mining Software Repositories and the International Workshop on Green and Sustainable Computing. Fernando is co-author of a paper accepted for publication in the latter event:

    Gustavo Pinto, Francisco Soares-Neto, Fernando Castor. Refactoring for Energy Efficiency: A Reflection on the State of the Art. In Proceedings of the 4th International Workshop on Green and Sustainable Computing. Florence, Italy, 2015.

    , ,
  • Workshop do Projeto Confiabilidade e Segurança em Software Crítico

    (0)
    Publicado em March 13th, 2015Uncategorized
    O Projeto Confiabilidade e Segurança em Software Crítico realizará Workshop no período de 23 a 26 de Março de 2015. Este workshop terá a participação do Professor Titular Bill Roscoe (http://www.cs.ox.ac.uk/bill.roscoe/), um dos pesquisadores mais importantes na área de Concorrência e Verificação.
    O cronograma do evento será:
    Tuesday: 24/03
    ——————–
    09:00-09:45 – Pedro: Local deadlock analysis
    09:45-10:30 – Marcel/Madiel: A compositional and local strategy for
    livelock analysis

    10:30-11:00 – Break
    11:00-11:45 – Dihego: A conformance relation for extensibility of CSP
    processes and its mechanisation in FDR
    12:00-14:00 – Lunch
    14:00-15:30- Bill: Advanced course on CSP and FDR3
    15:30-16:00 – Break
    16:00-17:00 – Bill: Advanced course on CSP and FDR3

    Wednesday: 25/03
    ————————
    09:00-09:45 – Lucas/Juliano: Analysis of SysML models via mapping into CSP
    09:45-10:30 – Joabe: CSP semantics and analysis of Simulink models
    10:30-11:00 – Break
    11:00-11:45 – Alexandre/Adalberto: Model checking CSP using Formula
    12:00-14:00 – Lunch
    14:00-15:30- Bill: Advanced course on CSP and FDR3
    15:30-16:00 – Break
    16:00-17:00 – Bill: Advanced course on CSP and FDR3

    Thursday: 26/06
    ———————-
    09:00-09:45 – Sidney/Augusto: Test case generation as counterexample
    of refinement checking in the context of the Motorola Project
    09:45-10:30 – Gustavo: Test case generation in the context of the
    Embraer project
    10:30-11:00 – Break
    11:00-11:45 – Sidney: Input and outputs in CSP: a model and a testing theory
    11:45:12:30 – André: Fault tolerance modelling and analysis in CSP
    12:30-14:00 – Lunch
    14:00-15:30- Bill: Advanced course on CSP and FDR3
    15:30-16:00 – Break
    16:00-17:00 – Bill: Advanced course on CSP and FDR3