Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Taku Toshikawa
Hao Mao
Peter Malec
Kerry Knickle
Silvia Sirolli
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ANDREW GACEK
Author Info
Open Visualization
Name
Affiliation
Papers
ANDREW GACEK
Department of Computer Science and Engineering, University of Minnesota, 200 Union Street SE, Minneapolis, MN 55455, USA
29
Collaborators
Citations
PageRank
77
252
16.87
Referers
Referees
References
307
454
380
Search Limit
100
454
Publications (29 rows)
Collaborators (77 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Inductive Validity Cores
0
0.34
2021
Block public access: trust safety verification of access control policies
0
0.34
2020
Reachability Analysis For Aws-Based Networks
2
0.35
2019
One-Click Formal Methods
3
0.51
2019
A Formal Approach to Constructing Secure Air Vehicle Software.
4
0.57
2018
Trapezoidal Generalization over Linear Constraints.
0
0.34
2018
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
1
0.36
2018
The Jkind Model Checker
4
0.44
2018
Semantic-based Automated Reasoning for AWS Access Policies using SMT
2
0.37
2018
Proof-based coverage metrics for formal verification.
4
0.41
2017
SIMPAL: a compositional reasoning framework for imperative programs
1
0.36
2017
Efficient Generation of Inductive Validity Cores for Safety Properties.
10
0.51
2016
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.
0
0.34
2016
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report.
2
0.50
2016
Reasoning about Algebraic Data Types with Abstractions.
3
0.39
2016
On Implementing Real-time Specification Patterns Using Observers.
0
0.34
2016
Abella: A System For Reasoning About Relational Specifications
10
0.64
2014
Reasoning about higher-order relational specifications
6
0.55
2013
Compositional verification of architectural models
43
1.91
2012
Abella: A Tutorial.
0
0.34
2012
Relating nominal and higher-order abstract syntax specifications
2
0.37
2010
Reasoning in Abella about Structural Operational Semantics Specifications
12
0.53
2009
Nominal abstraction
9
0.55
2009
A Two-Level Logic Approach to Reasoning About Computations
25
0.92
2009
System Description: Abella -- A System for Reasoning about Computations
2
0.39
2008
The Abella Interactive Theorem Prover (System Description)
40
1.54
2008
Combining Generic Judgments with Recursive Definitions
27
0.99
2008
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
0
0.34
2007
The Bedwyr System for Model Checking over Syntactic Expressions
40
1.35
2007
1
