Aman Goel

According to our database, Aman Goel authored at least 24 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Regularity and quantification: a new approach to verify distributed protocols.

Aman Goel, Karem A. Sakallah

Innov. Syst. Softw. Eng., December, 2023

Towards an Automatic Proof of the Bakery Algorithm.

Aman Goel, Stephan Merz, Karem A. Sakallah

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.

Katalin Fazekas, Aman Goel, Karem A. Sakallah

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding.

Aman Goel, Qianhui Men, Edmond S. L. Ho

Comput. Graph. Forum, December, 2022

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.

Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols.

Aman Goel

PhD thesis, 2021

GlocalNet: Class-aware Long-term Human Motion Synthesis.

Neeraj Battan, Yudhik Agrawal, Sai Soorya Rao, Aman Goel, Avinash Sharma

Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

On Symmetry and Quantification: A New Approach to Verify Distributed Protocols.

Aman Goel, Karem A. Sakallah

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Towards an Automatic Proof of Lamport's Paxos.

Aman Goel, Karem A. Sakallah

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

GlocalNet: Class-aware Long-term Human Motion Synthesis.

Neeraj Battan, Yudhik Agrawal, Veeravalli Saisooryarao, Aman Goel, Avinash Sharma

CoRR, 2020

AVR: Abstractly Verifying Reachability.

Aman Goel, Karem A. Sakallah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

I4: incremental inference of inductive invariants for verification of distributed protocols.

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction.

Aman Goel, Karem A. Sakallah

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Towards Automatic Inference of Inductive Invariants.

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs.

Aman Goel, Karem A. Sakallah

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2015

iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal.

Chaitanya Peddawad, Aman Goel, B. Dheeraj, Nitin Chandrachoodan

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2012

Semi-automatically Mapping Structured Sources into the Semantic Web.

Craig A. Knoblock, Pedro A. Szekely, José Luis Ambite, Aman Goel, Shubham Gupta, Kristina Lerman, Maria Muslea, Mohsen Taheriyan, Parag Mallick

Proceedings of the Semantic Web: Research and Applications, 2012

Karma: A System for Mapping Structured Sources into the Semantic Web.

Shubham Gupta, Pedro A. Szekely, Craig A. Knoblock, Aman Goel, Mohsen Taheriyan, Maria Muslea

Proceedings of the Semantic Web: ESWC 2012 Satellite Events, 2012

2011

Harvesting maps on the web.

Aman Goel, Matthew Michelson, Craig A. Knoblock

Int. J. Document Anal. Recognit., 2011

Interactively Mapping Data Sources into the Semantic Web.

Craig A. Knoblock, Pedro A. Szekely, José Luis Ambite, Shubham Gupta, Aman Goel, Maria Muslea, Kristina Lerman, Parag Mallick

Proceedings of the First International Workshop on Linked Science 2011, 2011

Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation.

Aman Goel, Craig A. Knoblock, Kristina Lerman

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A general approach to discovering, registering, and extracting features from raster maps.

Craig A. Knoblock, Ching-Chien Chen, Yao-Yi Chiang, Aman Goel, Matthew Michelson, Cyrus Shahabi

Proceedings of the Document Recognition and Retrieval XVII, 2010

2009

Automatically Constructing Semantic Web Services from Online Sources.

José Luis Ambite, Sirish Darbha, Aman Goel, Craig A. Knoblock, Kristina Lerman, Rahul Parundekar, Thomas A. Russ

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

2008

Identifying Maps on the World Wide Web.

Matthew Michelson, Aman Goel, Craig A. Knoblock

Proceedings of the Geographic Information Science, 5th International Conference, 2008