Project Details
Person
Professor Dr. Dirk Beyer
Address
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstraße 67
80538 München
ORCID-ID 0000-0003-4832-7662
-
As Applicant
-
Current projects
-
IDEFIX: Identifying and Fixing Incomplete Patches (Research Grants)
-
Cooperative Software Verification 2 (Research Grants)
-
Bridging Hardware and Software Analysis (Research Grants)
-
-
Current projects
-
As Spokesperson
-
Current projects
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
-
-
Current projects
