Personensuche
X
?
2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) ,
1
Designing an Experimental and a Reference Robot to Test and..:
, In:
?
2022 17th Iberian Conference on Information Systems and Technologies (CISTI) ,
2
Comparative analysis of tools and solutions for online stud:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
4
Probabilistic Approach for Minimizing Checking Sequences fo..:
, In:
?
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems ,
6
Just Do Something: Comparing Self-proposed and Machine-reco..:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
8
Testing Against Non-deterministic FSMs: A Probabilistic App..:
, In:
?
Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining ,
9
Adversarial Attacks on Deep Models for Financial Transactio..:
, In:
?
Identification and Quantification of Drugs, Metabolites, Drug Metabolizing Enzymes, and Transporters ,
12
Contributors:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
14
A Model Checking Based Approach for Detecting SDN Races:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
15