17/05/2012
News and Highlights
A student project mentored by release members won the Imagine Cup Portugal 2012. Next Step: World finals at Sidney, Australia!
The QREN Project PROVA was positively analysed and accepted for funding.
13th Feb 2012. Verif@UBI - Formal Verification Workshop at DIUBI
PRICE - Privacy, Reliability and Integrity in Cloud Environments
new talk by Vítor Rodrigues. Compositional Timing Analysis on Multi-Core Architectures - 15/11/2011 - University of Saarbrücken.
Talk at the Release Lab, by Adolfo Peixinho - 16th of November, 14h00: Threshold Cryptography
Talk at the Release Lab, by Luís Pedro Machado - 4th of November, 11h00: Program Logics for Concurrent Programs
3 research grants are available - Applications are welcomed - Deadline 21 and 24 th of November
Start-UP de alunos do Grupo RELEASE da UBI vai ser incubada em Silicon Valley
New paper accepted from Vitor Rodrigues to FOPARA2011 post-event Proceedings
Two Students teams from UBI participated with honours to the Portuguese ACM - ICPC programming contest.
New accepted paper from André Pedro at Inforum'2011
Validator

Valid Array!

Translation Status
Language Percentage Phrases in total
English / US (en)
100.0%
 5345 (Details)


Home

Site under construction.

   

RELiablE And SEcure Computation Group

 

Department of Computer Science

University of Beira Interior

6200-001 Covilhã

Portugal

 

www.di.ubi.pt/~release

release @ di.ubi.pt

 

Industrial Partnership:

Critical Software

DEPENDABLE TECHNOLOGIES
FOR CRITICAL SYSTEMS                      

  

PT - Inovação
  

PT Inovação

SERVIÇOS DE CERTIFICAÇÃO ELECTRÓNICA

MICROSOFT PORTUGAL

 EDISOFT

EDISOFT, Empresa de Serviços e desenvolvimento de software, S.A.

 efacec 

 EFACEC
Educed - Engineering made better Educed, Egineering Made Better. ATOS ATOS TECHNOLOGIES
Official Esterel EDA Technologies Academic Partner Academic partner of Esterel EDA Technologies provider of ESL synthesis for control-intensive IP design and verification, including SystemC, VHDL, and Verilog code generation
  Official Esterel Technologies Academic Partner 		Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.
SPARK/ADA PRAXIS HIGH INTEGRITY SYSTEMS   SPECIALIST IN SAFETY CRITICAL SYSTEMS

Official Esterel EDA Technologies Academic Partner
Login Area
Login Name

Password
Calendar
Search

Powered By NoDS  -  not optimized for IExplorer
Website : floyd.di.ubi.pt/release    Mail : release@di.ubi.pt