FormaliSE 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (41)

A Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Session Chair of Program Verification and Application (part of FormaliSE)
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom Committee Member in Program Committee within the FormaliSE-track
Keijiro ArakiAraki, Keijiro Kyushu Institute of Technology, Japan Committee Member in Program Committee within the FormaliSE-track
B Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Program Committee within the FormaliSE-track
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Session Chair of Runtime verification (part of FormaliSE) Committee Member in Program Committee within the FormaliSE-track
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Committee Member in Program Committee within the FormaliSE-track
Andreas BollinBollin, Andreas University of Klagenfurt, Austria Committee Member in Program Committee within the FormaliSE-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Committee Member in Program Committee within the FormaliSE-track
C Ana CavalcantiCavalcanti, Ana University of York, UK Committee Member in Program Committee within the FormaliSE-track
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Committee Member in Program Committee within the FormaliSE-track
D Nancy DayDay, Nancy University of Waterloo, Canada Committee Member in Program Committee within the FormaliSE-track
Ewen DenneyDenney, Ewen NASA Ames Research Center Committee Member in Program Committee within the FormaliSE-track
Juergen DingelDingel, Juergen Queen's University, Kingston, Ontario Committee Member in Program Committee within the FormaliSE-track
F Carlo A. FuriaFuria, Carlo A. Chalmers University of Technology Sweden Committee Member in Program Committee within the FormaliSE-track
G Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Session Chair of Keynote (part of FormaliSE) Session Chair of Closing remarks (part of FormaliSE) General Co-Chair in General Chairs within the FormaliSE-track
H Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the FormaliSE-track
J Marie-Christine JakobsJakobs, Marie-Christine LMU, Munich, Germany Committee Member in Program Committee within the FormaliSE-track
L Anna-Lena LamprechtLamprecht, Anna-Lena Utrecht UniversityNetherlands [Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research
Peter Gorm LarsenLarsen, Peter Gorm Aarhus UniversityDenmark Committee Member in Program Committee within the FormaliSE-track
M Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland [Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Program Committee within the FormaliSE-track
Claudio MenghiMenghi, Claudio University of Gothenburg, Sweden Session Chair of Formal Methods for Autonomous Systems 1 (part of FormaliSE) Committee Member in Program Committee within the FormaliSE-track
Rosemary MonahanMonahan, Rosemary National University of Ireland Committee Member in Program Committee within the FormaliSE-track
P Liliana PasqualePasquale, Liliana University College Dublin & Lero, IrelandIreland Committee Member in Program Committee within the FormaliSE-track
Patrizio PelliccionePelliccione, Patrizio University of Gothenburg & Chalmers University of TechnologySweden Session Chair of Welcome (part of FormaliSE) PC Co-Chair in Program Committee within the FormaliSE-track
Nico PlatPlat, Nico ThanosNetherlands Session Chair of Student presentations (part of FormaliSE) Session Chair of Closing remarks (part of FormaliSE) General Co-Chair in General Chairs within the FormaliSE-track
Rahul PurandarePurandare, Rahul IIIT-DelhiIndia Committee Member in Program Committee within the FormaliSE-track
R Matteo RossiRossi, Matteo Politecnico di Milano Committee Member in Program Committee within the FormaliSE-track
S Antonella SantoneSantone, Antonella University of Molise, Italy Committee Member in Program Committee within the FormaliSE-track
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Committee Member in Program Committee within the FormaliSE-track
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States Session Chair of Welcome (part of FormaliSE) PC Co-Chair in Program Committee within the FormaliSE-track
Marielle StoelingaStoelinga, Marielle University of Twente Risk management of high tech systems
Jun SunSun, Jun Singapore University of Technology and DesignSingapore Committee Member in Program Committee within the FormaliSE-track
T Maurice ter Beekter Beek, Maurice Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Committee Member in Program Committee within the FormaliSE-track
Elena TroubitsynaTroubitsyna, Elena Abo Akademi University Committee Member in Program Committee within the FormaliSE-track
Jana TumovaTumova, Jana KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the FormaliSE-track
W Michael WhalenWhalen, Michael University of MinnesotaUnited States Session Chair of Formal Methods for Autonomous Systems 2 (part of FormaliSE) Committee Member in Program Committee within the FormaliSE-track
Alexander WickertWickert, Alexander University of Potsdam [Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research
Virginie WielsWiels, Virginie Onera, France Committee Member in Program Committee within the FormaliSE-track
Kirsten WinterWinter, Kirsten The University of Queensland Committee Member in Program Committee within the FormaliSE-track
Z Fatiha ZaidiZaidi, Fatiha LRI, Université Paris-Sud Committee Member in Program Committee within the FormaliSE-track