- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
Na reunião de Conselho de Administração do INESC TEC, que aconteceu no dia 7 de maio, foi comunicada a nomeação de António Luís Sousa para a co-coordenação do Laboratório de Software Confiável (HASLab), funções que exercerá em conjunto com Alcino Cunha, que se mantém como co-coordenador do Centro.
17 junho 2019
RADicalize BigData, um projeto de prestação de serviços com a OutSystems, levado a cabo pelo Laboratório de Software Confiável (HASLab) do INESC TEC, permitiu desenvolver uma forma de integrar dados de fontes Big Data em aplicações empresariais usando uma abordagem low-code, compatível com a plataforma OutSystems.
14 junho 2019
A mais recente spin-off do INESC TEC chama-se Keyruptive e atua na área da segurança informática. Nasceu em Braga, fruto do trabalho de vários anos de um grupo de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, e já tem uma solução tecnológica para apresentar ao mercado, cujo nome é igual ao da empresa agora criada.
13 junho 2019
O maior projeto colaborativo europeu aprovado pela Comissão Europeia, ao abrigo do programa de financiamento Horizonte 2020, chama-se InterConnect e vai ser liderado pelo INESC TEC.
04 junho 2019
Thierry Lecomte, Diretor de Projetos de Investigação e Desenvolvimento da CLEARSY Systems Engineering, visitou o Laboratório de Software Confiável (HASLab) do INESC TEC, em Braga, e a sede do Instituto, no Porto, nos dias 6 e 7 de março.
23 abril 2019
Foi no âmbito das Jornadas PERIN 2019 “+ Ciência, + Europa” que decorreu a sessão de apresentação do Laboratório Colaborativo (CoLAB) VORTEX em sistemas Ciber-Físicos e CiberSegurança, no qual o INESC TEC é um dos parceiros, com participação assegurada pelo Laboratório de Software Confiável (HASLab).
02 abril 2019
O artigo intitulado “Efficient Synchronization of State-based CRDTs”, da autoria de Vítor Enes, Paulo Sérgio Almeida e Carlos Baquero, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com João Leitão, investigador do NOVA LINCS, foi aceite para publicação na 35ª edição da IEEE International Conference on Data Engineering (ICDE 2019).
20 março 2019
O 3º Congresso Mundial em Métodos Formais (FM’19), organizado pelo INESC TEC, decorre de 7 a 11 de outubro, no Centro de Congressos Alfândega do Porto, em parceria com a 5ª edição da Conferência Porto Tech Hub, que se vai realizar no dia 11 de outubro, no mesmo local.
20 março 2019
InstitucionalLuís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Universidade do Minho e na Universidade das Nações Unidas, foi eleito, no dia 24 de janeiro, Coordenador do Technical Committee 1 - Foundations of Computer Science (IFIP TC1), um comité internacional cuja missão é o desenvolvimento da teoria e ciências da computação e das suas pontes com outros domínios do saber e aplicações socialmente relevantes.
08 fevereiro 2019
O projeto “Outsystems Learnability Model”, iniciado em maio de 2018 pelo Laboratório de Software Confiável (HASLab) do INESC TEC, e com a duração de seis meses, teve como objetivo definir uma estratégia de análise da experiência de utilização da plataforma da OutSystems, tendo em vista suportar a sua melhoria.
08 janeiro 2019
José Creissac Campos, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente da Universidade do Minho, visitou, de 26 a 29 de novembro, o Laboratório de Interação Humano-Computador para Necessidades Especiais, que faz parte da Universidade do País Basco, onde promoveu a área de trabalho em métodos formais.
28 dezembro 2018
Foi no dia 27 de setembro que teve lugar a terceira e última avaliação pela Comissão Europeia do projeto SafeCloud, um trabalho liderado pelo Laboratório de Software Confiável (HASLab) do INESC TEC. Com um investimento de mais de três milhões de euros, este projeto foca a área das infraestruturas na cloud, que, apesar das suas vantagens, apresentam ainda vários desafios de segurança, privacidade e integridade no armazenamento e processamento de dados.
04 outubro 2018