| 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 | 169 | 2014 |
| Progressive reasoning over recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 69 | 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 | 56 | 2015 |
| Model counting for recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 31 | 2017 |
| Bi-Abduction with Pure Properties for Specification Inference MT Trinh, QL Le, C David, WN Chin Programming Languages and Systems, 107-123, 2013 | 26 | 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 | 22 | 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 | 19 | 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 | 15 | 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 | 13 | 2022 |
| Actionable artificial intelligence for the future of production M Behery, P Brauner, HA Zhou, MS Uysal, V Samsonov, M Bellgardt, ... Internet of Production: Fundamentals, Methods and Applications, 91-136, 2023 | 10 | 2023 |
| 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 | 9* | 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 | 6 | 2022 |
| Self-optimizing agents using mixed initiative behavior trees M Behery, M Trinh, C Brecher, G Lakemeyer 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023 | 5 | 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 | 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 | 5 | 2020 |
| 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 | 4 | 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 | 3 | 2022 |
| Modeling of load-dependent friction in robot joints using long short-term memory networks M Trinh, Y Pellenz, L Gruendel, O Petrovic, C Becher ISR Europe 2023; 56th International Symposium on Robotics, 46-53, 2023 | 2 | 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 Intell. Hum. Syst. Integr.(IHSI), 2023 | 2 | 2023 |
| Modeling of temperature-dependent joint friction in industrial robots using neural networks M Trinh, R Yadav, R Schwiedernoch, L Gründel, O Petrovic, C Brecher 2023 Seventh IEEE International Conference on Robotic Computing (IRC), 206-213, 2023 | 1 | 2023 |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
