Author of the publication

Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress.

, , , and . EMSOFT Companion, page 1:1-1:2. ACM, (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

Automated synthesis of compact crossbars for sneak-path based in-memory computing., and . DATE, page 770-775. IEEE, (2017)Temporal Logic Model Checking, , , and . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (11): 3854-3867 (November 2023)Automated parameter estimation for biological models using Bayesian statistical model checking., , , , , and . BMC Bioinform., 16 (S17): S8 (December 2015)Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions., , , and . CoRR, (2023)Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection., , , and . IEEE J. Emerg. Sel. Topics Circuits Syst., 9 (3): 580-591 (2019)A survey on the vulnerability of deep neural networks against adversarial attacks., , and . Prog. Artif. Intell., 11 (2): 131-141 (2022)Human tracking from a mobile agent: Optical flow and Kalman filter arbitration., , and . Signal Process. Image Commun., 27 (1): 83-95 (2012)Memory-Efficient Filter-Based Approximate Optimal Regulation of Unknown LTI Systems Using Initial Excitation., , and . CDC, page 1638-1643. IEEE, (2018)DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision., , , and . ICCAD, page 151:1-151:9. IEEE, (2020)