| S3: A symbolic string solver for vulnerability detection in web applications MT Trinh, DH Chu, J Jaffar Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 158 | 2014 |
| Progressive reasoning over recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 65 | 2016 |
| Automatic induction proofs of data-structures in imperative programs DH Chu, J Jaffar, MT Trinh Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 48 | 2015 |
| Model counting for recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 26 | 2017 |
| Bi-Abduction with Pure Properties for Specification Inference MT Trinh, QL Le, C David, WN Chin Programming Languages and Systems, 107-123, 2013 | 24 | 2013 |
| FixBag: A Fixpoint Calculator for Quantified Bag Constraints TH Pham, MT Trinh, AH Truong, WN Chin Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 17 | 2011 |
| Towards a trustworthy semantics-based language framework via proof generation X Chen, Z Lin, MT Trinh, G Roşu Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 16 | 2021 |
| Towards a unified proof framework for automated fixpoint reasoning using matching logic X Chen, MT Trinh, N Rodrigues, L Peña, G Roşu Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 11 | 2020 |
| A Framework for the Classification of Human-Robot Interactions Within the Internet of Production R Baier, H Dammers, A Mertens, M Behery, D Gossen, S Nouduri, ... Human-Computer Interaction. Technological Innovation: Thematic Area, HCI …, 2022 | 5 | 2022 |
| Inter-theory dependency analysis for SMT string solvers MT Trinh, DH Chu, J Jaffar Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 4 | 2020 |
| Frequency-based Identification Routine for the Inertial Parameters of an Industrial Robot L Gründel, A Alipaz-Dicke, M Trinh, S Storms, C Brecher, D Bitterolf 2022 26th International Conference on Methods and Models in Automation and …, 2022 | 1 | 2022 |
| Trustworthy program verification via proof generation Z Lin, X Chen, MT Trinh, J Wang, G Rosu | 1 | 2021 |
| Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Z Lin, X Chen, MT Trinh, J Wang, G Roşu Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 56-84, 2023 | | 2023 |
| Assistive Robot Teleoperation Using Behavior Trees M Behery, M Trinh, C Brecher, G Lakemeyer arXiv preprint arXiv:2303.05177, 2023 | | 2023 |
| Friction Modeling for Structured Learning of Robot Dynamics M Trinh, R Schwiedernoch, L Gründel, S Storms, C Brecher Production at the Leading Edge of Technology: Proceedings of the 12th …, 2023 | | 2023 |
| Safe and Flexible Collaborative Assembly Processes Using Behavior Trees and Computer Vision M Trinh, D Kötter, A Chu, M Behery, G Lakemeyer, O Petrovic, C Brecher Intelligent Human Systems Integration (IHSI 2023): Integrating People and …, 2023 | | 2023 |
| Safe and Flexible Planning of Collaborative Assembly Processes Using Behavior Trees and Computer Vision M Trinh, D Kötter, A Chu, M Behery, G Lakemeyer, O Petrovic, C Brecher | | 2023 |
| Dynamics Modeling of Industrial Robots Using Transformer Networks M Trinh, M Behery, M Emara, G Lakemeyer, S Storms, C Brecher 2022 Sixth IEEE International Conference on Robotic Computing (IRC), 164-171, 2022 | | 2022 |
| Neural Network Control of Industrial Robots Using ROS M Trinh, C Brecher 2022 Sixth IEEE International Conference on Robotic Computing (IRC), 431-434, 2022 | | 2022 |
| Development of a Framework for Continual Learning in Industrial Robotics M Trinh, J Moon, L Gründel, V Hankemeier, S Storms, C Brecher 2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022 | | 2022 |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
