![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Aman Goel
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j3]Aman Goel
, Karem A. Sakallah:
Regularity and quantification: a new approach to verify distributed protocols. Innov. Syst. Softw. Eng. 19(4): 359-377 (2023) - [c19]Katalin Fazekas
, Aman Goel, Karem A. Sakallah:
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. FMCAD 2023: 152-161 - [c18]Aman Goel, Stephan Merz, Karem A. Sakallah:
Towards an Automatic Proof of the Bakery Algorithm. FORTE 2023: 21-28 - 2022
- [j2]Aman Goel
, Qianhui Men
, Edmond S. L. Ho
:
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. Comput. Graph. Forum 41(8): 327-338 (2022) - [c17]Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci
:
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. USENIX ATC 2022: 151-166 - [i4]Aman Goel, Qianhui Men, Edmond S. L. Ho:
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. CoRR abs/2208.00774 (2022) - 2021
- [b1]Aman Goel:
From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols. University of Michigan, USA, 2021 - [c16]Aman Goel
, Karem A. Sakallah:
Towards an Automatic Proof of Lamport's Paxos. FMCAD 2021: 112-122 - [c15]Aman Goel
, Karem A. Sakallah:
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. NFM 2021: 131-150 - [c14]Neeraj Battan, Yudhik Agrawal, Sai Soorya Rao, Aman Goel
, Avinash Sharma:
GlocalNet: Class-aware Long-term Human Motion Synthesis. WACV 2021: 878-887 - [i3]Aman Goel, Karem A. Sakallah:
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. CoRR abs/2103.14831 (2021) - [i2]Aman Goel, Karem A. Sakallah:
Towards an Automatic Proof of Lamport's Paxos. CoRR abs/2108.08796 (2021) - 2020
- [c13]Aman Goel
, Karem A. Sakallah:
AVR: Abstractly Verifying Reachability. TACAS (1) 2020: 413-422 - [i1]Neeraj Battan, Yudhik Agrawal, Veeravalli Saisooryarao, Aman Goel, Avinash Sharma:
GlocalNet: Class-aware Long-term Human Motion Synthesis. CoRR abs/2012.10744 (2020)
2010 – 2019
- 2019
- [c12]Aman Goel
, Karem A. Sakallah:
Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. DATE 2019: 618-621 - [c11]Haojun Ma, Aman Goel
, Jean-Baptiste Jeannin, Manos Kapritsos
, Baris Kasikci
, Karem A. Sakallah:
Towards Automatic Inference of Inductive Invariants. HotOS 2019: 30-36 - [c10]Aman Goel
, Karem A. Sakallah:
Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction. NFM 2019: 166-185 - [c9]Haojun Ma, Aman Goel
, Jean-Baptiste Jeannin, Manos Kapritsos
, Baris Kasikci
, Karem A. Sakallah:
I4: incremental inference of inductive invariants for verification of distributed protocols. SOSP 2019: 370-384 - 2015
- [c8]Chaitanya Peddawad, Aman Goel
, B. Dheeraj, Nitin Chandrachoodan
:
iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal. ICCAD 2015: 903-909 - 2012
- [c7]Craig A. Knoblock, Pedro A. Szekely, José Luis Ambite
, Aman Goel, Shubham Gupta, Kristina Lerman, Maria Muslea, Mohsen Taheriyan, Parag Mallick:
Semi-automatically Mapping Structured Sources into the Semantic Web. ESWC 2012: 375-390 - [c6]Shubham Gupta, Pedro A. Szekely
, Craig A. Knoblock, Aman Goel, Mohsen Taheriyan, Maria Muslea:
Karma: A System for Mapping Structured Sources into the Semantic Web. ESWC (Satellite Events) 2012: 430-434 - 2011
- [j1]Aman Goel, Matthew Michelson, Craig A. Knoblock:
Harvesting maps on the web. Int. J. Document Anal. Recognit. 14(4): 349-372 (2011) - [c5]Aman Goel, Craig A. Knoblock, Kristina Lerman:
Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation. AAAI 2011: 1784-1785 - [c4]Craig A. Knoblock, Pedro A. Szekely, José Luis Ambite, Shubham Gupta, Aman Goel, Maria Muslea, Kristina Lerman, Parag Mallick:
Interactively Mapping Data Sources into the Semantic Web. LISC 2011 - 2010
- [c3]Craig A. Knoblock, Ching-Chien Chen, Yao-Yi Chiang
, Aman Goel, Matthew Michelson, Cyrus Shahabi
:
A general approach to discovering, registering, and extracting features from raster maps. DRR 2010: 753402
2000 – 2009
- 2009
- [c2]José Luis Ambite
, Sirish Darbha, Aman Goel, Craig A. Knoblock, Kristina Lerman, Rahul Parundekar, Thomas A. Russ:
Automatically Constructing Semantic Web Services from Online Sources. ISWC 2009: 17-32 - 2008
- [c1]Matthew Michelson, Aman Goel, Craig A. Knoblock
:
Identifying Maps on the World Wide Web. GIScience 2008: 249-260
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint