Dirk Beyer
Has grant
Full Professor (W3)
Ludwig-Maximilians-Universität München
Research Interests
Explore related searches
Contact this professor
Recent Grants
Grant: Close
IDEFIX: Identifying and Fixing Incomplete Patches
Open Date: 2022-01-01
Close Date:
Grant: Close
Cooperative Software Verification
Open Date: 2019-01-01
Close Date:
Grant: Close
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
Open Date: 2019-01-01
Close Date:
Grant: Close
Automated formal methods for reliable software components
Open Date: 2007-04-01
Close Date: 2012-03-31
Articles (8)
Year:
2022
Collaborators (4)
Marieke Huisman
University of Twente
NETHERLANDS
Daniel Dietsch
University of Freiburg
GERMANY
Michael Tautschnig
Queen Mary University of London
UNITED KINGDOM
Matthias Heizmann
Substitute Professor
University of Stuttgart
GERMANY
How do I reach out?
Sign in for free to see their profile details and contact information.