Sandeep Neema - RankMe

80 papers A* 1A 7B 6C 5Misc 3Journal 23Unranked 33

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