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

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.

21st February 2017

Institutional

INESC TEC in new European Smart Grids project

The kick-off meeting of European project InteGrid took place on 12 and 13 January, in Lisbon. The project is coordinated by EDP Distribuição and has been approved by the European Commission, as part of the European programme Horizon 2020, with a budget of 15 million Euros and a duration of 42 months.

20th January 2017

Institutional

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.

23rd December 2016

Institutional

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.

19th December 2016

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

  • 11
  • 14