关注
Minh-Thai Trinh
Minh-Thai Trinh
Research Scientist, ADSC, Illinois at Singapore
在 illinois.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1652014
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
702016
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
542015
Model counting for recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
302017
Bi-Abduction with Pure Properties for Specification Inference
MT Trinh, QL Le, C David, WN Chin
Programming Languages and Systems, 107-123, 2013
252013
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
202021
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
172011
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
122020
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
112022
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
62023
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
52020
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
32023
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
3*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
32022
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
32022
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
22023
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
22022
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
22022
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
12023
Safety of Human-Robot Collaboration within the Internet of Production
M Trinh, H Dammers, M Behery, R Baier, T Henn, D Gossen, B Corves, ...
International Conference on Human-Computer Interaction, 86-103, 2023
12023
系统目前无法执行此操作,请稍后再试。
文章 1–20