Amit Goel

According to our database, Amit Goel authored at least 40 papers between 1999 and 2023.

Collaborative distances:

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

2023

Backscatter Communication Based Sensor Data Collection Using LASER Powered UAV.

Amit Goel, Swades De

Proceedings of the IEEE International Conference on Communications, 2023

Solving String Constraints Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

Diversity aided millimeter-wave/free space optical cooperative relaying systems.

Amit Goel, Abhijeet Upadhya, Vivek Kumar Dwivedi

Int. J. Commun. Syst., 2021

2018

ANN embedded data envelopment analysis approach for measuring the efficiency of state boards in India.

Natthan Singh, Millie Pant, Amit Goel

Int. J. Syst. Assur. Eng. Manag., 2018

2017

FAR-Cubicle - A new reachability algorithm for Cubicle.

Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015

Differential Modulation of Performance in Insight and Divergent Thinking Tasks with tDCS.

Vinod Goel, Iveta Eimontaite, Amit Goel, Igor Schindler

J. Probl. Solving, 2015

Towards visulations of astrophysical accretion disk on HPC clusters with AccretionSim.

Amit Goel, Oddny Brun, Michele M. Montgomery, J. Peter Kincaid

Proceedings of the Conference on Summer Computer Simulation, 2015

Calculating grid partitioning costs of distributed virtual world simulation systems.

William A. Rivera, Amit Goel, J. Peter Kincaid, Waldemar Karwowski

Proceedings of the 48th Annual Simulation Symposium, 2015

A research framework for exascale simulations of distributed virtual world environments on high performance computing (HPC) clusters.

Amit Goel, William A. Rivera, J. Peter Kincaid, Waldemar Karwowski, Michele M. Montgomery, Neal Finkelstein

Proceedings of the Symposium on High Performance Computing, 2015

2014

OUPS: A Combined Approach Using SMOTE and Propensity Score Matching.

William A. Rivera, Amit Goel, J. Peter Kincaid

Proceedings of the 13th International Conference on Machine Learning and Applications, 2014

2013

Invariants for finite instances and beyond.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

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

Finite Model Finding in SMT.

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Quantifier Instantiation Techniques for Finite Model Finding in SMT.

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Ground interpolation for the theory of equality

Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli

Log. Methods Comput. Sci., 2012

Protocol Proof Checking Simplified with SMT.

Mark R. Tuttle, Amit Goel

Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

SMT-Based System Verification with DVF.

Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE)

Jyoti, A. K. Sharma, Amit Goel

CoRR, 2011

2010

The Philosophy of Software Architecture.

Amit Goel

Int. J. Web Portals, 2010

Formal Models of Virtual Enterprise Architecture: Motivations and Approaches.

Amit Goel, Heinz Schmidt, David R. Gilbert

Proceedings of the Pacific Asia Conference on Information Systems, 2010

2009

Towards formalizing Virtual Enterprise Architecture.

Amit Goel, Heinz Schmidt, David R. Gilbert

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Ground Interpolation for Combined Theories.

Amit Goel, Sava Krstic, Cesare Tinelli

Proceedings of the Automated Deduction, 2009

2008

A Unified Approach for Full Chip Statistical Timing and Leakage Analysis of Nanoscale Circuits Considering Intradie Process Variations.

Sarvesh Bhardwaj, Sarma B. K. Vrudhula, Amit Goel

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations.

Amit Goel, Sarma B. K. Vrudhula, Feroze Taraporevala, Praveen Ghanta

Proceedings of the 9th International Symposium on Quality of Electronic Design (ISQED 2008), 2008

A Novel Approach for Determining Next Page Access.

Payal Gulati, A. K. Sharma, Amit Goel, Jyoti Pandey

Proceedings of the First International Conference on Emerging Trends in Engineering and Technology, 2008

Current source based standard cell model for accurate signal integrity and timing analysis.

Amit Goel, Sarma B. K. Vrudhula

Proceedings of the Design, Automation and Test in Europe, 2008

Statistical waveform and current source based standard cell models for accurate timing analysis.

Amit Goel, Sarma B. K. Vrudhula

Proceedings of the 45th Design Automation Conference, 2008

2007

Combined Satisfiability Modulo Parametric Theories.

Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli

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

Computation of Joint Timing Yield of Sequential Networks Considering Process Variations.

Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrudhula

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.

Sava Krstic, Amit Goel

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2004

Revisiting Positive Equality.

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur

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

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors.

Amit Goel, Randal E. Bryant

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis.

Amit Goel, Randal E. Bryant

Proceedings of the 2003 Design, 2003

Symbolic representation with ordered function templates.

Amit Goel, Gagan Hasteer, Randal E. Bryant

Proceedings of the 40th Design Automation Conference, 2003

2002

GSTE through a case study.

Jin Yang, Amit Goel

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

2001

VizCraft: a problem-solving environment for aircraft configuration design.

Amit Goel, Chuck A. Baker, Clifford A. Shaffer, Bernard Grossman, William H. Mason, Layne T. Watson, Raphael T. Haftka

Comput. Sci. Eng., 2001

2000

A Theory of Consistency for Modular Synchronous Systems.

Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Formal verification of an IBM CoreConnect processor local bus arbiter core.

Amit Goel, William R. Lee

Proceedings of the 37th Conference on Design Automation, 2000

1999

WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations.

Amit Goel, Constantinos Phanouriou, Frederick A. Kamke, Calvin J. Ribbens, Clifford A. Shaffer, Layne T. Watson

Eng. Comput., 1999

VizCraft: A Multidimensional Visualization Tool for Aircraft Configuration Design.

Amit Goel, Chuck Baker, Clifford A. Shaffer, Bernard Grossman, Raphael T. Haftka, William H. Mason, Layne T. Watson

Proceedings of the 10th IEEE Visualization Conference, 1999