default search action
Sandeep Neema
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c54]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: 149-152 - [c53]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: 944-949 - [i1]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 abs/2309.16436 (2023)
2010 – 2019
- 2019
- [j21]Sandeep Neema
Building Resource Adaptive Software Systems. IEEE Softw. 36(2): 103-109 (2019) - 2018
- [j20]Janos Sztipanovits
Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE 106(9): 1501-1526 (2018) - 2017
- [c52]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: 12:1-12:12 - 2016
- [c51]Peng Zhang, Sandeep Neema
A Study of Collaborative Efforts and Proposed Visualizations in Domain-Specific Modeling Environment. CyberC 2016: 146-152 - 2015
- [c50]Janos Sztipanovits, Ted Bapty, Sandeep Neema
Design tool chain for cyber-physical systems: lessons learned. DAC 2015: 81:1-81:6 - [c49]Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema
Towards an analysis-driven rapid design process for cyber-physical systems. RSP 2015: 90-96 - 2014
- [c48]Janos Sztipanovits, Ted Bapty, Sandeep Neema
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS 2014: 235-248 - [c47]Sandeep Neema
Formalization of software models for cyber-physical systems. FormaliSE 2014: 45-51 - [c46]Joshua D. Carl, Gautam Biswas, Sandeep Neema, Ted Bapty:
An approach to parallelizing the simulation of complicated modelica models. SummerSim 2014: 17 - 2013
- [c45]Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS 2013: 30-39 - [c44]János Sallai, Péter Völgyesi, Ákos Lédeczi, Ken Pence, Ted Bapty, Sandeep Neema
Acoustic shockwave-based bearing estimation. IPSN 2013: 217-228 - [c43]Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS 2013: 471-487 - 2012
- [c42]Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema
Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS 2012: 73-78 - 2011
- [j19]Steven Nordstrom, Abhishek Dubey
Autonomic Healing of Model-Based Systems. J. Aerosp. Comput. Inf. Commun. 8(4): 87-99 (2011) - [c41]James R. Edmondson, Aniruddha S. Gokhale
Automating testing of service-oriented mobile applications with distributed knowledge and reasoning. SOCA 2011: 1-4 - 2010
- [j18]Brandon K. Eames, Sandeep Neema
DesertFD: a finite-domain constraint based tool for design space exploration. Des. Autom. Embed. Syst. 14(2): 43-74 (2010) - [j17]Chang Hong Lin, Marilyn Wolf, Xenofon D. Koutsoukos, Sandeep Neema
System and software architectures of distributed smart cameras. ACM Trans. Embed. Comput. Syst. 9(4): 38:1-38:30 (2010)
2000 – 2009
- 2009
- [j16]Kai Chen, Joseph Porter, Janos Sztipanovits, Sandeep Neema
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. Int. J. Semantic Comput. 3(1): 31-56 (2009) - [c40]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: 1958-1965 - 2008
- [j15]Gabor Karsai
Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73(1): 26-38 (2008) - [j14]Yuehua Lin, Jeff Gray
Model replication: transformations to address model scalability. Softw. Pract. Exp. 38(14): 1475-1497 (2008) - [c39]Abhishek Dubey
Scientific Computing Autonomic Reliability Framework. eScience 2008: 352-353 - 2007
- [j13]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) - [j12]Abhishek Dubey
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Innov. Syst. Softw. Eng. 3(1): 33-52 (2007) - [j11]Sandeep Neema:
Introduction to the special issue. SIGBED Rev. 4(2) (2007) - [c38]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema
Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425 - [c37]Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema
OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE 2007 - [c36]Janos Sztipanovits, Gabor Karsai
The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 369-376 - [c35]Kai Chen, Janos Sztipanovits, Sandeep Neema
Compositional specification of behavioral semantics. DATE 2007: 906-911 - [c34]Kai Chen, Janos Sztipanovits, Sandeep Neema
A Case Study on Semantic Unit Composition. MiSE@ICSE 2007: 3 - [r2]Jeff Gray, Sandeep Neema, Juha-Pekka Tolvanen, Aniruddha S. Gokhale, Steven Kelly, Jonathan Sprinkle:
Domain-Specific Modeling. Handbook of Dynamic System Modeling 2007 - [r1]Janos Sztipanovits, Sandeep Neema, Matthew J. Emerson:
Metamodeling Languages and Metaprogrammable Tools. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [j10]Krishnakumar Balasubramanian, Aniruddha S. Gokhale
Developing Applications Using Model-Driven Design Environments. Computer 39(2): 33-40 (2006) - [j9]Aditya Agrawal, Gabor Karsai, Sandeep Neema
The design of a language for model transformations. Softw. Syst. Model. 5(3): 261-288 (2006) - [j8]Steven Nordstrom, Shweta Shetty, Sandeep Neema
Modeling reflex-healing autonomy for large-scale embedded systems. IEEE Trans. Syst. Man Cybern. Syst. 36(3): 292-303 (2006) - [c33]Sandeep Neema
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. ASWSD 2006: 15-33 - [c32]Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS 2006 - [c31]Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits:
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. Monterey Workshop 2006: 125-149 - 2005
- [j7]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
RTES demo system2004. SIGBED Rev. 2(3): 1-6 (2005) - [j6]Gabor Karsai, Andras Lang, Sandeep Neema
Design patterns for open tool integration. Softw. Syst. Model. 4(2): 157-170 (2005) - [c30]Sujata Mujumdar, Nagabhushan Mahadevan, Sandeep Neema
A model-based design framework to achieve end-to-end QoS management. ACM Southeast Regional Conference (1) 2005: 176-181 - [c29]Sherif Abdelwahed, Rong Su, Sandeep Neema:
A feasible lookahead control for systems with finite control set. CCA 2005: 663-668 - [c28]Steven Nordstrom, Shweta Shetty, Di Yao, Shikha Ahuja, Sandeep Neema, Ted Bapty:
The Action Language: Refining a Behavioral Modeling Language. ECBS 2005: 315-322 - [c27]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: 481-489 - [c26]Kai Chen, Janos Sztipanovits, Sandeep Neema
Toward a semantic anchoring infrastructure for domain-specific modeling languages. EMSOFT 2005: 35-43 - [c25]Sachin Kogekar, Sandeep Neema
Dynamic Software Reconfiguration in Sensor Networks. Systems Communications 2005: 413-420 - [c24]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: 16-22 - [c23]Jeffrey G. Gray
Replicators: Transformations to Address Model Scalability. MoDELS 2005: 295-308 - [c22]Sandeep Neema
A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277 - [c21]Attila Vizhanyo, Sandeep Neema
Improving the Usability of a Graph Transformation Language. GRaMoT@GPCE 2005: 207-222 - 2004
- [j5]Sandeep Neema
Autonomic fault mitigation in embedded systems. Eng. Appl. Artif. Intell. 17(7): 711-725 (2004) - [j4]Sandeep Neema:
Introduction to the special issue. SIGBED Rev. 1(3) (2004) - [c20]Sandeep Neema
Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136 - [c19]Shweta Shetty, Sandeep Neema
Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. ECBS 2004: 478-483 - [c18]Jeffrey G. Gray
Model-Driven Program Transformation of a Large Avionics Framework. GPCE 2004: 361-378 - [c17]Sachin Kogekar, Sandeep Neema
Constraint-guided dynamic reconfiguration in sensor networks. IPSN 2004: 379-387 - [c16]Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Neema:
Online Control for Self-Management in Computing Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 368-375 - [c15]Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema
A Model-Based Approach to Designing QoS Adaptive Applications. RTSS 2004: 221-230 - [c14]Sherif Abdelwahed
A control-based framework for self-managing distributed computing systems. WOSS 2004: 3-7 - 2003
- [j3]Ákos Lédeczi, James R. Davis, Sandeep Neema
Modeling methodology for integrated simulation of embedded systems. ACM Trans. Model. Comput. Simul. 13(1): 82-103 (2003) - [c13]Ted Bapty, Sandeep Neema
Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. ECBS 2003: 11-16 - [c12]Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. ECBS 2003: 72-79 - [c11]Sandeep Neema
Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305 - [c10]Jeff Gray
An Approach for Supporting Aspect-Oriented Domain Modeling. GPCE 2003: 151-168 - [c9]Sherif Abdelwahed, Sandeep Neema, Joseph P. Loyall, Richard Shapiro:
A Hybrid Control Design for QoS Management. RTSS 2003: 366-369 - [c8]Sherif Abdelwahed, Sandeep Neema, Joseph P. Loyall, Richard Shapiro:
Online control design for QoS management. SMC 2003: 2539-2544 - 2002
- [c7]Sandeep Neema
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems. GPCE 2002: 236-251 - [c6]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: 18-27 - 2001
- [j2]Jeff Gray
Handling crosscutting constraints in domain-specific modeling. Commun. ACM 44(10): 87-93 (2001) - [c5]Sandeep Neema
Constraint-Guided Self-adaptation. IWSAS 2001: 39-51 - 2000
- [j1]Ted Bapty, Sandeep Neema
Model-integrated Tools for the Design of Dynamically Reconfigurable Systems. VLSI Design 10(3): 281-306 (2000) - [c4]Gábor Szedö, Sandeep Neema, Jason Scott, Ted Bapty:
Reconfigurable target recognition system (poster abstract). FPGA 2000: 221 - [c3]Brandon Eames, Sandeep Neema, Ted Bapty, Jason Scott:
Interfacing a simulation engine to an embedded runtime environment. SMC 2000: 625-629
1990 – 1999
- 1999
- [c2]Ted Bapty, Jason Scott, Sandeep Neema
Uniform Execution Environment for Dynamic Reconfiguration. ECBS 1999: 181-187 - 1997
- [c1]Sandeep Neema, Ben Abbott:
Real-Time Scheduler Based on Fuzzy Logic. PDPTA 1997: 978-985
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-15 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: