Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Notícias

Notícias por Laboratório de Software Confiável

Institucional

Colaborador do INESC TEC ganha bolsa de investigação da Gulbenkian

Afonso Rodrigues, colaborador do INESC TEC e aluno de Mestrado Integrado em Engenharia Física da Universidade do Minho, foi um dos oito vencedores da bolsa de investigação científica e tecnológica da Gulbenkian, no âmbito de Tecnologias Quânticas.

04 janeiro 2018

Institucional

Startups INESC TEC na maior conferência tecnológica

A Web Summit, a maior conferência europeia de empreendedorismo, tecnologia e inovação, contabilizou a presença 2.100 startups que tentaram a sua sorte para obter financiamento, e duas delas tiveram origem no INESC TEC: a SafeCloud Technologies e a MitMyNid.

18 dezembro 2017

Institucional

INESC TEC organiza conferência internacional sobre Métodos Formais

O Laboratório de Software Confiável (HASLab) do INESC TEC organizou a 14ª edição da FACS – Conferência Internacional em Aspetos Formais e Componentes de Software, que decorreu de 10 a 13 de outubro, em Braga.

31 outubro 2017

Institucional

Investigador do INESC TEC concluiu provas de agregação

Rui Oliveira, administrador do INESC TEC, investigador do Laboratório de Software Confiável (HASLab) e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 7 e 8 de setembro, as provas de agregação na Universidade do Minho (UM), tendo sido aprovado por unanimidade pelos membros do júri.

13 outubro 2017

Institucional

Artigo sobre eficiência energética em linguagens de programação recebe Best Paper Award

O artigo intitulado “Towards a Green Ranking for Programming Languages”, da autoria de Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua e João Saraiva, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, foi escolhido para Best Paper Award da SBLP 2017.

06 outubro 2017

Institucional

HASLab participa no programa Verão no Campus 2017 da UMinho

A Computação Sem Fronteiras é uma atividade que, integrada do Verão do Campus da U.Minho, tem por objetivo promover as áreas da Informática e da Computação junto dos alunos do ensino secundário.

21 setembro 2017

Institucional

Artigo sobre SQL Window Functions recebe Best Paper Award of DAIS 2017

O artigo intitulado “Similarity aware shuffling for the distributed execution of SQL window functions”, de autoria de Fábio Coelho, José Pereira e Rui Oliveira, do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com Miguel Matos do INESC-ID, foi escolhido para o Best Paper Award da DAIS 2017.

29 junho 2017

Institucional

Investigador do INESC TEC recebe medalha de prata no ACM Student Research Competition

Rui Pereira, aluno de doutoramento e investigador do HASLab – Laboratório de Software Confiável do INESC TEC, alcançou o segundo lugar no ACM Student Research Competition na ICSE 2017, com o trabalho “Locating energy hotspots in source code”.

02 junho 2017

Institucional

Artigo sobre sistema de ficheiros altamente configurável recebe Best Student Paper Award

O artigo intitulado “SafeFS: A modular architecture for secure user-space file systems (one FUSE to rule them all)”, realizado no âmbito do projeto europeu SafeCloud, desenvolvido no Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o Best Student Paper Award na 10th ACM International Systems and Storage Conference (SYSTOR).

29 maio 2017

Institucional

Projeto Europeu LeanBigData chega ao fim com avaliação positiva

O projeto europeu LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), onde o INESC TEC foi um dos parceiros, representado pelo Laboratório de Software Confiável (HASLab) e pelo Centro de Sistemas de Informação e de Computação Gráfica (CSIG), terminou no mês passado com uma avaliação excelente pela Comissão Europeia, afirmando que o consórcio desenvolveu um trabalho científico muito bom, com resultados excelentes.

04 maio 2017

Institucional

Projeto PRACTICE termina com avaliação excelente

O projeto europeu PRACTICE (Privacy-Preserving Computation in the Cloud), onde o INESC TEC foi um dos parceiros, representado pelo Laboratório de Software Confiável (HASLab), terminou em 2016 com uma avaliação excelente da Comissão Europeia.

21 fevereiro 2017

Institucional

José Nuno Oliveira é o novo Diretor do HASLab@UMinho

José Nuno Oliveira, investigador do HASLab e professor do Departamento de Informática da Escola de Engenharia da Universidade do Minho, tomou posse como Diretor do HASLab@UMinho no dia 13 de janeiro.

24 janeiro 2017

  • 10
  • 15