( en | de | ru )

 

Disambiguation of "Neema, Sandeep"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

, , , , , , and . MILCOM, page 944-949. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Neema Mogha

Neema Nassir

Gerhard Neemann

Sandeep Sadanandan

Volker Neemann

 

Other publications of authors with the same name

Improving the Usability of a Graph Transformation Language, , , , and . Electronic Notes in Theoretical Computer Science, (March 2006)Reconfigurable target recognition system (poster abstract)., , , and . FPGA, page 221. ACM, (2000)Modeling methodology for integrated simulation of embedded systems., , , and . ACM Trans. Model. Comput. Simul., 13 (1): 82-103 (2003)A Study of Collaborative Efforts and Proposed Visualizations in Domain-Specific Modeling Environment., , and . CyberC, page 146-152. IEEE, (2016)Toward a semantic anchoring infrastructure for domain-specific modeling languages., , and . EMSOFT, page 35-43. ACM, (2005)Component-based modeling of dynamic systems using heterogeneous composition., , , , , and . MPM@MoDELS, page 73-78. ACM, (2012)A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems., , , , , and . ECBS, page 30-39. IEEE Computer Society, (2013)A control-based framework for self-managing distributed computing systems., , and . WOSS, page 3-7. ACM, (2004)Efficient Integration of Web Services in Ambient-aware Sensor Network Applications., , , , and . BROADNETS, IEEE, (2006)Model-Driven Program Transformation of a Large Avionics Framework., , , , , , , , , and . GPCE, volume 3286 of Lecture Notes in Computer Science, page 361-378. Springer, (2004)