Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
  • Menu

News by High-Assurance Software

Computer Science

SafeCloud promotes the privacy and integrity of cloud utilization

On 27 September, took place the third and final assessment by the European Commission of the SafeCloud project. The project was led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over three million euros, the project focused on the area of  cloud infrastructures that, despite their many advantages, still present several challenges of privacy and integrity to data storage and processing.

04th October 2018

Computer Science

HASLab participates in the Summer on the Campus 2018

Integrated in the 10th Summer in the Campus Programme of the University of Minho, the activity  Computing Without Borders was organized by the Informatics Department in collaboration with HASLab.

17th September 2018

Computer Science

Researcher from HASLab concludes habilitation exams

Carlos Baquero, researcher of the High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho completed the habilitation exams on 26 and 27 July at the University of Minho, being unanimously approved by the members of the jury.

07th September 2018

Computer Science

European project CloudDBAppliance receives a positive assessment in the first 18 months of activity

The European project CloudDBAppliance achieved a positive assessment in the first 18 months of activity under the European Commission’s assessment that took place on 6 July in Brussels.

07th September 2018

Computer Science

INESC TEC organises conference on blockchain

The “Chain-in: International Industrial & Academic Conference on Blockchain Technology” took place on 9 and 10 July and was organised by INESC TEC.

12th July 2018

Computer Science

Documentation archive of programming languages pioneers receives support from INESC TEC

The archiving processing of the collection of the WG2.1 – Algoritmi Languages and Calculi workgroup of the International Federation for Information Processing (IFIP) was presented on 20 June at the Braga District Archive (ADB) and received the support of INESC TEC, of the University of Minho and of the Primavera Business Software.

27th June 2018

Computer Science

DaVinci is the new research project of INESC TEC

DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systems is the new research project of INESC TEC’S High Assurance Software Laboratory (HASLab) that was recently approved by the Foundation for Science and Technology and that aims to analyse and implement distributed software systems based on cyber-physical components.

20th June 2018

Computer Science

INESC TEC project applied to citizen card

On 24 May, a project of INESC TEC developed in partnership with the Portuguese Mint and Official Printing Office (INCM) was one of the highlighted presentations of the innovative ideas exhibition, that have already been implemented or that are still being developed by INCM.

18th June 2018

Computer Science

INESC TEC participates in the Porto Tech Hub conference

José Nuno Oliveira, researcher from the INESC TEC's High-Assurance Software Laboratory (HASLab), was invited to speak in the Porto Tech Hub conference, an event that took place on the 18th May at Alfândega Porto Congress Center.

08th June 2018

Computer Science

Researcher from INESC TEC receives the "best paper award" in Colombia

The paper “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps”, written by Luís Cruz, researcher of the INESC TEC’s High-Assurance Software Laboratory (HASLab), together with Rui Maranhão, teacher at the Instituto Superior Técnico, was awarded with the Best Paper Award in the XXI Ibero-American Conference on Software Engineering (CIbSE 2018) that took place in Bogotá, Colombia on 23 and 27 April.

05th June 2018

Computer Science

INESC TEC hosts 2018 Best Students at UMinho Programme

At the beginning of April, INESC TEC’s High Assurance Software Laboratory (HASLab) hosted high school students from Braga, Viana do Castelo and Bragança districts who have selected HASLab to experience the activity of IT researchers. The program was held under the 5th edition of Best Students at UMinho Programme.

08th May 2018

Computer Science

INESC TEC hosts one of the largest conferences on computer systems

The EuroSys - European Conference on Computer Systems, which is one of the world’s largest conferences on computer systems, took place in the city of Porto between 23 and 26 April. Around 300 participants from all over the world attended this conference, known as one of the largest international conferences on computer systems.

03rd May 2018

  • 1
  • 6