Author of the publication

Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework.

, , , and . AAAI Fall Symposia, AAAI Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploitation and Mitigation of Authentication Schemes Based on Device-Public Information., , , , and . ACSAC, page 16-27. ACM, (2017)Command and Control Collaboration Sand Table (C2-CST)., , , , , , and . HCI (10), volume 10910 of Lecture Notes in Computer Science, page 249-259. Springer, (2018)Tracking Provenance in Decision Making Between the Human and Autonomy., , , and . HCI (6), volume 10906 of Lecture Notes in Computer Science, page 171-180. Springer, (2018)Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework., , , and . AAAI Fall Symposia, AAAI Press, (2016)Generation of novel Chagas vaccines: evolving studies/work in progress., , , , and . BCB, page 579-583. ACM, (2011)Lightning Talk - Think Outside the Dataset: Finding Fraudulent Reviews using Cross-Dataset Analysis., , , , and . WWW (Companion Volume), page 1288-1289. ACM, (2019)Intrusion Detection with Unsupervised Heterogeneous Ensembles Using Cluster-Based Normalization., , , , and . ICWS, page 862-865. IEEE, (2017)Think Outside the Dataset: Finding Fraudulent Reviews using Cross-Dataset Analysis., , , , and . WWW, page 3108-3115. ACM, (2019)Andlantis: Large-scale Android Dynamic Analysis., , , , and . CoRR, (2014)Toward the Analysis of Embedded Firmware through Automated Re-hosting., , , , , , , , , and 1 other author(s). RAID, page 135-150. USENIX Association, (2019)