Minh-Thai Trinh
Minh-Thai Trinh
Research Scientist, ADSC, Illinois at Singapore
Verified email at - Homepage
Cited by
Cited by
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
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 28th International Conference, CAV 2016 …, 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
Model counting for recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Bi-Abduction with Pure Properties for Specification Inference
MT Trinh, QL Le, C David, WN Chin
Programming Languages and Systems, 107-123, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20