Amit Goel

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 6

Top Topics

Data Envelopment Analysis

Top Venues

SpringSim (HPS)

Publications

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Amit Goel, Swades De
Backscatter Communication Based Sensor Data Collection Using LASER Powered UAV. ICC (2023)
Amit Goel, Abhijeet Upadhya, Vivek Kumar Dwivedi
Diversity aided millimeter-wave/free space optical cooperative relaying systems. Int. J. Commun. Syst. 34 (4) (2021)
Natthan Singh, Millie Pant, Amit Goel
ANN embedded data envelopment analysis approach for measuring the efficiency of state boards in India. Int. J. Syst. Assur. Eng. Manag. 9 (5) (2018)
Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR (2018)
Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD (2017)
Amit Goel, William A. Rivera, J. Peter Kincaid, Waldemar Karwowski, Michele M. Montgomery, Neal Finkelstein
A research framework for exascale simulations of distributed virtual world environments on high performance computing (HPC) clusters. SpringSim (HPS) (2015)
William A. Rivera, Amit Goel, J. Peter Kincaid, Waldemar Karwowski
Calculating grid partitioning costs of distributed virtual world simulation systems. SpringSim (ANSS) (2015)
Amit Goel, Oddny Brun, Michele M. Montgomery, J. Peter Kincaid
Towards visulations of astrophysical accretion disk on HPC clusters with AccretionSim. SummerSim (2015)
Vinod Goel, Iveta Eimontaite, Amit Goel, Igor Schindler
Differential Modulation of Performance in Insight and Divergent Thinking Tasks with tDCS. J. Probl. Solving 8 (1) (2015)
William A. Rivera, Amit Goel, J. Peter Kincaid
OUPS: A Combined Approach Using SMOTE and Propensity Score Matching. ICMLA (2014)
Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic
Finite Model Finding in SMT. CAV (2013)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Invariants for finite instances and beyond. FMCAD (2013)
Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett
Quantifier Instantiation Techniques for Finite Model Finding in SMT. CADE (2013)
Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle
SMT-Based System Verification with DVF. SMT@IJCAR (2012)
Mark R. Tuttle, Amit Goel
Protocol Proof Checking Simplified with SMT. NCA (2012)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV (2012)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground interpolation for the theory of equality Log. Methods Comput. Sci. 8 (1) (2012)
Jyoti, A. K. Sharma, Amit Goel
A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE) CoRR (2011)
Amit Goel, Heinz Schmidt, David R. Gilbert
Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. PACIS (2010)
Amit Goel
The Philosophy of Software Architecture. Int. J. Web Portals 2 (4) (2010)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground Interpolation for the Theory of Equality. TACAS (2009)
Amit Goel, Sava Krstic, Cesare Tinelli
Ground Interpolation for Combined Theories. CADE (2009)
Amit Goel, Heinz Schmidt, David R. Gilbert
Towards formalizing Virtual Enterprise Architecture. EDOCW (2009)
Amit Goel, Sarma B. K. Vrudhula
Current source based standard cell model for accurate signal integrity and timing analysis. DATE (2008)
Payal Gulati, A. K. Sharma, Amit Goel, Jyoti Pandey
A Novel Approach for Determining Next Page Access. ICETET (2008)
Amit Goel, Sarma B. K. Vrudhula, Feroze Taraporevala, Praveen Ghanta
A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations. ISQED (2008)
Amit Goel, Sarma B. K. Vrudhula
Statistical waveform and current source based standard cell models for accurate timing analysis. DAC (2008)
Sarvesh Bhardwaj, Sarma B. K. Vrudhula, Amit Goel
A Unified Approach for Full Chip Statistical Timing and Leakage Analysis of Nanoscale Circuits Considering Intradie Process Variations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (10) (2008)
Sava Krstic, Amit Goel
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCoS (2007)
Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrudhula
Computation of Joint Timing Yield of Sequential Networks Considering Process Variations. PATMOS (2007)
Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
Combined Satisfiability Modulo Parametric Theories. TACAS (2007)
Amit Goel, Randal E. Bryant
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. CAV (2004)
Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
Revisiting Positive Equality. TACAS (2004)
Amit Goel, Gagan Hasteer, Randal E. Bryant
Symbolic representation with ordered function templates. DAC (2003)
Amit Goel, Randal E. Bryant
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. DATE (2003)
Jin Yang, Amit Goel
GSTE through a case study. ICCAD (2002)
Amit Goel, Chuck A. Baker, Clifford A. Shaffer, Bernard Grossman, William H. Mason, Layne T. Watson, Raphael T. Haftka
VizCraft: a problem-solving environment for aircraft configuration design. Comput. Sci. Eng. 3 (1) (2001)
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel
A Theory of Consistency for Modular Synchronous Systems. FMCAD (2000)
Amit Goel, William R. Lee
Formal verification of an IBM CoreConnect processor local bus arbiter core. DAC (2000)
Amit Goel, Chuck Baker, Clifford A. Shaffer, Bernard Grossman, Raphael T. Haftka, William H. Mason, Layne T. Watson
VizCraft: A Multidimensional Visualization Tool for Aircraft Configuration Design. IEEE Visualization (1999)
Amit Goel, Constantinos Phanouriou, Frederick A. Kamke, Calvin J. Ribbens, Clifford A. Shaffer, Layne T. Watson
WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations. Eng. Comput. 15 (2) (1999)