Author of the publication

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems.

, , and . ICPS, page 529-534. IEEE, (2020)

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

Research challenges in wireless networks of biomedical sensors., , and . MobiCom, page 151-165. ACM, (2001)On finding optimal registrations in presence of overlapping registration areas., and . DIAL-M, page 77-86. ACM, (2001)CAAC - An Adaptive and Proactive Access Control Approach for Emergencies in Smart Infrastructures., , and . ACM Trans. Auton. Adapt. Syst., 8 (4): 20:1-20:18 (2014)UpdateSearch: A New Dynamic Channel Allocation Scheme for Mobile Networks That Can Adjust to System Loads., and . J. Supercomput., 17 (1): 47-65 (2000)BER performance analysis of an on-off keying based minimum energy coding for energy constrained wireless sensor applications., , and . ICC, page 2734-2738. IEEE, (2005)Towards a propagation model for wireless biomedical applications., , , , and . ICC, page 1993-1997. IEEE, (2003)On tree-based convergecasting in wireless sensor networks., , and . WCNC, page 1942-1947. IEEE, (2003)An adaptive protocol for efficient and secure multicasting in IEEE 802.11 based wireless LANs., and . WCNC, page 2021-2026. IEEE, (2003)S-REMiT: a distributed algorithm for source-based energy efficient multicasting in wireless ad hoc networks., and . GLOBECOM, page 3519-3524. IEEE, (2003)A low-latency and energy-efficient algorithm for convergecast in wireless sensor networks., , and . GLOBECOM, page 3525-3530. IEEE, (2003)