INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2011
M T W T F S S
« Jul   Sep »
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • veriT version 201107 released

    (0)
    Publicado em August 8th, 2011Publications

    veriT logo

    veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, proof-producing, and complete for quantifier-free formulas with uninterpreted functions and difference logic on real numbers and integers.

    The input format is the SMT-LIB language (both versions 1.2 and 2.0) and DIMACS, but veriT can also be used as a standalone library and incorporated in third-party software. The tool is open-source and distributed under the BSD license.

    It is available at http://www.verit-solver.org. Users and developers are welcome!

    UFRN affiliated INES researcher David Déharbe is one of the main developers of veriT.

  • INES present at first PxTP workshop

    (0)
    Publicado em August 8th, 2011Publications

    UFRN researcher David Déharbe, together with colleagues Pascal Fontaine (LORIA, France) and Bruno Wolzenlogel Paleo (TU-Wien, Austria), will present their work, titled “Quantifier Inference Rules for SMT proofs” at PxTP-2011, the First Workshop on Proof eXchange for Theorem Proving, located in Wrocław, Poland.

    , , ,
  • INES at CADE-23

    (0)
    Publicado em August 8th, 2011Publications

    UFRN researcher David Déharbe is one of the authors of the paper “Exploiting symmetry in SMT problems”, together with Pascal Fontaine, Stephan Merz and Bruno Wolzenlogel Paleo. The paper has been accepted for publication at “CADE – the 23rd International Conference on Automated Deduction” which will take place in Wroklaw, Poland.

    The DOI of the publication is: 10.1007/978-3-642-22438-6_18.

    , ,
  • INES at SBMF 2011

    (0)
    Publicado em August 5th, 2011Uncategorized

    The MSc studend Diego Machado and the professor Juliano Iyoda, INES researchers members from the project Tests Generation, Selection, Prioritization and Processing Product Line — in portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, has an accepted paper at the XIV Brazilian Symposium on Formal Methods (SBMF 2011) in the II Brazilian Conference on Software (CBSoft 2011), that will be in São Paulo, SP, from 26 to September 30.

    Publication details
    Authors: Diego Machado Dias and Juliano Manabu Iyoda.
    Title: Behavioural Preservation in Fault Tolerant Patterns.

    , ,
  • INES at CBSoft 2011

    (0)
    Publicado em August 5th, 2011Uncategorized

    INES researcher prof. Eduardo Almeida will participate of the Brazilian Conference on Software: Theory and Practice (CBSoft), the premier conference on the topic. This activity is part of the project “An Investigation of Methods, Processes, Tools, and Metrics for the Development of Software Product Lines (SPL)” — in portuguese, Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software.

  • INES at ECSA

    (0)
    Publicado em August 5th, 2011Uncategorized

    INES researcher prof. Eduardo Almeida will participate of the 5th European Conference on Software Architecture (ECSA), the premier conference on the topic.

    This activity is part of the project  “An Investigation of Methods, Processes, Tools, and Metrics for the Development of Software Product Lines (SPL)” — in portuguese, Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software.

    ,
  • INES at CBSOFT 2011

    (0)
    Publicado em August 4th, 2011Publications

    INES researchers from the Software Productivity Group (SPG) at UFCG had the paper “Analyzing Refactoring on Software Repositories”  accepted for publication at 25th Brazilian Symposium of Software Engineer (SBES) that is integrated in 2nd Brazilian Congress on Software: Theory and Practice (CBSoft).

    This activity is part of the project “Making Program Evolution Safer”.

    More details about the publication:

    Soares, G., Catão, B., Varjão, C., Aguiar, S., Gheyi, R., Massoni, T. Analyzing Refactoring on Software Repositories, 25th Brazilian Symposium of Software Engineer (SBES), Brazilian Congress on Software: Theory and Practice, São Paulo, Brazil, 2011.

  • INES at CSBC 2011

    (0)
    Publicado em August 2nd, 2011Uncategorized

    The professor André Santos, INES researcher member from the project Tool Support for Software Product Lines Development and Evolution — in portuguese, Ferramentas para Desenvolvimento e Evolução de Linhas de Produtos de Software, presented the achievements and plans for the future work of the project at the INES Workshop (WINES) on the XXXI Congress of the Brazilian Computer Society (CSBC 2011), that was held in Natal, RN, Brazil from July 19th to 22nd, 2011.

    , ,
  • INES at GPCE 2011

    (0)
    Publicado em August 1st, 2011Publications

    INES at GPCE 2011
    INES researchers members from the “Software Productivity Group – SPG” had two papers accepted for the Generative Programming and Component Engineering (GPCE’11) that will happen in Portland, Oregon – USA, on October 22 – 23.

    Publication details:
    1. Lais Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza and Paulo Borba: Investigating the Safe Evolution of Software Product Lines
    2. Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand and Sérgio Soares: On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines

    , , ,