Name Card

Full name Familienname, Vorname
Beyer, Dirk
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Beyer, Dirk ; Black, Paul TOOLympics 2019: An Overview of Competitions in Formal MethodsKonferenzbeitrag Inproceedings2019
2Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Reusing Information in Multi-Goal Reachability AnalysesKonferenzbeitrag Inproceedings 2014
3Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Information Reuse for Multi-goal Reachability AnalysesKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reger, Giles ; Suda, Martin ; Voronkov, Andrei Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
2Holzer, Andreas Markus Michael Query-based test case generationThesis Hochschulschrift2013