Author of the publication

DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis.

, , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (5): 1346-1359 (May 2024)

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

Spatial Classification With Limited Observations Based On Physics-Aware Structural Constraint., , , , and . CoRR, (2020)Deep Learning for Earth Image Segmentation based on Imperfect Polyline Labels with Annotation Errors., , , and . CoRR, (2020)PMS-GAN: Parallel Multi-Stream Generative Adversarial Network for Multi-Material Decomposition in Spectral Computed Tomography., , , , , , , , , and 1 other author(s). IEEE Trans. Medical Imaging, 40 (2): 571-584 (2021)UKF based two-timescale control for a helicopter., and . ICARCV, page 1-5. IEEE, (2016)Parallel Grid-Based Colocation Mining Algorithms on GPUs for Big Spatial Event Data., , , and . IEEE Trans. Big Data, 6 (1): 107-118 (2020)A Survey on Spatial Prediction Methods.. IEEE Trans. Knowl. Data Eng., 31 (9): 1645-1664 (2019)A Bayesian Receiver for Semiblind Equalization in Sparse Underwater Acoustic Channels Using Bernoulli Priors., , and . IEEE Access, (2020)High Speed DMT for 224 Gb/s and Faster Wireline Transmission., , , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 70 (4): 1758-1771 (April 2023)Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (2): 320-333 (2022)Weakly Supervised Spatial Deep Learning for Earth Image Segmentation Based on Imperfect Polyline Labels., , , , , , , and . ACM Trans. Intell. Syst. Technol., 13 (2): 25:1-25:20 (2022)