2 citations · 2 across the 3 of their papers we have counts for
3 papers
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer +2
Semiconductor companies have increasingly adopted a methodology that starts with a system-level design specification in C/C++/SystemC. This model is extensively simulated to ensure…
Automated Certification of Authorisation Policy Resistance
Andreas Griesmayer, Charles Morisset
Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in t…
A Framework for Automated and Certified Refinement Steps
Andreas Griesmayer, Zhiming Liu, Charles Morisset +1
The refinement calculus provides a methodology for transforming an abstract specification into a concrete implementation, by following a succession of refinement rules. These rules…