Real-Time Scheduler Based on Fuzzy Logic. - Sandeep Neema; Ben Abbott (PDPTA, 1997)

Uniform Execution Environment for Dynamic Reconfiguration. - Ted Bapty; Jason Scott; Sandeep Neema; Janos Sztipanovits (ECBS, 1999)

Reconfigurable target recognition system (poster abstract). - Gábor Szedö; Sandeep Neema; Jason Scott; Ted Bapty (FPGA, 2000)

Interfacing a simulation engine to an embedded runtime environment. - Brandon Eames; Sandeep Neema; Ted Bapty; Jason Scott (SMC, 2000)

Model-integrated Tools for the Design of Dynamically Reconfigurable Systems. - Ted Bapty; Sandeep Neema; Jason Scott; Janos Sztipanovits; Sameh W. Asaad (VLSI Design, 2000)

Constraint-Guided Self-adaptation. - Sandeep Neema; Ákos Lédeczi (IWSAS, 2001)

Handling crosscutting constraints in domain-specific modeling. - Jeff Gray 001; Ted Bapty; Sandeep Neema; James Tuck 001 (Commun. ACM, 2001)

Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems. - Sandeep Neema; Ted Bapty; Jeff Gray 001; Aniruddha S. Gokhale (GPCE, 2002)

Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation. - Sumit Mohanty; Viktor K. Prasanna; Sandeep Neema; James R. Davis (LCTES-SCOPES, 2002)

Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. - Ted Bapty; Sandeep Neema; Steven Nordstrom; Shweta Shetty; Divya Vashishtha; Jason Overdorf; Paul Sheldon (ECBS, 2003)

Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. - Brandon Eames; Ted Bapty; Ben Abbott; Sandeep Neema; Kumar Chhokra (ECBS, 2003)

Constraint-Based Design-Space Exploration and Model Synthesis. - Sandeep Neema; Janos Sztipanovits; Gabor Karsai; Ken Butts (EMSOFT, 2003)

An Approach for Supporting Aspect-Oriented Domain Modeling. - Jeff Gray 001; Ted Bapty; Sandeep Neema; Douglas C. Schmidt; Aniruddha S. Gokhale; Balachandran Natarajan (GPCE, 2003)

A Hybrid Control Design for QoS Management. - Sherif Abdelwahed; Sandeep Neema; Joseph P. Loyall; Richard Shapiro (RTSS, 2003)

Online control design for QoS management. - Sherif Abdelwahed; Sandeep Neema; Joseph P. Loyall; Richard Shapiro (SMC, 2003)

Modeling methodology for integrated simulation of embedded systems. - Ákos Lédeczi; James R. Davis; Sandeep Neema; Aditya Agrawal (ACM Trans. Model. Comput. Simul., 2003)

Software for Automotive Systems: Model-Integrated Computing. - Sandeep Neema; Gabor Karsai (ASWSD, 2004)

Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. - Shweta Shetty; Sandeep Neema; Ted Bapty (ECBS, 2004)

Model-Driven Program Transformation of a Large Avionics Framework. - Jeffrey G. Gray; Jing Zhang 003; Yuehua Lin; Suman Roychoudhury; Hui Wu; Rajesh Sudarsan; Aniruddha S. Gokhale; Sandeep Neema; Feng Shi; Ted Bapty (GPCE, 2004)

Constraint-guided dynamic reconfiguration in sensor networks. - Sachin Kogekar; Sandeep Neema; Brandon Eames; Xenofon D. Koutsoukos; Ákos Lédeczi; Miklos Maroti (IPSN, 2004)

Online Control for Self-Management in Computing Systems. - Sherif Abdelwahed; Nagarajan Kandasamy; Sandeep Neema (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

A Model-Based Approach to Designing QoS Adaptive Applications. - Jianming Ye; Joseph P. Loyall; Richard Shapiro; Richard E. Schantz; Sandeep Neema; Sherif Abdelwahed; Nagabhushan Mahadevan; Michael A. Koets; Denise Varner (RTSS, 2004)

A control-based framework for self-managing distributed computing systems. - Sherif Abdelwahed; Nagarajan Kandasamy; Sandeep Neema (WOSS, 2004)

Autonomic fault mitigation in embedded systems. - Sandeep Neema; Ted Bapty; Shweta Shetty; Steven Nordstrom (Eng. Appl. Artif. Intell., 2004)

A model-based design framework to achieve end-to-end QoS management. - Sujata Mujumdar; Nagabhushan Mahadevan; Sandeep Neema; Sherif Abdelwahed (ACM Southeast Regional Conference (1), 2005)

A feasible lookahead control for systems with finite control set. - Sherif Abdelwahed; Rong Su 001; Sandeep Neema (CCA, 2005)

The Action Language: Refining a Behavioral Modeling Language. - Steven Nordstrom; Shweta Shetty; Di Yao 005; Shikha Ahuja; Sandeep Neema; Ted Bapty (ECBS, 2005)

Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages. - Shweta Shetty; Steven Nordstrom; Shikha Ahuja; Di Yao 005; Ted Bapty; Sandeep Neema (ECBS, 2005)

Toward a semantic anchoring infrastructure for domain-specific modeling languages. - Kai Chen 010; Janos Sztipanovits; Sandeep Neema (EMSOFT, 2005)

Dynamic Software Reconfiguration in Sensor Networks. - Sachin Kogekar; Sandeep Neema; Xenofon D. Koutsoukos (Systems Communications, 2005)

Specification and Implementation of Autonomic Large-Scale System Behaviors Using Domain Specific Modeling Language Tools. - Shikha Ahuja; Shweta Shetty; Sandeep Neema; Di Yao 005; Steven Nordstrom; Ted Bapty (Software Engineering Research and Practice, 2005)

Replicators: Transformations to Address Model Scalability. - Jeffrey G. Gray; Yuehua Lin; Jing Zhang 003; Steven Nordstrom; Aniruddha S. Gokhale; Sandeep Neema; Swapna S. Gokhale (MoDELS, 2005)

A Visually-Specified Code Generator for Simulink/Stateflow. - Sandeep Neema; Zsolt Kalmar; Feng Shi; Attila Vizhanyo; Gabor Karsai (VL/HCC, 2005)

Improving the Usability of a Graph Transformation Language. - Attila Vizhanyo; Sandeep Neema; Feng Shi; Daniel Balasubramanian; Gabor Karsai (GRaMoT@GPCE, 2005)

RTES demo system2004. - 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; et al. (SIGBED Rev., 2005)

Design patterns for open tool integration. - Gabor Karsai; Andras Lang; Sandeep Neema (Softw. Syst. Model., 2005)

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. - Sandeep Neema; Sushil Birla; Shige Wang; Tripti Saxena (ASWSD, 2006)

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. - Isaac Amundson; Manish Kushwaha; Xenofon D. Koutsoukos; Sandeep Neema; Janos Sztipanovits (BROADNETS, 2006)

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. - Xenofon D. Koutsoukos; Manish Kushwaha; Isaac Amundson; Sandeep Neema; Janos Sztipanovits (Monterey Workshop, 2006)

Developing Applications Using Model-Driven Design Environments. - Krishnakumar Balasubramanian 001; Aniruddha S. Gokhale; Gabor Karsai; Janos Sztipanovits; Sandeep Neema (Computer, 2006)

The design of a language for model transformations. - Aditya Agrawal; Gabor Karsai; Sandeep Neema; Feng Shi; Attila Vizhanyo (Softw. Syst. Model., 2006)

Modeling reflex-healing autonomy for large-scale embedded systems. - Steven Nordstrom; Shweta Shetty; Sandeep Neema; Theodore Bapty (IEEE Trans. Syst. Man Cybern. Syst., 2006)

Applying a Grouping Operator in Model Transformations. - Daniel Balasubramanian; Anantha Narayanan; Sandeep Neema; Benjamin Ness; Feng Shi; Ryan Thibodeaux; Gabor Karsai (AGTIVE, 2007)

OASiS: A Programming Framework for Service-Oriented Sensor Networks. - Manish Kushwaha; Isaac Amundson; Xenofon D. Koutsoukos; Sandeep Neema; Janos Sztipanovits (COMSWARE, 2007)

The Model-Integrated Computing Tool Suite. - Janos Sztipanovits; Gabor Karsai; Sandeep Neema; Ted Bapty (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Compositional specification of behavioral semantics. - Kai Chen 010; Janos Sztipanovits; Sandeep Neema (DATE, 2007)

A Case Study on Semantic Unit Composition. - Kai Chen 010; Janos Sztipanovits; Sandeep Neema (MiSE@ICSE, 2007)

A Subgraph Operator for Graph Transformation Languages. - Daniel Balasubramanian; Anantha Narayanan; Sandeep Neema; Feng Shi; Ryan Thibodeaux; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. - Abhishek Dubey; Steven Nordstrom; Turker Keskinpala; Sandeep Neema; Ted Bapty; Gabor Karsai (Innov. Syst. Softw. Eng., 2007)

Introduction to the special issue. - Sandeep Neema (SIGBED Rev., 2007)

Domain-Specific Modeling. - Jeff Gray 001; Sandeep Neema; Juha-Pekka Tolvanen; Aniruddha S. Gokhale; Steven Kelly 001; Jonathan Sprinkle (Handbook of Dynamic System Modeling, 2007)

Metamodeling Languages and Metaprogrammable Tools. - Janos Sztipanovits; Sandeep Neema; Matthew J. Emerson (Handbook of Real-Time and Embedded Systems, 2007)

Scientific Computing Autonomic Reliability Framework. - Abhishek Dubey; Sandeep Neema; Jim Kowalkowski; Amitoj Singh (eScience, 2008)

Model-driven architecture for embedded software: A synopsis and an example. - Gabor Karsai; Sandeep Neema; David Sharp (Sci. Comput. Program., 2008)

Model replication: transformations to address model scalability. - Yuehua Lin; Jeff Gray 001; Jing Zhang 003; Steven Nordstrom; Aniruddha S. Gokhale; Sandeep Neema; Swapna S. Gokhale (Softw. Pract. Exp., 2008)

Model based integration and experimentation of Information Fusion and C2 Systems. - Sandeep Neema; Ted Bapty; Xenofon D. Koutsoukos; Himanshu Neema; Janos Sztipanovits; Gabor Karsai (FUSION, 2009)

Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. - Kai Chen 010; Joseph Porter; Janos Sztipanovits; Sandeep Neema (Int. J. Semantic Comput., 2009)

DesertFD: a finite-domain constraint based tool for design space exploration. - Brandon K. Eames; Sandeep Neema; Rohit Saraswat (Des. Autom. Embed. Syst., 2010)

System and software architectures of distributed smart cameras. - Chang Hong Lin; Marilyn Wolf; Xenofon D. Koutsoukos; Sandeep Neema; Janos Sztipanovits (ACM Trans. Embed. Comput. Syst., 2010)

Automating testing of service-oriented mobile applications with distributed knowledge and reasoning. - James R. Edmondson; Aniruddha S. Gokhale; Sandeep Neema (SOCA, 2011)

Autonomic Healing of Model-Based Systems. - Steven Nordstrom; Abhishek Dubey; Turker Keskinpala; Sandeep Neema; Theodore Bapty (J. Aerosp. Comput. Inf. Commun., 2011)

Component-based modeling of dynamic systems using heterogeneous composition. - Zsolt Lattmann; Adam Nagel; Tihamer Levendovszky; Ted Bapty; Sandeep Neema; Gabor Karsai (MPM@MoDELS, 2012)

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. - Gabor Simko; David Lindecker; Tihamer Levendovszky; Ethan K. Jackson; Sandeep Neema; Janos Sztipanovits (ECBS, 2013)

Acoustic shockwave-based bearing estimation. - János Sallai; Péter Völgyesi; Ákos Lédeczi; Ken Pence; Ted Bapty; Sandeep Neema; James R. Davis (IPSN, 2013)

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. - Gabor Simko; David Lindecker; Tihamer Levendovszky; Sandeep Neema; Janos Sztipanovits (MoDELS, 2013)

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. - Janos Sztipanovits; Ted Bapty; Sandeep Neema; Larry Howard; Ethan K. Jackson (FPS@ETAPS, 2014)

Formalization of software models for cyber-physical systems. - Sandeep Neema; Gabor Simko; Tihamer Levendovszky; Joseph Porter; Akshay Agrawal; Janos Sztipanovits (FormaliSE, 2014)

An approach to parallelizing the simulation of complicated modelica models. - Joshua D. Carl; Gautam Biswas; Sandeep Neema; Ted Bapty (SummerSim, 2014)

Design tool chain for cyber-physical systems: lessons learned. - Janos Sztipanovits; Ted Bapty; Sandeep Neema; Xenofon D. Koutsoukos; Ethan K. Jackson (DAC, 2015)

Towards an analysis-driven rapid design process for cyber-physical systems. - Zsolt Lattmann; James Klingler; Patrik Meijer; Jason Scott; Sandeep Neema; Ted Bapty; Gabor Karsai (RSP, 2015)

A Study of Collaborative Efforts and Proposed Visualizations in Domain-Specific Modeling Environment. - Peng Zhang 034; Sandeep Neema; Ted Bapty (CyberC, 2016)

Integrated modeling and simulation for cyberphysical systems extending multi-domain M&S to the design community. - Theodore Bapty; Jason Scott; Sandeep Neema; Robert Owens (SpringSim (Mod4Sim), 2017)

Model and Tool Integration Platforms for Cyber-Physical System Design. - Janos Sztipanovits; Ted Bapty; Xenofon D. Koutsoukos; Zsolt Lattmann; Sandeep Neema; Ethan K. Jackson (Proc. IEEE, 2018)

Building Resource Adaptive Software Systems. - Sandeep Neema; Rinku Parikh; Suresh Jagannathan (IEEE Softw., 2019)

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. - Susmit Jha; Sumit Kumar Jha 001; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Sandeep Neema (ICAA, 2023)

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. - Sumit Kumar Jha 001; Susmit Jha; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Rickard Ewetz; Sandeep Neema (MILCOM, 2023)

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. - Sumit Kumar Jha 001; Susmit Jha; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Rickard Ewetz; Sandeep Neema (CoRR, 2023)

On the Evaluation of Engineering Artificial General Intelligence. - Sandeep Neema; Susmit Jha; Adam Nagel; Ethan Lew; Chandrasekar Sureshkumar; Aleksa Gordic; Chase Shimmin; Hieu Nguygen; Paul Eremenko (CoRR, 2025)