12/02/2012
News and Highlights
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
New accepted paper from Vítor Rodrigues at Inforum'2011
A new RELEASE talk, at CEA - The French Alternative Energies and Atomic Energy Commission
New book! by Simão Melo de Sousa
Our book on "Rigorous Software Development" - Springer, is out!
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                      

  

  

SPECIALIST IN SAFETY CRITICAL SYSTEMS

SERVIÇOS DE CERTIFICAÇÃO ELECTRÓNICA

MICROSOFT PORTUGAL

 SPARK/ADA

PRAXIS HIGH INTEGRITY SYSTEMS

 efacec 

 EFACEC
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.
EDISOFT EDISOFT, Empresa de Serviços e desenvolvimento de software, S.A.
 Educed - Engineering made better  Educed, Egineering Made Better.

Official Esterel EDA Technologies Academic Partner

 
Login Area
Login Name

Password
Search

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