Liliana Pasquale gave the keynote address at the International Conference on Formal Methods in Software Engineering (FormaliSE 2021), which was co-located with the 43rd International Conference on Software Engineering (ICSE),…
Bashar Nuseibeh delivered the opening keynote at RE’19, the 27th IEEE International Requirements Engineering Conference, which was held in Jeju Island, South Korea, between 23-27 September 2019. Bashar’s talk, entitled…
Bashar Nuseibeh gave the keynote address at the annual ACM workshop on Cyber Physical Systems Security (CPSS 2017), which was co-located this year with the AsiaCCS 2017 conference in Abu…
The keynote was titled, “Software without Boundaries: engineering secure invisible software”.
