No edit summary |
m Links gefixt |
||
| (19 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
ProB is based | ProB is based on research and implemention effort by: | ||
* [ | * [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], | ||
* Michael Butler, | * Michael Butler, | ||
* Jens Bendisposto, | * [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/bendisposto Jens Bendisposto], | ||
* Daniel Plagge, | * [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Ivaylo Dobrikov], | ||
* Fabian Fritz, | * [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Dominik Hansen], | ||
* Corina Spermann, | * [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Philipp Körner], | ||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Sebastian Krings], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Lukas Ladenberger], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni David Schneider], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Joshua Schmidt], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Daniel Plagge], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Marc Fontaine], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Fabian Fritz], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Corina Spermann], | |||
* Joy Clark, | |||
* David Geleßus, | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/gruteser Jan Gruteser], | |||
* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/vu Fabian Vu], | |||
* Antonia Pütz, | |||
* Sherin Schneider, | |||
* Yumiko Takahashi, | |||
* Miles Vella, | |||
* Michelle Werth, | |||
* Michael Jastram, | * Michael Jastram, | ||
* Philip Hoefges, | |||
* Edward Turner, | * Edward Turner, | ||
* Dennis Winter, | * Dennis Winter, | ||
* Sonja Holl, | * Sonja Holl, | ||
* Jens Krüger, | * Jens Krüger, | ||
* Michael Birkhoff, | |||
* Carla Ferreira, | * Carla Ferreira, | ||
* Stéphane Lo Presti, | * Stéphane Lo Presti, | ||
* Leonid Mikhailov, | * Leonid Mikhailov, | ||
* Laksono Adhianto, ... | * Laksono Adhianto, ... | ||
Part of the research and development was conducted within various research projects, such as the EPSRC funded projects ABCD and iMoc, the EU funded projects [http://rodin.cs.ncl.ac.uk/ Rodin], [http://www.deploy-project.eu/ Deploy] and [http://www.advance-ict.eu/ Advance] as well as the [http://www.dfg.de/ DFG] projects [http://www.gepavas.de/ Gepavas], Gepavas II and IVOIRE. | |||
ProB is based on research and implemention effort by:
Part of the research and development was conducted within various research projects, such as the EPSRC funded projects ABCD and iMoc, the EU funded projects Rodin, Deploy and Advance as well as the DFG projects Gepavas, Gepavas II and IVOIRE.