FormaliSE 2020 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (86)
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom |
Diego F. AranhaAranha, Diego F. Aarhus University |
Mehrnoosh AskarpourAskarpour, Mehrnoosh Politecnico di Milano |
Ebru Aydin GolAydin Gol, Ebru Middle East Technical University |
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology |
Gabriele BelliBelli, Gabriele Alten |
Sara BellucciniBelluccini, Sara IMT Lucca School for Advanced Studies |
Marcello M. BersaniBersani, Marcello M. Politecnico di Milano |
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg |
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance |
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo |
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom |
Davide Giacomo CavezzaCavezza, Davide Giacomo Imperial College London |
Suhyun ChaCha, Suhyun Karlsruhe Institute of Technology |
Yunja ChoiChoi, Yunja Kyungpook National UniversitySouth Korea |
Nacha ChondamrongkulChondamrongkul, Nacha School of Computer Science, the University of Auckland |
Nancy DayDay, Nancy University of Waterloo, CanadaCanada |
Rocco De NicolaDe Nicola, Rocco IMT Institute for Advanced Studies |
Marc FrappierFrappier, Marc Université de Sherbrooke, Canada |
Jan Friso GrooteFriso Groote, Jan Technische Universiteit Eindhoven (TU/e) |
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland |
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy |
Alexander KnüppelKnüppel, Alexander TU Braunschweig |
Srđan KrstićKrstić, Srđan ETH ZürichSwitzerland |
Shahar MaozMaoz, Shahar Tel Aviv UniversityIsrael |
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy |
Massimo MerroMerro, Massimo University of Verona |
Andrei MunteanuMunteanu, Andrei University of Verona |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden |
Kazuhiro OgataOgata, Kazuhiro Japan Advanced Institute of Science and Technology |
P Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center |
Michele PasquaPasqua, Michele University of Verona |
Patrizio PelliccionePelliccione, Patrizio University of L'Aquila and Chalmers | University of GothenburgItaly |
Nico PlatPlat, Nico ThanosNetherlands |
Rahul PurandarePurandare, Rahul IIIT-DelhiIndia |
Matteo RossiRossi, Matteo Politecnico di Milano |
Tobias RungeRunge, Tobias TU Braunschweig |
Ina SchaeferSchaefer, Ina TU Braunschweig |
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden |
Sibylle SchuppSchupp, Sibylle Hamburg University of Technology |
Jorge Sousa PintoSousa Pinto, Jorge HASLab/INESC TEC & Universidade do Minho, Portugal |
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States |
Karen StephensonStephenson, Karen D-RisQ Software Systems |
Jing SunSun, Jing School of Computer Science, the University of AucklandNew Zealand |
Thomas ThümThüm, Thomas University of UlmGermany |
Francesco TiezziTiezzi, Francesco University of Camerino |
Stefano TonettaTonetta, Stefano Fondazione Bruno Kessler, Italy |
Damiano TorreTorre, Damiano University of LuxembourgLuxembourg |
Peter W. V. Tran-JørgensenTran-Jørgensen, Peter W. V. Aarhus University |
Nick TudorTudor, Nick D-RisQ Software Systems |
Alexander WeiglWeigl, Alexander Karlsruhe Institute of Technology |
Michael WhalenWhalen, Michael Amazon Web Services and the University of MinnesotaUnited States |