Author Info
Name
Affiliation
Papers
FLORIAN FURBACH
Technische Universität Kaiserlautern
5
Collaborators
Citations 
PageRank 
9
4
1.75
Referers 
Referees 
References 
9
99
71
Title
Citations
PageRank
Year
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).00.342020
Bmc For Weak Memory Models: Relation Analysis For Compact Smt Encodings20.372019
BMC with Memory Models as Modules00.342018
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models.10.362017
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models.10.352017