FormaliSE 2021 Contributors
Filter
Role Type
Committee member
Contributor/Author
Contributing to
FormaliSE
Number of Roles
1..3
Country
-unspecified-
Brazil
Canada
Denmark
France
Germany
Ireland
Italy
Japan
Luxembourg
Netherlands
Portugal
Singapore
South Korea
Sweden
Switzerland
Tunisia
United Kingdom
United States
Search
Results (75)
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom |
Toshiaki AokiAoki, Toshiaki JAISTJapan |
Diego F. AranhaAranha, Diego F. Aarhus UniversityDenmark |
Lukas ArmborstArmborst, Lukas University of TwenteNetherlands |
Ebru Aydin GolAydin Gol, Ebru Middle East Technical University |
Gina BelmonteBelmonte, Gina Azienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, ItalyItaly |
Marcello BersaniBersani, Marcello Politecnico di Milano, Italy |
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg |
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance |
Jalil BoudjadarBoudjadar, Jalil Aarhus UniversityDenmark |
Rabéa Ameur BoulifaBoulifa, Rabéa Ameur EURECOM |
Christiano BragaBraga, Christiano Universidade Federal FluminenseBrazil |
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly |
Stéphanie ChallitaChallita, Stéphanie Inria, France |
Vincenzo CianciaCiancia, Vincenzo Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly |
Hélène CoullonCoullon, Hélène IMT Atlantique |
Alessandro FantechiFantechi, Alessandro University of Florence |
Marc FrappierFrappier, Marc Université de Sherbrooke, Canada |
Jan Friso GrooteFriso Groote, Jan Eindhoven University of Technology |
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland |
G Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy |
Marieke HuismanHuisman, Marieke University of TwenteNetherlands |
Daniel Jun Xian NgJun Xian Ng, Daniel Nanyang Technological University, SingaporeSingapore |
Raphael KhouryKhoury, Raphael Université du Québec à Chicoutimi, CanadaCanada |
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance |
Srđan KrstićKrstić, Srđan ETH ZürichSwitzerland |
Tomas KulikKulik, Tomas Aarhus UniversityDenmark |
Diego LatellaLatella, Diego ISTI-CNR, Pisa, ItalyItaly |
Pascale Le GallLe Gall, Pascale CentraleSupelecFrance |
Axel LegayLegay, Axel Université Catholique de Louvain, Belgium |
Malte LochauLochau, Malte University of Siegen |
Antónia LopesLopes, Antónia University of LisbonPortugal |
M Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland |
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, ItalyItaly |
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center |
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina |
Paolo MilazzoMilazzo, Paolo University of Pisa - Department of Computer ScienceItaly |
Patrizio PelliccionePelliccione, Patrizio Gran Sasso Science Institute (GSSI) and Chalmers | University of GothenburgItaly |
Virgile PrevostoPrevosto, Virgile CEA Tech ListFrance |
Louis RillingRilling, Louis DGA Maîtrise de l'InformationFrance |
Virgile RoblesRobles, Virgile CEA List, Software Reliability and Security LabFrance |
Matteo RossiRossi, Matteo Politecnico di MilanoItaly |
Houari SahraouiSahraoui, Houari Université de MontréalCanada |
Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance |
Pierluigi San PietroSan Pietro, Pierluigi Politecnico di MilanoItaly |
Leon SchaerSchaer, Leon TU BraunschweigGermany |
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly |
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden |
Robert L. SmithSmith, Robert L. Politecnico di MilanoUnited States |
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States |
Maurice ter Beekter Beek, Maurice ISTI-CNR, Pisa, Italy |
Thomas ThümThüm, Thomas University of UlmGermany |
Marcel VerhoefVerhoef, Marcel European Space AgencyNetherlands |