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

LeanBigData is the Best European R&D Cooperation Project

LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), a project from INESCTEC’s High Assurance Software Laboratory (HASLab) and Centre for Information Systems and Computer Graphics (CSIG), received the madri+d Award for Best European R&D Cooperation Project.

11th March 2015

Institutional

HASLab / INESC TEC explores deduplication technique for solving problems in the 'cloud'

The paper “A survey and classification of deduplication storage systems”, written by the researchers from INESC TEC’s High-Assurance Software Laboratory (HASLab), João Paulo and José Pereira, presents an innovative approach for the concept of deduplication and its use in cloud services. The work was recently published in the international journal with the highest impact factor in the field of computer science, ACM Computing Surveys.

17th September 2014

Institutional

HASLab/INESC TEC researcher wins IBM Portugal scientific award

Alexandre Madeira, a researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), has won the 2013 IBM Portugal Scientific Award, with the project “Hibridização de Lógicas: uma abordagem genérica à reconfigurabilidade de software” (in English: Hybrid logic – a generic approach to software reconfigurability).

15th July 2014

Institutional

HASLab/INESC TEC’s Green Software Lab receives international award

HASLab/INESC TEC has received a merit award from the North-American company National Instruments (NI). The company awarded HASLab’s for its credible research line and innovative ideas developed in the area of green software computing, which can be applied to NI’s LabView software.

30th April 2014

Institutional

INESC TEC welcomes representative of the National Institute of Informatics in Japan

On 13 February, INESC TEC welcomed the director for international relations of the National Institute of Informatics (NII), Henri Angelino. The goal was to establish possible cooperation agreements with the Japanese institute.

07th March 2014

Institutional

INESC TEC concludes European project

INESC TEC’s High Assurance Software Laboratory (HASLab) has recently concluded a European project where the aim was to create a platform available as a service (Platform as a Service - PaaS) for highly scalable transactional computing in the cloud.

28th January 2014

Institutional

HASLab/INESC TEC starts European project on Big Data

In February, the High-Assurance Software (HASLab), INESC TEC’s Privileged Partner, will start working on the European project LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics). The main goal is to solve three great challenges of analytical processing in Big Data: the cost, in terms of resources, of scaling big data analytics for streaming and static data sources; the lack of integration of the existing technologies to manipulate Big Data and high response times; and the insufficient end-user support leading to extremely lengthy big data analysis cycles. INESC TEC’s Information and Computer Graphics Systems Unit (USIG) is also participating in this project.

15th January 2014

Institutional

Best Iberian dissertation belongs to INESC TEC researcher

José Luís Silva, a researcher at INESC TEC’s High Assurance Software (HASLab), is the winner of the 1st edition of the AISTI award (Iberian Association of Information Systems and Technology) for “Best Iberian Dissertation on Information Systems and Technology”. The INESC TEC researcher was the winner in a total of 27 applications.

11th October 2013

Institutional

Spin-off company created by HASLab/INESC TEC is finalist in the COHiTEC initiative

The spin-off Dependableware, created by researchers at HASLab – High-Assurance Software Laboratory, a Privileged Partner of INESC TEC located in the University of Minho (U.Minho), was one of the finalists of the COHiTEC initiative, promoted by COTEC Portugal. This U.Minho spin-off developed database management software which is more flexible, reliable, scalable and profitable comparatively to the solutions available on the market.

04th September 2013

Institutional

INESC TEC promotes session to present projects to investors

On 19 April, INESC TEC’s Innovation and Technology Transfer Unit (UITT) promoted a session to present six business projects to Invicta Angels, whose associates are individual venture capitalists.

20th May 2013

Institutional

INESC TEC researchers integrate restricted group of Portuguese authors in renowned journal

José Nuno Oliveira, a researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), published a paper in the prestigious journal IEEE Transactions on Software Engineering last March. The paper was co-written with Miguel Ferreira, a former Master’s Degree student at the University of Minho. This is the second group composed of exclusively Portuguese researchers to publish in this journal, even though this is an area –Software Engineering – in which practically all universities have active groups.

08th April 2013

Institutional

Awards received in 2012 are proof of INESC TEC’s high level research

In 2012, BIP featured several (good) news about researchers awarded for their work in different components. Literary awards, Best Papers Awards, winning projects and other distinctions, they all illustrate the research potential of this Associate Laboratory. The BIP team made a list of last year’s awards and we came up with a staggering number of 31 awards received by our collaborators. It is safe to say that excellence lives at INESC TEC!

24th January 2013

  • 13
  • 14