- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
O artigo “ASPAS: As Secure as Possible Available Systems”, escrito em coautoria por Houssam Yactine, Ali Shoker, e George Younes, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o prémio Best Paper Award na 16ª edição da International Federated Conference on Distributed Computing Techniques (DisCoTec2021).
15 julho 2021
O projeto PassCert, Investigação do Impacto de Verificação Formal na Adoção de Software para Segurança de Passwords, arrancou em fevereiro e vai permitir criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.
31 maio 2021
Medir, monitorizar e melhorar a presença, posição social e influência de empresas e indivíduos nas redes sociais.
26 maio 2021
O INESC TEC coorganizou o workshop AIST 2021 – International Workshop on Artificial Intelligence in Software Testing, no âmbito da IEEE International Conference on Software Testing (ICST 2021), e dedicado à Inteligência Artificial para testes de software. O evento decorreu online, no dia 12 de abril, e contou com mais de 20 participantes.
07 maio 2021
O projeto IDINA – Identidade Digital Inclusiva Não Autoritativa, liderado pelo Laboratório de Software Confiável (HASLAb) do INESC TEC, é o vencedor do Prémio IN3+, promovido pela Imprensa Nacional – Casa da Moeda S.A. (INCM), no valor de 600 mil euros. O IDINA pretende criar uma plataforma de identificação do cidadão eficaz e inclusiva, em países que não possuem sistemas centrais de identificação (infraestruturas de registo civil), para todos os cidadãos.
30 março 2021
O projeto CoronaSurveys, que pretende determinar a incidência da pandemia em vários países, foi distinguido no “XPRIZE Pandemic Response Challenge” com uma menção honrosa e um prémio no valor de 3 mil euros em crédito AWS (Amazon Web Services).
24 março 2021
Em parceria com o INESC TEC, o desenvolvimento da plataforma SIS permitiu à NAU21, empresa incubada no UPTEC, ser distinguida pela revista Insurance CIO Outlook, como uma das 10 das melhores empresas de Insurtech da Europa. Esta plataforma pretende revolucionar a forma como qualquer pessoa lida com os seguros, tornando os processos mais simples, rápidos e diretos.
05 março 2021
O projeto IDINA, Identidade Digital Inclusiva Não-Autoritativa, é um dos projetos finalistas da terceira edição do Prémio IN3+, uma iniciativa que pretende apoiar a geração de novas ideias, promovida pela Imprensa Nacional-Casa da Moeda (INCM).
22 fevereiro 2021
O INESC TEC, através do Centro de Engenharia de Sistemas Empresariais (CESE) e do Laboratório de Software Confiável (HASLab), participa no projeto CircThread – Building the Digital Thread for Circular Economy Product, Resource & Service Management.
14 janeiro 2021
O artigo GreenHub: A Large-Scale Collaborative Dataset to Battery Consumption Analysis of Android Devices, da coautoria de Rui Pereira e Marco Couto, do Laboratório de Software Confiável (HASLab) do INESC TEC e da UMinho, apresenta uma análise rigorosa de mais de 23 milhões de amostras de dados da utilização de smartphones Android, com o objetivo de compreender a eficiência do consumo da bateria.
22 dezembro 2020
O Laboratório de Software Confiável (HASLab) do INESC TEC e UMinho participou, no dia 18 de dezembro, no programa “O Melhor Estudante na UMinho 2020”, com a atividade “A ciência por detrás da app STAYAWAY COVID”, que contou com mais de 15 participantes, oriundos de escolas e colégios do norte do país.
22 dezembro 2020
O projeto CoronaSurveys, que conta com a participação de Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e Professor da UMinho, foi um dos cinco finalistas do concurso internacional COVID-19 Symptom Data Challenge.
17 dezembro 2020