Author of the publication

FaultEx: Explaining operational changes in terms of design variables in CPS control code.

, , and . ICPS, page 485-490. IEEE, (2021)

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

SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation., , and . SAC (2), page 813-817. ACM, (2000)1-58113-240-9.DAHM: A green and dynamic web application hosting manager across geographically distributed data centers., , , and . JETC, 8 (4): 34:1-34:22 (2012)A tool for designing high-confidence implantable biosensor networks for medical monitoring.. SIGBED Review, 6 (2): 2 (2009)On Maximizing Network Lifetime of Broadcast in WANETs Under an Overhearing Cost Model., and . ICDCN, volume 4308 of Lecture Notes in Computer Science, page 215-226. Springer, (2006)Energy-efficient protocols for wireless communication in biosensor networks., , , and . PIMRC, page D114-D118. IEEE, (2002)Reliable multicast MAC protocol for wireless LANs., , and . ICC, page 93-97. IEEE, (2003)An Interprocedural Framework for Determining Efficient Array Data Redistributeions., and . J. Inf. Sci. Eng., 14 (1): 27-51 (1998)Extending the Lifetime of Multicast Trees in WANETs., and . J. Inf. Sci. Eng., 20 (3): 425-447 (2004)Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems., , and . IEEE Trans. Ind. Informatics, 17 (5): 3367-3378 (2021)BlueTool., , , , and . Handbook of Energy-Aware and Green Computing, Chapman and Hall/CRC, (2012)