November 24 – 29 , 2019, Dagstuhl Seminar 19481
Last update: March 31 2020

Composing Model-Based Analysis Tools

Participants

  • Sofia Ananieva (FZI – Karlsruhe, DE) [dblp]
  • Kyungmin Bae (Postech – Pohang, KR) [dblp]
  • Christel Baier (TU Dresden, DE) [dblp]
  • Olivier Barais (IRISA – University of Rennes, FR) [dblp]
  • Simona Bernardi (University of Zaragoza, ES) [dblp]
  • Erwan Bousse (University of Nantes, FR) [dblp]
  • Benoit Combemale (University of Toulouse, FR) [dblp]
  • Juan De Lara (Autonomous University of Madrid, ES) [dblp]
  • Francisco Durán (University of Málaga, ES) [dblp]
  • Michalis Famelis (Université de Montréal, CA) [dblp]
  • Martin Gogolla (Universität Bremen, DE) [dblp]
  • Esther Guerra (Autonomous University of Madrid, ES) [dblp]
  • Robert Heinrich (KIT – Karlsruhe, DE) [dblp]
  • Mark Hills (East Carolina University – Greenville, US) [dblp]
  • Jean-Marc Jézéquel (IRISA – University of Rennes, FR) [dblp]
  • Kenneth Johnson (Auckland University of Technology, NZ) [dblp]
  • Narges Khakpour (Linnaeus University – Växjö, SE) [dblp]
  • Sandro Koch (KIT – Karlsruhe, DE)
  • Raffaela Mirandola (Polytechnic University of Milan, IT) [dblp]
  • Sam Owre (SRI – Menlo Park, US) [dblp]
  • Diego Pérez-Palacín (Linnaeus University – Växjö, SE) [dblp]
  • Fiona A. C. Polack (Keele University – Straffordshire, GB) [dblp]
  • Daniel Ratiu (Siemens AG – München, DE) [dblp]
  • Arend Rensink (University of Twente, NL) [dblp]
  • Ralf H. Reussner (FZI – Karlsruhe, DE) [dblp]
  • Elvinia Riccobene (University of Milan, IT) [dblp]
  • Bernhard Rumpe (RWTH Aachen, DE) [dblp]
  • Houari Sahraoui (Université de Montréal, CA) [dblp]
  • Patrizia Scandurra (University of Bergamo – Dalmine, IT) [dblp]
  • Séverine Sentilles (Mälardalen University – Västerĺs, SE) [dblp]
  • Marjan Sirjani (Mälardalen University – Västerĺs, SE) [dblp]
  • Carolyn L. Talcott (SRI – Menlo Park, US) [dblp]
  • Catia Trubiani (Gran Sasso Science Institute, IT) [dblp]
  • Hans Vangheluwe (University of Antwerp, BE) [dblp]
  • Dániel Varró (McGill University – Montreal, CA) [dblp]
  • Arthur Vetter (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Markus Völter (Völter Ingenieurbüro – Stuttgart, DE) [dblp]
  • Marc Zeller (Siemens AG – München, DE) [dblp]
  • Steffen Zschaler (King's College London, GB) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner