Program committee



NameAffiliation
Adha HrustoSystem Verification
Ana Paiva chairFEUP
Ana Rita FasolinoUniversity of Naples Federico II
Andy Zaidman chairDelft University of Technology
Auri VincenziUniversity of Porto
Breno Miranda chairFederal University of Pernambuco
Bruno LimaLIACC and Faculty of Engineering, University of Porto
Cyrille Valentin ArthoKTH Royal Institute of Technology
Deepika TiwariSystem Verification AB
Eduard Paul EnoiuMalardalen University
Francesca LonettiISTI CNR
Franz WotawaGraz University of Technology
Gheyi RohitFederal University of Campina Grande
Goran PetrovicGoogle Switzerland GmbH
Gregory GayChalmers University of Technology and the University of Gothenburg
Guglielmo De AngelisIASI-CNR
Ina SchieferdeckerTechnische Universität Berlin
Jeremy BradburyOntario Tech University
Kristian WiklundEricsson AB
Mahshid Helali MoghadamScania CV AB
Markus Borg chairCodeScene AB and Lund University
Mika MantylaUniversity of Helsinki
Morena Barboni chairUniversity of Camerino
Porfirio TramontanaUniversity of Naples Federico II
Ribeiro M‡rcioFederal University of Alagoas (UFAL)
Rubing HuangMacau University of Science and Technology
Rudolf RamlerSoftware Competence Center Hagenberg GmbH
Saurabh TiwariDhirubhai Ambani University, formerly DAIICT Gandhinagar, India
Serge DemeyerUniversiteit Antwerpen
Seung Yeob ShinSnT Centre, University of Luxembourg
Shaukat AliSimula Research Laboratory
Thomas VogelHumboldt University Berlin
Valerio TerragniUniversity of Auckland
Vincent CicirelloStockton University
Xavier DevroeyUniversity of Namur
Zohaib Iqbal