Author of the publication

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

, , , and . QRS, page 410-421. IEEE, (2022)

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

LiDAR-SGMOS: Semantics-Guided Moving Object Segmentation with 3D LiDAR., , , , and . IROS, page 70-75. (2023)Ada-Detector: Adaptive Frontier Detector for Rapid Exploration., , , and . ICRA, page 3706-3712. IEEE, (2022)Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems., , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 242-257. Springer, (2013)A two-step approach to Lidar-Camera calibration., , , and . ICPR, page 6834-6841. IEEE, (2020)Revisiting Node Injection of P2P Botnet., , , , , , and . NSS, volume 8792 of Lecture Notes in Computer Science, page 124-137. Springer, (2014)Discriminant Low-dimensional Subspace Analysis for Face Recognition with Small Number of Training Samples., , , , and . BMVC, British Machine Vision Association, (2005)Optimal simultaneous pin assignment and escape routing for dense PCBs., , and . ASP-DAC, page 275-280. IEEE, (2010)Fast road detection and tracking in aerial videos., , , , and . Intelligent Vehicles Symposium, page 712-718. IEEE, (2014)Fusion of LiDAR and Camera by Scanning in LiDAR Imagery and Image-Guided Diffusion for Urban Road Detection., , , , and . Intelligent Vehicles Symposium, page 579-584. IEEE, (2018)Coplanar Light Sweep-Surface Supported Uncalibrated Photometric Stereo., , , and . ICPR (4), page 92-95. IEEE Computer Society, (2004)