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

Optimal RSS threshold selection in connectivity-based localization schemes., , and . MSWiM, page 220-228. ACM, (2008)Implementing Fast Fourier Transforms on Distributed-Memory Multiprocessors Using Data Redistributions., , , and . Parallel Process. Lett., (1994)Introduction to special issue on Selected Papers from 2013 International Green Computing Conference., and . Sustain. Comput. Informatics Syst., (2015)Research directions in energy-sustainable cyber-physical systems., , , and . Sustain. Comput. Informatics Syst., 1 (1): 57-74 (2011)CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes., , , and . ICPS, page 1-6. IEEE, (2022)Model based code generation for medical cyber physical systems., and . MMA@SenSys, page 22-27. ACM, (2014)Formal Adversarial Analysis of Machine Learning based Cyber Physical Authentication Systems., , and . MILCOM, page 1005-1010. IEEE, (2022)Trends and effects of energy proportionality on server provisioning in data centers., , and . HiPC, page 1-11. IEEE Computer Society, (2010)Energy aware colocation of workload in data centers., , , and . HiPC, page 1-6. IEEE Computer Society, (2012)BioSec: A Biometric Based Approach for Securing Communication in Wireless Networks of Biosensors Implanted in the Human Body., , and . ICPP Workshops, page 432-. IEEE Computer Society, (2003)