![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Sandeep Neema
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c53]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 - [c52]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
, Rinku Parikh
, Suresh Jagannathan:
Building Resource Adaptive Software Systems. IEEE Softw. 36(2): 103-109 (2019) - 2018
- [j20]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): 1501-1526 (2018) - 2017
- [c51]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
- [c50]Peng Zhang, Sandeep Neema
, Ted Bapty:
A Study of Collaborative Efforts and Proposed Visualizations in Domain-Specific Modeling Environment. CyberC 2016: 146-152 - 2015
- [c49]Janos Sztipanovits, Ted Bapty, Sandeep Neema
, Xenofon D. Koutsoukos, Ethan K. Jackson:
Design tool chain for cyber-physical systems: lessons learned. DAC 2015: 81:1-81:6 - [c48]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: 90-96 - 2014
- [c47]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: 235-248 - [c46]Sandeep Neema
, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits:
Formalization of software models for cyber-physical systems. FormaliSE 2014: 45-51 - [c45]Joshua D. Carl, Gautam Biswas, Sandeep Neema, Ted Bapty:
An approach to parallelizing the simulation of complicated modelica models. SummerSim 2014: 17 - 2013
- [c44]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: 30-39 - [c43]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: 217-228 - [c42]Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema
, Janos Sztipanovits:
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS 2013: 471-487 - 2012
- [c41]Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema
, Gabor Karsai
:
Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS 2012: 73-78 - 2011
- [j19]Steven Nordstrom, Abhishek Dubey
, Turker Keskinpala, Sandeep Neema
, Theodore Bapty:
Autonomic Healing of Model-Based Systems. J. Aerosp. Comput. Inf. Commun. 8(4): 87-99 (2011) - [c40]James R. Edmondson, Aniruddha S. Gokhale
, Sandeep Neema
:
Automating testing of service-oriented mobile applications with distributed knowledge and reasoning. SOCA 2011: 1-4 - 2010
- [j18]Brandon K. Eames, Sandeep Neema
, Rohit Saraswat:
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
, Janos Sztipanovits:
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) - [c39]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
, Sandeep Neema
, David Sharp:
Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73(1): 26-38 (2008) - [j14]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): 1475-1497 (2008) - [c38]Abhishek Dubey
, Sandeep Neema
, Jim Kowalkowski, Amitoj Singh:
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
, 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): 33-52 (2007) - [j11]Sandeep Neema:
Introduction to the special issue. SIGBED Rev. 4(2) (2007) - [c37]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema
, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai
:
Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425 - [c36]Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema
, Janos Sztipanovits:
OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE 2007 - [c35]Janos Sztipanovits, Gabor Karsai
, Sandeep Neema
, Ted Bapty:
The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 369-376 - [c34]Kai Chen, Janos Sztipanovits, Sandeep Neema
:
Compositional specification of behavioral semantics. DATE 2007: 906-911 - [c33]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
, Gabor Karsai, Janos Sztipanovits, Sandeep Neema
:
Developing Applications Using Model-Driven Design Environments. Computer 39(2): 33-40 (2006) - [j9]Aditya Agrawal, Gabor Karsai, Sandeep Neema
, Feng Shi, Attila Vizhanyo:
The design of a language for model transformations. Softw. Syst. Model. 5(3): 261-288 (2006) - [j8]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): 292-303 (2006) - [c32]Sandeep Neema
, Sushil Birla, Shige Wang, Tripti Saxena:
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. ASWSD 2006: 15-33 - [c31]Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema
, Janos Sztipanovits:
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS 2006 - [c30]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
, Paul Sheldon, Shweta Shetty, Long Wang, Di Yao:
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) - [c29]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: 176-181 - [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
, Xenofon D. Koutsoukos:
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
, Yuehua Lin, Jing Zhang, Steven Nordstrom, Aniruddha S. Gokhale
, Sandeep Neema
, Swapna S. Gokhale:
Replicators: Transformations to Address Model Scalability. MoDELS 2005: 295-308 - [c22]Sandeep Neema
, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai:
A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277 - [c21]Attila Vizhanyo, Sandeep Neema
, Feng Shi, Daniel Balasubramanian, Gabor Karsai:
Improving the Usability of a Graph Transformation Language. GRaMoT@GPCE 2005: 207-222 - 2004
- [j5]Sandeep Neema
, Ted Bapty, Shweta Shetty, Steven Nordstrom:
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
, Gabor Karsai:
Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136 - [c19]Shweta Shetty, Sandeep Neema
, Ted Bapty:
Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. ECBS 2004: 478-483 - [c18]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: 361-378 - [c17]Sachin Kogekar, Sandeep Neema
, Brandon Eames, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti:
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
, Sherif Abdelwahed
, Nagabhushan Mahadevan, Michael A. Koets
, Denise Varner:
A Model-Based Approach to Designing QoS Adaptive Applications. RTSS 2004: 221-230 - [c14]Sherif Abdelwahed
, Nagarajan Kandasamy, Sandeep Neema
:
A control-based framework for self-managing distributed computing systems. WOSS 2004: 3-7 - 2003
- [j3]Á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): 82-103 (2003) - [c13]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: 11-16 - [c12]Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema
, Kumar Chhokra:
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. ECBS 2003: 72-79 - [c11]Sandeep Neema
, Janos Sztipanovits, Gabor Karsai, Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305 - [c10]Jeff Gray
, Ted Bapty, Sandeep Neema
, Douglas C. Schmidt, Aniruddha S. Gokhale
, Balachandran Natarajan:
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
, Ted Bapty, Jeff Gray
, Aniruddha S. Gokhale
:
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
, Ted Bapty, Sandeep Neema
, James Tuck
:
Handling crosscutting constraints in domain-specific modeling. Commun. ACM 44(10): 87-93 (2001) - [c5]Sandeep Neema
, Ákos Lédeczi:
Constraint-Guided Self-adaptation. IWSAS 2001: 39-51 - 2000
- [j1]Ted Bapty, Sandeep Neema
, Jason Scott, Janos Sztipanovits, Sameh W. Asaad:
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
, Janos Sztipanovits:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint