Computer Science

Teaching Software Engineering Skills in CS1. 5: Incorporating Real-world Practices and Tools

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 696–697.

A Cross-Tool Study on Program Analysis Tool Notification Communication

A cross-tool communication study on program analysis tool notifications

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 73–84.

A (Updated) Review of Empiricism at the SIGCSE Technical Symposium

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 120–125.

Iterative User-Driven Fault Localization

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, 82–98.

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Mixed-criticality scheduling to minimize makespan

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Presented at the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) Leibniz International Proceedings in Informatics, Chennai, India.

Real-Time Scheduling of Mixed-Critical Workloads upon Platforms with Uncertainties

(Ph.D. Thesis). University of North Carolina-Chapel Hill.

Mixed-Criticality Scheduling on Varying-Speed Platforms with Bounded Performance Drop Rate

Presented at the 2016 IEEE International Conference on Smart Computing (SMARTCOMP).

Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors

Presented at the 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

Fault-aware sensitivity analysis for probabilistic real-time systems

Presented at the 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

CGC

ACM Transactions on Knowledge Discovery from Data, 10(4), 1–27.

A Neurodynamic Approach for Real-Time Scheduling via Maximizing Piecewise Linear Utility

IEEE Transactions on Neural Networks and Learning Systems, 27(2), 238–248.

Foraging Among an Overabundance of Similar Variants

Presented at the CHI'16: CHI Conference on Human Factors in Computing Systems.

Hiring in the Global Stage: Profiles of Online Contributions

Presented at the 2016 IEEE 11th International Conference on Global Software Engineering (ICGSE).

Reuse of variants in online repositories: Foraging for the fittest

Presented at the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

An energy-efficient strategy for secondary users in cooperative cognitive radio networks for green communications

IEEE Journal on Selected Areas in Communications, 34(12), 3195–3207.

Policy-based privacy-preserving scheme for primary users in database-driven cognitive radio networks

2016 IEEE Global Communications Conference (GLOBECOM), 1–6.

Communicating intentions for coordination with unknown teammates

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1423–1424. http://www.scopus.com/inward/record.url?eid=2-s2.0-85014233006&partnerID=MN8TOARS

Adapting plans through communication with unknown teammates

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1526–1527. http://www.scopus.com/inward/record.url?eid=2-s2.0-85014133684&partnerID=MN8TOARS