Login
HomeNews        <>

Keynote given in Brazilian Symposium on Computing Systems Engineering

9, Nov, 2017

CISTER director Eduardo Tovar gave a keynote at the 7th Brazilian Symposium on Computing Systems Engineering (SBESC 2017), in Curitiba, Brazil. The Symposium is an initiative of the research community originally associated with three workshops on Operating Systems (WSO), Embedded Systems (WSE) and Real-Time Systems (WTR), acknowledging the strong synergy between these three areas. His talk “Information processing for extreme dense sensing - timeliness and scalability issues” was well received and ended with a lively Q&A.
He also presented the paper “Formal Verification of AADL Models Using UPPAAL”, authored by Fernando Gonçalves (UFSC - Florianópolis, SC, Brazil), CISTER researchers David Pereira and Eduardo Tovar, and Leandro Becker (UFSC - Florianópolis, SC, Brazil).