Sandeep Neema

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 7

Top Topics

Language Modelling

Relevance Model

Software Systems

Top Venues

Publications

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM (2023)
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR (2023)
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA (2023)
Sandeep Neema, Rinku Parikh, Suresh Jagannathan
Building Resource Adaptive Software Systems. IEEE Softw. 36 (2) (2019)
Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, Ethan K. Jackson
Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE 106 (9) (2018)
Theodore Bapty, Jason Scott, Sandeep Neema, Robert Owens
Integrated modeling and simulation for cyberphysical systems extending multi-domain M&S to the design community. SpringSim (Mod4Sim) (2017)
Peng Zhang, Sandeep Neema, Ted Bapty
A Study of Collaborative Efforts and Proposed Visualizations in Domain-Specific Modeling Environment. CyberC (2016)
Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai
Towards an analysis-driven rapid design process for cyber-physical systems. RSP (2015)
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson
Design tool chain for cyber-physical systems: lessons learned. DAC (2015)
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS (2014)
Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits
Formalization of software models for cyber-physical systems. FormaliSE (2014)
Joshua D. Carl, Gautam Biswas, Sandeep Neema, Ted Bapty
An approach to parallelizing the simulation of complicated modelica models. SummerSim (2014)
Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS (2013)
Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS (2013)
János Sallai, Péter Völgyesi, Ákos Lédeczi, Ken Pence, Ted Bapty, Sandeep Neema, James R. Davis
Acoustic shockwave-based bearing estimation. IPSN (2013)
Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai
Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS (2012)
Steven Nordstrom, Abhishek Dubey, Turker Keskinpala, Sandeep Neema, Theodore Bapty
Autonomic Healing of Model-Based Systems. J. Aerosp. Comput. Inf. Commun. 8 (4) (2011)
James R. Edmondson, Aniruddha S. Gokhale, Sandeep Neema
Automating testing of service-oriented mobile applications with distributed knowledge and reasoning. SOCA (2011)
Brandon K. Eames, Sandeep Neema, Rohit Saraswat
DesertFD: a finite-domain constraint based tool for design space exploration. Des. Autom. Embed. Syst. 14 (2) (2010)
Chang Hong Lin, Marilyn Wolf, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
System and software architectures of distributed smart cameras. ACM Trans. Embed. Comput. Syst. 9 (4) (2010)
Kai Chen, Joseph Porter, Janos Sztipanovits, Sandeep Neema
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. Int. J. Semantic Comput. 3 (1) (2009)
Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai
Model based integration and experimentation of Information Fusion and C2 Systems. FUSION (2009)
Yuehua Lin, Jeff Gray, Jing Zhang, Steven Nordstrom, Aniruddha S. Gokhale, Sandeep Neema, Swapna S. Gokhale
Model replication: transformations to address model scalability. Softw. Pract. Exp. 38 (14) (2008)
Abhishek Dubey, Sandeep Neema, Jim Kowalkowski, Amitoj Singh
Scientific Computing Autonomic Reliability Framework. eScience (2008)
Gabor Karsai, Sandeep Neema, David Sharp
Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73 (1) (2008)
Kai Chen, Janos Sztipanovits, Sandeep Neema
A Case Study on Semantic Unit Composition. MiSE@ICSE (2007)
Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE (2007)
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai
Applying a Grouping Operator in Model Transformations. AGTIVE (2007)
Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty
The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems (2007)
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai
A Subgraph Operator for Graph Transformation Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Kai Chen, Janos Sztipanovits, Sandeep Neema
Compositional specification of behavioral semantics. DATE (2007)
Sandeep Neema
Introduction to the special issue. SIGBED Rev. 4 (2) (2007)
Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Innov. Syst. Softw. Eng. 3 (1) (2007)
Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. Monterey Workshop (2006)
Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS (2006)
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai
Improving the Usability of a Graph Transformation Language. Electron. Notes Theor. Comput. Sci. 152 (2006)
Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema
Developing Applications Using Model-Driven Design Environments. Computer 39 (2) (2006)
Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo
The design of a language for model transformations. Softw. Syst. Model. 5 (3) (2006)
Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. ASWSD (2006)
Steven Nordstrom, Shweta Shetty, Sandeep Neema, Theodore Bapty
Modeling reflex-healing autonomy for large-scale embedded systems. IEEE Trans. Syst. Man Cybern. Syst. 36 (3) (2006)
Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsoukos
Dynamic Software Reconfiguration in Sensor Networks. Systems Communications (2005)
Shweta Shetty, Steven Nordstrom, Shikha Ahuja, Di Yao, Ted Bapty, Sandeep Neema
Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages. ECBS (2005)
Sujata Mujumdar, Nagabhushan Mahadevan, Sandeep Neema, Sherif Abdelwahed
A model-based design framework to achieve end-to-end QoS management. ACM Southeast Regional Conference (1) (2005)
Shikha Ahuja, Ted Bapty, Harry Cheung, Michael Haney, Zbigniew Kalbarczyk, Akhilesh Khanna, Jim Kowalkowski, Derek Messie, Daniel Mossé, Sandeep Neema, Steven Nordstrom, Jae C. Oh, Paul Sheldon, Shweta Shetty, Long Wang, Di Yao
RTES demo system2004. SIGBED Rev. 2 (3) (2005)
Kai Chen, Janos Sztipanovits, Sandeep Neema
Toward a semantic anchoring infrastructure for domain-specific modeling languages. EMSOFT (2005)
Shikha Ahuja, Shweta Shetty, Sandeep Neema, Di Yao, Steven Nordstrom, Ted Bapty
Specification and Implementation of Autonomic Large-Scale System Behaviors Using Domain Specific Modeling Language Tools. Software Engineering Research and Practice (2005)
Gabor Karsai, Andras Lang, Sandeep Neema
Design patterns for open tool integration. Softw. Syst. Model. 4 (2) (2005)
Steven Nordstrom, Shweta Shetty, Di Yao, Shikha Ahuja, Sandeep Neema, Ted Bapty
The Action Language: Refining a Behavioral Modeling Language. ECBS (2005)
Jeffrey G. Gray, Yuehua Lin, Jing Zhang, Steven Nordstrom, Aniruddha S. Gokhale, Sandeep Neema, Swapna S. Gokhale
Replicators: Transformations to Address Model Scalability. MoDELS (2005)
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai
A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC (2005)
Sachin Kogekar, Sandeep Neema, Brandon Eames, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti
Constraint-guided dynamic reconfiguration in sensor networks. IPSN (2004)
Sandeep Neema, Gabor Karsai
Software for Automotive Systems: Model-Integrated Computing. ASWSD (2004)
Sandeep Neema
Introduction to the special issue. SIGBED Rev. 1 (3) (2004)
Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Neema
A control-based framework for self-managing distributed computing systems. WOSS (2004)
Shweta Shetty, Sandeep Neema, Ted Bapty
Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. ECBS (2004)
Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema, Sherif Abdelwahed, Nagabhushan Mahadevan, Michael Koets, Denise Varner
A Model-Based Approach to Designing QoS Adaptive Applications. RTSS (2004)
Jeffrey G. Gray, Jing Zhang, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty
Model-Driven Program Transformation of a Large Avionics Framework. GPCE (2004)
Sandeep Neema, Ted Bapty, Shweta Shetty, Steven Nordstrom
Autonomic fault mitigation in embedded systems. Eng. Appl. Artif. Intell. 17 (7) (2004)
Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Neema
Online Control for Self-Management in Computing Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
Sherif Abdelwahed, Sandeep Neema, Joseph P. Loyall, Richard Shapiro
Online control design for QoS management. SMC (2003)
Ákos Lédeczi, James R. Davis, Sandeep Neema, Aditya Agrawal
Modeling methodology for integrated simulation of embedded systems. ACM Trans. Model. Comput. Simul. 13 (1) (2003)
Jeff Gray, Ted Bapty, Sandeep Neema, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan
An Approach for Supporting Aspect-Oriented Domain Modeling. GPCE (2003)
Sherif Abdelwahed, Sandeep Neema, Joseph P. Loyall, Richard Shapiro
A Hybrid Control Design for QoS Management. RTSS (2003)
Ted Bapty, Sandeep Neema, Steven Nordstrom, Shweta Shetty, Divya Vashishtha, Jason Overdorf, Paul Sheldon
Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. ECBS (2003)
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. ECBS (2003)
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT (2003)
Sandeep Neema, Ted Bapty, Jeff Gray, Aniruddha S. Gokhale
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems. GPCE (2002)
Sumit Mohanty, Viktor K. Prasanna, Sandeep Neema, James R. Davis
Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation. LCTES-SCOPES (2002)
Jeff Gray, Ted Bapty, Sandeep Neema, James Tuck
Handling crosscutting constraints in domain-specific modeling. Commun. ACM 44 (10) (2001)
Sandeep Neema, Ákos Lédeczi
Constraint-Guided Self-adaptation. IWSAS (2001)
Ted Bapty, Sandeep Neema, Jason Scott, Janos Sztipanovits, Sameh W. Asaad
Model-integrated Tools for the Design of Dynamically Reconfigurable Systems. VLSI Design 2000 (3) (2000)
Brandon Eames, Sandeep Neema, Ted Bapty, Jason Scott
Interfacing a simulation engine to an embedded runtime environment. SMC (2000)
Gábor Szedö, Sandeep Neema, Jason Scott, Ted Bapty
Reconfigurable target recognition system (poster abstract). FPGA (2000)
Ted Bapty, Jason Scott, Sandeep Neema, Janos Sztipanovits
Uniform Execution Environment for Dynamic Reconfiguration. ECBS (1999)
Sandeep Neema, Ben Abbott
Real-Time Scheduler Based on Fuzzy Logic. PDPTA (1997)