Sections
  Home HASLab News and Events News
Document Actions

News

Up one level
INESC TEC organises international conference on Formal Methods

INESC TEC organises international conference on Formal Methods

The High-Assurance Software Laboratory (HASLab) of INESC TEC organised the 14th edition of FACS – International Conference on Formal Aspects of Component Software, which took place between the 10th and the 13th of October in Braga.

Read More…

INESC TEC researcher concludes habilitation exams

INESC TEC researcher concludes habilitation exams

Rui Oliveira, member of the board of INESC TEC, researcher at the High-Assurance Software Laboratory (HASLab), professor at the School of Engineering of the University of Minho and member of the Board of Directors of INESC TEC, concluded on the 7th and 8th of September his habilitation exams at the University of Minho, which were unanimously approved by the members of the jury.

Read More…

Paper on energy efficiency in programming languages receives Best Paper Award

Paper on energy efficiency in programming languages receives Best Paper Award

The article "Towards a Green Ranking for Programming Languages", authored by Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua and João Saraiva, researchers at the High-Assurance Software Laboratory (HASLab) of INESC TEC, was awarded the Best Paper Award at SBLP 2017.

Read More…

HASLab participates in the “Summer on the Campus 2017” programme of UMinho

HASLab participates in the “Summer on the Campus 2017” programme of UMinho

The Computation Without Borders activity, organised mainly by HASLab researchers, had another edition this year, with the aim of promoting Computer Science among secondary school students.

Read More…

SQL Window Functions article receives Best Paper Award of DAIS 2017

SQL Window Functions article receives Best Paper Award of DAIS 2017

The article entitled "Similarity aware shuffling for the distributed execution of SQL window functions", authored by Fábio Coelho, José Pereira and Rui Oliveira from INESC TEC, together with Miguel Matos from INESC-ID, was selected for the Best Paper Award of DAIS 2017.

Read More…

INESC TEC’s researcher wins silver medal in ACM Student Research Competition

INESC TEC’s researcher wins silver medal in ACM Student Research Competition

Rui Pereira, PhD student and researcher at HASLab – High Assurance Software Laboratory of INESC TEC, took second place in the ACM Student Research Competition at ICSE 2017, with the work “Locating energy hotspots in source code”.

Read More…

LightKone is the new European project that will innovate edge networks

LightKone is the new European project that will innovate edge networks

LightKone, Lightweight Computation for Networks at the Edge, is the new European project featuring INESC TEC, represented by the High-Assurance Software Laboratory (HASLab), whose goal is to develop a scientifically solid and validated model to perform distributed computing in edge networks.

Read More…

INESC TEC researcher receives "Privacy Protection" award

INESC TEC researcher receives "Privacy Protection" award

Manuel Barbosa, a researcher at INESC TEC's High-Assurance Software Laboratory (HASLab) and a professor at the Faculty of Science of the University of Porto (FCUP), was one of the members of a European research team who received a "Privacy Protection" award.

Read More…

Project PRACTICE comes to an end with excellent evaluation

Project PRACTICE comes to an end with excellent evaluation

The European project PRACTICE (Privacy-enhanced and Secure Computations on Potentially Malicious Clouds), where INESC TEC was one of the partners, represented by the High-Assurance Software Laboratory (HASLab), was concluded in 2016 with an excellent evaluation by the European Commission.

Read More…

5M€ to develop European databases on the cloud

5M€ to develop European databases on the cloud

The European project CloudDBAppliance, where the goal is to create a platform to provide databases as a service at European level, started in December, in Grenoble, France.

Read More…

European project SafeCloud achieves positive evaluation in the first year

European project SafeCloud achieves positive evaluation in the first year

The European project SafeCloud has received positive feedback from its first year of activity as a result of the European Commission's evaluation, which took place in November in Brussels.

Read More…

European project CoherentPaaS comes to an end

European project CoherentPaaS comes to an end

European project CoherentPaaS (Coherent and Rich PaaS with the Common Programming Model), where INESC TEC’s High-Assurance Software Laboratory (HASLab) is partner, was concluded in October. According to the final evaluation of the European Commission, held in Madrid, the results were “very positive”, the team achieved the objectives outlined and did “excellent technical work”.

Read More…

INESC TEC creates safest photo app on the market

INESC TEC creates safest photo app on the market

The safest photo app on the market is Portuguese and has been developed by researchers from INESC TEC’s High Assurance Software Laboratory (HASLab).

Read More…

INESC TEC starts two more software engineering projects

INESC TEC starts two more software engineering projects

INESC TEC’s High-Assurance Software Laboratory (HASLab) started two new software engineering projects, TRUST and DaLí. The projects, which started on 19 and 20 September at the University of Minho, have secured a total of 250 thousand euros of funding.

Read More…

Paper by INESC TEC researchers receives honourable mention

Paper by INESC TEC researchers receives honourable mention

José Creissac Campos and Michael Harrison, both researchers at INESC TEC High-Assurance Software Laboratory (HASLab), have received an honourable mention with their paper “Modelling information resources and their salience in medical device design”, as part of the Engineering Interactive Computing Systems (EICS) conference, which took place between 21 and 24 June in Brussels.

Read More…

INESC TEC researcher participates in Google summer school

INESC TEC researcher participates in Google summer school

Georges Younes, researcher at INESC TEC’s High Assurance Software Laboratory (HASLab) and PhD student in the MAP-i computer science doctoral programme, will participate in the Google Summer of Code 2016, a Google-supported initiative to help students develop open source software.

Read More…

INESC TEC wins another a Best Paper Award

INESC TEC wins another a Best Paper Award

Manuel Barbosa, coordinator of INESC TEC’s High-Assurance Software Laboratory (HASLab) and professor at the University of Porto’s Faculty of Science, and José Bacelar Almeida, researcher at HASLab and professor at the Department of Informatics of the University of Minho, received a best paper award at the conference Fast Software Encryption 2016, which took place in late March in Bochum, Germany.

Read More…

INESC TEC project with PT Inovação/Altice Labs comes to an end

INESC TEC project with PT Inovação/Altice Labs comes to an end

The OSSaaS (Operations Support Systems as a Service), a project promoted by PT Inovação/Altice Labs and INESC TEC, has come to an end in January 2016.

Read More…

INESC TEC project with PT Inovação/Altice Labs comes to an end

INESC TEC project with PT Inovação/Altice Labs comes to an end

The OSSaaS (Operations Support Systems as a Service), a project promoted by PT Inovação/Altice Labs and INESC TEC, has come to an end in January 2016.

Read More…

INESC TEC develops social network for cancer patients

INESC TEC develops social network for cancer patients

FalarSobreCancro.org is the name of the social network that was created for cancer patients to share experiences and information. The website is public and free, and the goal is to provide a platform for the cancer patient community to interact, namely patients, family members, friends, healthcare professionals, researchers and volunteers.

Read More…

image_preview_HASLAB.jpg
image_preview_HASLAB.jpg
anuncio-site
anuncio-contactos

Contacts

HASLab +351 22 209 4000