News
Up one levelINESC 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.
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.
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.
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.
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.
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”.
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.
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.
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.
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.
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.
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”.
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).
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.
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.
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.
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.
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.
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.
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.
Forgot your password?
