Sandeep Neema

According to our database, Sandeep Neema authored at least 76 papers between 1997 and 2023.

Collaborative distances:

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

2023

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

CoRR, 2023

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

Proceedings of the IEEE Military Communications Conference, 2023

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.

Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2019

Building Resource Adaptive Software Systems.

Sandeep Neema, Rinku Parikh, Suresh Jagannathan

IEEE Softw., 2019

2018

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

2017

Integrated modeling and simulation for cyberphysical systems extending multi-domain M&S to the design community.

Theodore Bapty, Jason Scott, Sandeep Neema, Robert Owens

Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, Mod4Sim 2017, Virginia Beach, VA, USA, April 23, 2017

2016

A Study of Collaborative Efforts and Proposed Visualizations in Domain-Specific Modeling Environment.

Peng Zhang, Sandeep Neema, Ted Bapty

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2016

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

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Design tool chain for cyber-physical systems: lessons learned.

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

An approach to parallelizing the simulation of complicated modelica models.

Joshua D. Carl, Gautam Biswas, Sandeep Neema, Ted Bapty

Proceedings of the 2014 Summer Simulation Multiconference, 2014

Formalization of software models for cyber-physical systems.

Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.

Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits

Proceedings of the Model-Driven Engineering Languages and Systems, 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

Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013

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

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

Component-based modeling of dynamic systems using heterogeneous composition.

Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

2011

Autonomic Healing of Model-Based Systems.

Steven Nordstrom, Abhishek Dubey, Turker Keskinpala, Sandeep Neema, Theodore Bapty

J. Aerosp. Comput. Inf. Commun., 2011

Automating testing of service-oriented mobile applications with distributed knowledge and reasoning.

James R. Edmondson, Aniruddha S. Gokhale, Sandeep Neema

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

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

DesertFD: a finite-domain constraint based tool for design space exploration.

Brandon K. Eames, Sandeep Neema, Rohit Saraswat

Des. Autom. Embed. Syst., 2010

2009

Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages.

Kai Chen, Joseph Porter, Janos Sztipanovits, Sandeep Neema

Int. J. Semantic Comput., 2009

Model based integration and experimentation of Information Fusion and C2 Systems.

Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai

Proceedings of the 12th International Conference on Information Fusion, 2009

2008

Model replication: transformations to address model scalability.

Yuehua Lin, Jeff Gray, Jing Zhang, Steven Nordstrom, Aniruddha S. Gokhale, Sandeep Neema, Swapna S. Gokhale

Softw. Pract. Exp., 2008

Model-driven architecture for embedded software: A synopsis and an example.

Gabor Karsai, Sandeep Neema, David Sharp

Sci. Comput. Program., 2008

Scientific Computing Autonomic Reliability Framework.

Abhishek Dubey, Sandeep Neema, Jim Kowalkowski, Amitoj Singh

Proceedings of the Fourth International Conference on e-Science, 2008

2007

Metamodeling Languages and Metaprogrammable Tools.

Janos Sztipanovits, Sandeep Neema, Matthew J. Emerson

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Domain-Specific Modeling.

Jeff Gray, Sandeep Neema, Juha-Pekka Tolvanen, Aniruddha S. Gokhale, Steven Kelly, Jonathan Sprinkle

Proceedings of the Handbook of Dynamic System Modeling., 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

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

A Case Study on Semantic Unit Composition.

Kai Chen, Janos Sztipanovits, Sandeep Neema

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Compositional specification of behavioral semantics.

Kai Chen, Janos Sztipanovits, Sandeep Neema

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

The Model-Integrated Computing Tool Suite.

Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

OASiS: A Programming Framework for Service-Oriented Sensor Networks.

Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

Applying a Grouping Operator in Model Transformations.

Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

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

The design of a language for model transformations.

Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo

Softw. Syst. Model., 2006

Developing Applications Using Model-Driven Design Environments.

Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema

Computer, 2006

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.

Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.

Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits

Proceedings of the 3rd International Conference on Broadband Communications, 2006

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control.

Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005

Design patterns for open tool integration.

Gabor Karsai, Andras Lang, Sandeep Neema

Softw. Syst. Model., 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, Paul Sheldon, Shweta Shetty, Long Wang, Di Yao

SIGBED Rev., 2005

Improving the Usability of a Graph Transformation Language.

Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai

Proceedings of the International Workshop on Graph and Model Transformation, 2005

A Visually-Specified Code Generator for Simulink/Stateflow.

Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Replicators: Transformations to Address Model Scalability.

Jeffrey G. Gray, Yuehua Lin, Jing Zhang, Steven Nordstrom, Aniruddha S. Gokhale, Sandeep Neema, Swapna S. Gokhale

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Specification and Implementation of Autonomic Large-Scale System Behaviors Using Domain Specific Modeling Language Tools.

Shikha Ahuja, Shweta Shetty, Sandeep Neema, Di Yao, Steven Nordstrom, Ted Bapty

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Dynamic Software Reconfiguration in Sensor Networks.

Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsoukos

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

Toward a semantic anchoring infrastructure for domain-specific modeling languages.

Kai Chen, Janos Sztipanovits, Sandeep Neema

Proceedings of the EMSOFT 2005, 2005

Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages.

Shweta Shetty, Steven Nordstrom, Shikha Ahuja, Di Yao, Ted Bapty, Sandeep Neema

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

The Action Language: Refining a Behavioral Modeling Language.

Steven Nordstrom, Shweta Shetty, Di Yao, Shikha Ahuja, Sandeep Neema, Ted Bapty

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

A model-based design framework to achieve end-to-end QoS management.

Sujata Mujumdar, Nagabhushan Mahadevan, Sandeep Neema, Sherif Abdelwahed

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

Introduction to the special issue.

Sandeep Neema

SIGBED Rev., 2004

Autonomic fault mitigation in embedded systems.

Sandeep Neema, Ted Bapty, Shweta Shetty, Steven Nordstrom

Eng. Appl. Artif. Intell., 2004

A control-based framework for self-managing distributed computing systems.

Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Neema

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 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

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Online Control for Self-Management in Computing Systems.

Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Neema

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Constraint-guided dynamic reconfiguration in sensor networks.

Sachin Kogekar, Sandeep Neema, Brandon Eames, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

Model-Driven Program Transformation of a Large Avionics Framework.

Jeffrey G. Gray, Jing Zhang, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems.

Shweta Shetty, Sandeep Neema, Ted Bapty

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Software for Automotive Systems: Model-Integrated Computing.

Sandeep Neema, Gabor Karsai

Proceedings of the Automotive Software, 2004

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

Online control design for QoS management.

Sherif Abdelwahed, Sandeep Neema, Joseph P. Loyall, Richard Shapiro

Proceedings of the IEEE International Conference on Systems, 2003

A Hybrid Control Design for QoS Management.

Sherif Abdelwahed, Sandeep Neema, Joseph P. Loyall, Richard Shapiro

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Approach for Supporting Aspect-Oriented Domain Modeling.

Jeff Gray, Ted Bapty, Sandeep Neema, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan

Proceedings of the Generative Programming and Component Engineering, 2003

Constraint-Based Design-Space Exploration and Model Synthesis.

Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts

Proceedings of the Embedded Software, Third International Conference, 2003

Model-Integrated Design Toolset for Polymorphous Computer-Based Systems.

Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

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

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

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

Proceedings of the 2002 Joint Conference on Languages, 2002

Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems.

Sandeep Neema, Ted Bapty, Jeff Gray, Aniruddha S. Gokhale

Proceedings of the Generative Programming and Component Engineering, 2002

2001

Handling crosscutting constraints in domain-specific modeling.

Jeff Gray, Ted Bapty, Sandeep Neema, James Tuck

Commun. ACM, 2001

Constraint-Guided Self-adaptation.

Sandeep Neema, Ákos Lédeczi

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

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

Interfacing a simulation engine to an embedded runtime environment.

Brandon Eames, Sandeep Neema, Ted Bapty, Jason Scott

Proceedings of the IEEE International Conference on Systems, 2000

Reconfigurable target recognition system (poster abstract).

Gábor Szedö, Sandeep Neema, Jason Scott, Ted Bapty

Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2000

1999

Uniform Execution Environment for Dynamic Reconfiguration.

Ted Bapty, Jason Scott, Sandeep Neema, Janos Sztipanovits

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1997

Real-Time Scheduler Based on Fuzzy Logic.

Sandeep Neema, Ben Abbott

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997