Author of the publication

Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India.

, , , and . ACM SIGSOFT Softw. Eng. Notes, 42 (4): 25-27 (2017)

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.

 

Other publications of authors with the same name

Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach., , and . SOCA, page 33-40. IEEE, (2019)CAPER: A Connectivity-Aware Path Planner with Regulatory Compliance for UAVs., , , and . DCOSS, page 596-603. IEEE, (2019)Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification., , , and . CoRR, (2024)Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India., , , and . ACM SIGSOFT Softw. Eng. Notes, 42 (4): 25-27 (2017)Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems., , and . HiPC Workshops, page 86-94. IEEE, (2018)AUSOM: Autonomic Service-Oriented Middleware for IoT-Based Systems., , and . SERVICES, page 102-105. IEEE Computer Society, (2017)CONRAD: Cognitive Intent Driven 5G Network Slice Planning and Design., , , , and . AIMLSystems, page 23:1-23:8. ACM, (2023)FlatPack: flexible temporal planning with verification and controller synthesis., and . SAC, page 801-810. ACM, (2021)Adaptive Service-Oriented Architectures for Cyber Physical Systems., , , and . SOSE, page 57-62. IEEE Computer Society, (2017)SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study., , , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 25-43. Springer, (2023)