A Refinement Relation for Families of Timed Automata

Publication
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Luís Soares Barbosa
Luís Soares Barbosa
Full Professor

Luís Soares Barbosa is a professor in Computer Science at the Informatics Department, Universidade do Minho, and a senior researcher at the High Assurance Software laboratory, HASLab INESC TEC. He has complementary academic affiliations with INL (the International Iberian Nanotechnology Laboratory), where he leads the Quantum Software Engineering Group since August 2019, and to the United Nations University, currently serving as Deputy Head of its Operational Unit on Policy-driven Electronic Governance. He is a member of IFIP WG1.3 (Foundations of System Specification), and chair of IFIP Technical Committee TC1, on Foundations of Computer science. His main research focuses on program semantics, logics and calculi applied to rigorous software analysis, design, and construction. He is particularly interested in the architectural dimension (interaction, composition, and reconfiguration) of different sorts of software components, namely non deterministic, probabilistic, continuous, or hybrid.