Andreas Griesmayer

Identifiers

• name variant Andreas Griesmayer 0.60 · backfill

Papers (3)

1. Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version) cs.SE · 2016 · author #3
2. Automated Certification of Authorisation Policy Resistance cs.CR · 2013 · author #1
3. A Framework for Automated and Certified Refinement Steps cs.SE · 2011 · author #1

Mentions

• 1306.4624 #1 · backfill · confidence 0.70 Andreas Griesmayer
• 1112.0215 #1 · backfill · confidence 0.70 Andreas Griesmayer

Frequent Coauthors

• Charles Morisset 2 shared papers
• Daniel Kroening 1 shared papers
• Rajdeep Mukherjee 1 shared papers
• Saurabh Joshi 1 shared papers
• Shuling Wang 1 shared papers
• Tom Melham 1 shared papers
• Zhiming Liu 1 shared papers