Author of the publication

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

, , , , , , and . RE, page 308-318. IEEE, (2019)

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

DTTR: Detecting Text with Transformers., , , , , and . ICASSP, page 1-5. IEEE, (2023)Auto-Generation of Pipelined Hardware Designs for Polar Encoder., , and . CoRR, (2018)A Flexible and High Parallel Permutation Network for 5G LDPC Decoders., , , , and . IEEE Trans. Circuits Syst., 67-II (12): 3018-3022 (2020)Thermal Image Super-Resolution Challenge Results - PBVS 2022., , , , , , , , , and 18 other author(s). CVPR Workshops, page 417-425. IEEE, (2022)Implementation of Mealy Machine with Molecular Reactions., , , , and . ICC, page 1-6. IEEE, (2018)Hyperspectral Image Super-Resolution Using Multi-scale Feature Pyramid Network., , , , and . IFTC, volume 1181 of Communications in Computer and Information Science, page 49-61. Springer, (2019)Guided Depth Map Super-Resolution: A Survey., , , , and . ACM Comput. Surv., 55 (14s): 301:1-301:36 (2023)Super-Resolving Face Image by Facial Parsing Information., , , , and . IEEE Trans. Biom. Behav. Identity Sci., 5 (4): 435-448 (October 2023)AdaCN: An Adaptive Cubic Newton Method for Nonconvex Stochastic Optimization., , , and . Comput. Intell. Neurosci., (2021)High-resolution Depth Maps Imaging via Attention-based Hierarchical Multi-modal Fusion., , , , , and . CoRR, (2021)