FormaliSE 2022 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (74)
Toshiaki AokiAoki, Toshiaki JAISTJapan |
Luca ArnaboldiArnaboldi, Luca The University of EdinburghUnited Kingdom |
Ebru Aydin GolAydin Gol, Ebru Middle East Technical UniversityTurkey |
Marcello M. BersaniBersani, Marcello M. Politecnico di Milano |
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance |
Rabéa Ameur BoulifaBoulifa, Rabéa Ameur EURECOM |
Christiano BragaBraga, Christiano Universidade Federal FluminenseBrazil |
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo |
Richard BubelBubel, Richard Technische Universität DarmstadtGermany |
Carlos E. BuddeBudde, Carlos E. University of Trento, Italy |
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom |
David CokCok, David Safer Software Consulting, LLC |
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland |
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy |
Roberta GoriGori, Roberta University of PisaItaly |
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands |
Mats HeimdahlHeimdahl, Mats University of Minnesota |
Asmae Heydari TabarHeydari Tabar, Asmae Technical University of DarmstadtGermany |
Marieke HuismanHuisman, Marieke University of TwenteNetherlands |
Laura HumphreyHumphrey, Laura Air Force Research LaboratoryUnited States |
Soha HusseinHussein, Soha University of Minnesota, USA / Ain Shams University, Egypt |
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany |
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States |
Wanwei LiuLiu, Wanwei National University of Defense Technology |
Malte LochauLochau, Malte University of Siegen |
Antónia LopesLopes, Antónia University of LisbonPortugal |
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center |
Stephen McCamantMcCamant, Stephen University of Minnesota, USA |
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina |
Claudio MenghiMenghi, Claudio McMaster University, CanadaCanada |
Roberto MetereMetere, Roberto Newcastle UniversityUnited Kingdom |
Vince MolnárMolnár, Vince Budapest University of Technology and EconomicsHungary |
Alex PotaninPotanin, Alex Australian National UniversityAustralia |
Matteo RossiRossi, Matteo Politecnico di Milano |
Cristian SbrolliSbrolli, Cristian Politecnico di MilanoItaly |
Ina SchaeferSchaefer, Ina Karlsruhe Institute of Technology (KIT)Germany |
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly |
Arnab SharmaSharma, Arnab University of PaderbornGermany |
Vaibhav SharmaSharma, Vaibhav AmazonUnited States |
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States |
Maurice ter Beekter Beek, Maurice ISTI-CNR, Pisa, Italy |
Jana TumovaTumova, Jana KTH Royal Institute of Technology, Sweden |
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences |
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany |