I agree that this site is using cookies. You can find further informations here.
X
Neema, Sandeep
68  results:
Search for persons X
?
1

RAMPART: Reinforcement Against Malicious Penetration by Adv..:

, In: 2024 IEEE Workshop on Design Automation for CPS and IoT (DESTION),
Neema, Himanshu ; Balasubramanian, Daniel ; Vardhan, Harsh.. - p. 33-39 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Counterexample Guided Inductive Synthesis Using Large Langu..:

, In: MILCOM 2023 - 2023 IEEE Military Communications Conference (MILCOM),
Jha, Sumit Kumar ; Jha, Susmit ; Lincoln, Patrick... - p. 944-949 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Dehallucinating Large Language Models Using Formal Methods ..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),
Jha, Susmit ; Jha, Sumit Kumar ; Lincoln, Patrick... - p. 149-152 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Building Resource Adaptive Software Systems:

Neema, Sandeep ; Parikh, Rinku ; Jagannathan, Suresh
IEEE Software.  36 (2019)  2 - p. 103-109 , 2019
Link: https://doi.org/10.1109/..
 
?
5

Integrated modeling and simulation for cyberphysical system..:

, In: Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering,
Bapty, Theodore A. ; Scott, Jason ; Neema, Sandeep. - p. 1-12 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

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

, In: Proceedings of the 52nd Annual Design Automation Conference,
Sztipanovits, Janos ; Bapty, Ted ; Neema, Sandeep.. - p. 1-6 , 2015
Link: https://dl.acm.org/doi/1..
 
?
7

Formalization of software models for cyber-physical systems:

, In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering,
Neema, Sandeep ; Simko, Gabor ; Levendovszky, Tihamer... - p. 45-51 , 2014
Link: https://dl.acm.org/doi/1..
 
?
8

An approach to parallelizing the simulation of complicated ..:

, In: Proceedings of the 2014 Summer Simulation Multiconference,
Carl, Joshua D. ; Biswas, Gautam ; Neema, Sandeep. - p. 1-8 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Acoustic shockwave-based bearing estimation:

, In: 2013 ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN),
Sallai, Janos ; Volgyesi, Peter ; Ledeczi, Akos... - p. 217-228 , 2013
Link: https://doi.org/10.1145/..
 
?
10

Acoustic shockwave-based bearing estimation:

, In: Proceedings of the 12th international conference on Information processing in sensor networks,
Sallai, János ; Völgyesi, Péter ; Lédeczi, Ákos... - p. 217-228 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

Component-based modeling of dynamic systems using heterogen..:

, In: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling,
Lattmann, Zsolt ; Nagel, Adam ; Levendovszky, Tihamer... - p. 73-78 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

Concern Separation for Adaptive QoS Modeling in Distrbuted ..:

, In: Behavioral Modeling for Embedded Systems and Technologies,
Gray, Jeff ; Neema, Sandeep ; Zhang, Jing... - p. 85-113 , 2010
Link: https://doi.org/10.4018/..
 
?
13

System and software architectures of distributed smart came..:

Lin, Chang Hong ; Wolf, Marilyn ; Koutsoukos, Xenefon..
ACM Transactions on Embedded Computing Systems (TECS).  9 (2010)  4 - p. 1-30 , 2010
Link: https://dl.acm.org/doi/1..
 
?
14

System and software architectures of distributed smart came..:

Lin, Chang Hong ; Wolf, Marilyn ; Koutsoukos, Xenefon..
ACM Transactions on Embedded Computing Systems.  9 (2010)  4 - p. 1-30 , 2010
Link: https://doi.org/10.1145/..
 
?
15

Model replication: transformations to address model scalabi..:

Lin, Yuehua ; Gray, Jeff ; Zhang, Jing...
Software: Practice and Experience.  38 (2008)  14 - p. 1475-1497 , 2008
Link: https://doi.org/10.1002/..
 
1-15