Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
News

News by High-Assurance Software

Institutional

INESC TEC asks the Portuguese if they know what a smart grid is

INESC TEC, together with EDP Distribuição, Withus - Inovação e Tecnologia and NOS, is conducting a national survey in order to understand the country’s knowledge of smart grids.

01st December 2016

Institutional

INESC TEC projects stand out at Web Summit

Two of the five most interesting business ideas presented by Portuguese entrepreneurs on the first day of the Web Summit are projects related to INESC TEC - Kinematix and SafeCloud.

22nd November 2016

Institutional

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”.

27th October 2016

Institutional

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.

30th September 2016

Institutional

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).

30th September 2016

Institutional

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.

01st July 2016

Institutional

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.

07th June 2016

Institutional

4 large smart grid demonstrators will be installed in Europe until 2017

European energy project, UPGRID, features INESC TEC as partner

03rd March 2016

Institutional

INESC TEC organises workshop on oil exploration and production

On 19 February, INESC TEC organised a workshop on oil exploration and production (E&P).

25th February 2016

Institutional

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.

17th February 2016

Institutional

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.

08th February 2016

Institutional

Protocol between INESC TEC and National Institute of Informatics takes researchers to Japan

Following the signing of a memorandum of understanding between INESC TEC and the National Institute of Informatics (NII), in Tokyo (Japan) in 2014, five INESC TEC researchers had the opportunity to do an internship at the Japanese institution.

02nd February 2016

  • 11
  • 14