7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2014★ 7 cited
Resolute: An Assurance Case Language for Architecture Models
Andrew Gacek, John Backes, Darren Cofer +2
Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represe…
cs.LO2010
Relating Nominal and Higher-order Abstract Syntax Specifications
Andrew Gacek
Nominal abstract syntax and higher-order abstract syntax provide a means for describing binding structure which is higher-level than traditional techniques. These approaches have s…