http://www-archive.inesctec.pt daily 1 2014-05-21T10:52:35Z http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/inesc-tec-organiza-conferencia-internacional-sobre-metodos-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. No publisher eigo 2017-10-31T10:38:15Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/investigador-do-inesc-tec-concluiu-provas-de-agregacao 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. No publisher eigo 2017-10-13T15:20:32Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/artigo-sobre-eficiencia-energetica-em-linguagens-de-programacao-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. No publisher eigo 2017-10-26T15:03:26Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/haslab-participa-no-programa-verao-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. No publisher eigo 2017-10-03T15:43:00Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/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. No publisher eigo 2017-06-29T13:43:08Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/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”. No publisher eigo 2017-08-16T11:06:21Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/artigo-sobre-sistema-de-ficheiros-altamente-configuravel-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). No publisher eigo 2017-05-29T16:38:37Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/projeto-europeu-leanbigdata-chega-ao-fim-com-avaliacao-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. No publisher eigo 2017-04-28T10:10:22Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/lightkone-e-o-novo-projeto-europeu-que-pretende-inovar-redes-perifericas LightKone, Lightweight Computation for Networks at the Edge, é o novo projeto europeu do INESC TEC, representado pelo Laboratório de Software Confiável (HASLab), que visa desenvolver um modelo cientificamente sólido e validado industrialmente que seja capaz de fazer computação distribuída em redes periféricas. No publisher eigo 2017-03-10T10:25:34Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/investigador-do-inesc-tec-distinguido-com-premio-201cprotecao-da-privacidade201d Manuel Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Faculdade de Ciências da Universidade do Porto (FCUP), foi um dos investigadores que constituem a equipa de investigação europeia distinguida com o prémio “Proteção da Privacidade”. No publisher eigo 2017-03-03T11:04:36Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/projeto-practice-termina-com-avaliacao-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. No publisher eigo 2017-02-22T12:11:26Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/jose-nuno-oliveira-e-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. No publisher eigo 2017-01-27T15:30:36Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/luis-soares-barbosa-aprovado-em-provas-de-agregacao Luís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Escola de Engenharia da Universidade do Minho, concluiu em dezembro as provas de agregação, tendo sido aprovado por unanimidade pelos membros do júri. No publisher eigo 2016-12-27T12:23:04Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/5m20ac-para-desenvolver-bases-de-dados-europeias-na-cloud O projeto Europeu CloudDBAppliance, que visa a criação de uma plataforma que permite oferecer bases de dados como um serviço ao nível europeu, arrancou este mês em Grenoble, França. No publisher eigo 2016-12-23T14:50:23Z News Item http://www-archive.inesctec.pt/haslab/noticias-eventos/noticias/projeto-europeu-safecloud-obtem-avaliacao-positiva-no-primeiro-ano O projeto europeu SafeCloud alcançou uma avaliação positiva no seu primeiro ano de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu em novembro em Bruxelas. No publisher eigo 2017-01-13T12:21:49Z News Item