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),…
SEAMS is International Symposium on Software Engineering for Adaptive and Self-Managing Systems. It is co-located with ICSE.
Bashar received the 2015 ACM SIGSOFT Distinguished Service Award at ICSE. The Distinguished Service Award is presented to an individual who has contributed dedicated and important service to the software…