myself

Jaume Abella Ferrer

Email: myemail
Senior Research Scientist (since November 2009)
Barcelona Supercomputing Center (BSC)

c/ Jordi Girona, 29
Nexus II, 1st floor
Barcelona - Catalunya Spain
phone: +34 93 413 71 70
fax: +34 93 413 77 21
ORCID: 0000-0001-7951-4028

OPEN PhD/Master POSITIONS at BSC: Details here

CURRENT PROJECTS
My main interests are on the timing and functional verification of critical real-time systems, with particular emphasis on the automotive, avionics, space and railway domains, and with a clear constraint: applicability in industrial products (either in the short or long term).
My research is often articulated through collaborative projects with industry:
  • Timing verification for Space systems, together with the European Space Agency (ESA), see [ESA projects]
  • Timing verification with probabilistic means with Avionics, Space, Railway and Automotive industry, see PROXIMA, PROARTIS
  • Timing verification on COTS processors, see SAFURE
  • Functional verification on automotive processors (Infineon), see VeTeSS
  • Timing verification on time-determistic processor prototypes, see parMERASA


  • PAST ACTIVITIES
    EDUCATION
    Current Ph.D. and Master students: Past Ph.D. students: Past Master students: Ph.D. and Master committees: