INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

April 2015
M T W T F S S
« Mar    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • Paper presented in PerCol/PerCom 2015

    (0)
    Publicado em March 30th, 2015Publications

    The full paper entitled A Collaborative TV-Internet Application Model to Enrich TV Viewing Experience in a Pervasive Way (co-authored by Carlos Ferraz/CIn-UFPE, Douglas Véras/CIn-UFPE and Jancleidsson da Silva/CESAR) was successfully presented at the 6th Intl. Workshop on Pervasive Collaboration and Social Networking, held in conjunction with the 13th IEEE Intl. Conference on Pervasive Computing and Communications (PerCom 2015), St. Louis, Missouri, USA, March 23‐27, 2015.

    , ,
  • UFPE Researcher at FOSD Meeting 2015 and ICSE 2015

    (0)
    Publicado em March 27th, 2015Expenses

    INES researcher Leopoldo Teixeira will attend the FOSD Meeting 2015, held at the International Academy Traunkirchen, Austria, between May 13th and 16th. FOSD is an workshop within the field of software development for variability-rich software systems and feature-oriented software development (FOSD). The main goal of the meeting is to foster intensive and interactive discussions around the aforementioned topics. The meeting provides an open and stimulating atmosphere and encouraged presentations at different levels of maturity. During the meeting, the following work will be presented: “A Product Line of Theories for Reasoning about Safe Evolution of Product Lines“.

    Besides the FOSD Meeting, Leopoldo will also attend the 37th International Conference on Software Engineering (ICSE’2015), to be held in Florence, Italy, in May 2015. There, he will also attend a satellite event of ICSE, the New Faculty Symposium.

    This activity is part of the “Tools for Developing and Evolving Software Product Lines” project.

    ,
  • INES at 17th International Conference on Enterprise Information Systems (ICEIS 2015)

    (0)
    Publicado em March 26th, 2015Publications
    INES researchers members from the project “Evidence-Based Software Engineering” - in portuguese, “Engenharia de Software Baseada em Evidências” - has an accepted paper at 17th International Conference on Enterprise Information Systems (ICEIS 2015).
    Authors: Rodrigo Magnavita, Renato Novais, Manoel Mendonça
    Title: Using EVOWAVE to Analyze Software Evolution
    , , ,
  • INES @ SOCM 2015 / WWW2015

    (0)
    Publicado em March 16th, 2015Uncategorized

    The paper titled “Towards Government as a Social Machine” has been accepted for presentation at the The 3rd International Workshop on the Theory and Practice of Social Machines (SOCM2015) that will be held at 24th International World Wide Web Conference (WWW 2015) which will be held from May 18 to 22, 2015 in Florence, Italy. Details about WWW 2015 can be found at the conference website: http://www.www2015.it/. The paper will be presented by Vanilson Burégio, first author of the paper and member of the S.MA.R.T - Social MAchines Research Team – a research project of INES.

  • INES at IPSN 2015

    (0)
    Publicado em March 16th, 2015Expenses

    Gibeon Aquino, Professor at UFRN and INES Researcher, will attend the 14th International Symposium on Information Processing in Sensor Networks (IPSN 2015). IPSN is part of CPS Week and the CPS Week 2015 will be held in Seattle, WA in April 2015. It consists of four sister conferences: HSCC: 18th ACM International Conference on Hybrid Systems: Computation and Control, ICCPS: 6th ACM/IEEE International Conference on Cyber-Physical Systems, IPSN: 14th ACM/IEEE International Conference on Information Processing in Sensor Networks, and RTAS: 21th IEEE Real-Time and Embedded Technology and Applications Symposium. The researcher pretends to attend this conferece in order to better understand the advances in the conference topics, in special on applications and practices related to indoor localization problem. Moreover, there is a special interest in observing the Microsoft Indoor Localization Competition which will be co-located with IPSN 2015. This activity is part of the project “Indolor - Indoor Location Radar”.

    ,
  • 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

  • INES member to collaborate with IIIA-CSIC and SONY CSL Paris

    (0)
    Publicado em March 5th, 2015Uncategorized
    Giordano Cabral, technical leader of the INES project New Application for Audio Monitoring, is invited to visit IIIA-CSIC in Barcelona (www.iiia.csic.es) and SONY Computer Science Lab in Paris (www.csl.sony.fr) to discuss a technical collaboration in the domain of audio and music information retrieval. SONY CSL is one of the world leaders in the field, has already developed cutting edge technology for automatic extraction of audio descriptors, such as the EDS project (http://www.csl.sony.fr/publications.php?keyword=EDS).
    The visit aims to discuss a future scientific project with these partners, about audio classification. The expertise and partnership of SONY and IIIA-CSIC researchers is essential to the fulfillment of the project goals.
  • UFAL researcher visits UFPE

    (0)
    Publicado em March 2nd, 2015News

    Márcio Ribeiro visited the Software Productivity Group at CIn/UFPE to continue the collaboration that both universities have been doing. In particular, the technical discussion was about two papers that will be submitted soon.

  • UFCG acquires office material

    (0)
    Publicado em February 18th, 2015Uncategorized

    The Making program refactoring evolution safer project acquires office material.