| 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 | 155 | 2014 |
| Progressive reasoning over recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 67 | 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 | 49 | 2015 |
| Model counting for recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 27 | 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 |
| Towards a trustworthy semantics-based language framework via proof generation X Chen, Z Lin, MT Trinh, G Roşu International Conference on Computer Aided Verification, 477-499, 2021 | 17 | 2021 |
| 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 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, ... International Conference on Human-Computer Interaction, 427-454, 2022 | 8 | 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 |
| 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 | 1 | 2023 |
| Verification of Behavior Trees using Linear Constrained Horn Clauses T Henn, M Völker, S Kowalewski, M Trinh, O Petrovic, C Brecher International Conference on Formal Methods for Industrial Critical Systems …, 2022 | 1 | 2022 |
| 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 |
| 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 |
| 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 |
| Friction Modeling for Structured Learning of Robot Dynamics M Trinh, R Schwiedernoch, L Gründel, S Storms, C Brecher Congress of the German Academic Association for Production Technology, 396-406, 2022 | | 2022 |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
