Harvey P. Siy

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 16

Top Topics

Clone Detection

User Involvement

Tutoring System

Top Venues

Publications

Minh Le Kim Tran, William King, Harvey P. Siy
Exploring the Potential of Frama-C in IoT Static Analysis. MobiHoc (2023)
Dip Kiran Pradhan Newar, Rui Zhao, Harvey P. Siy, Leen-Kiat Soh, Myoungkyu Song
SSDTutor: A feedback-driven intelligent tutoring system for secure software development. Sci. Comput. Program. 227 (2023)
Deepak Panda, Piyush Basia, Kushal Nallavolu, Xin Zhong, Harvey P. Siy, Myoungkyu Song
A Statistical Method for API Usage Learning and API Misuse Violation Finding. SERA (2023)
Rui Zhao, Harvey P. Siy, Chulwoo Pack, Leen-Kiat Soh, Myoungkyu Song
An Intelligent Tutoring System for API Misuse Correction by Instant Quality Feedback. COMPSAC (2022)
Michael Menard, Tommy Nelson, Milan Shahi, Hugh Morton, Adam DeTavernier, Harvey P. Siy, Rui Zhao, Myoungkyu Song
A Feasibility Study of Using Code Clone Detection for Secure Programming Education. COMPSAC (2022)
Larry Singleton, Rui Zhao, Harvey P. Siy, Myoungkyu Song
FireBugs: Finding and Repairing Cryptography API Misuses in Mobile Applications. COMPSAC (2021)
Mahugnon Olivier Avande, Robin A. Gandhi, Harvey P. Siy
Understanding User Engagement With Multi-Representational License Comprehension Interfaces. Int. J. Open Source Softw. Process. 11 (4) (2020)
Anoop Mishra, Harvey P. Siy
An Interdisciplinary Approach for Teaching Artificial Intelligence to Computer Science Students. SIGITE (2020)
Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy
Correction to: Modular norm models: practical representation and analysis of contractual rights and obligations. Requir. Eng. 25 (3) (2020)
Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy
Modular norm models: practical representation and analysis of contractual rights and obligations. Requir. Eng. 25 (3) (2020)
Larry Singleton, Rui Zhao, Myoungkyu Song, Harvey P. Siy
CryptoTutor: Teaching Secure Coding Practices through Misuse Pattern Detection. SIGITE (2020)
Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam
Agro-AI Education: Artificial Intelligence for Future Farmers. SIGITE (2020)
Larry Singleton, Rui Zhao, Myoungkyu Song, Harvey P. Siy
FireBugs: finding and repairing bugs with security patterns. MOBILESoft@ICSE (2019)
Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy
Modular Norm Models: A Lightweight Approach for Modeling and Reasoning about Legal Compliance. DASC/PiCom/DataCom/CyberSciTech (2017)
Harvey P. Siy, Brian Dorn, Carol Engelmann, Neal Grandgenett, Tracie Evans Reding, Jong-hoon Youn, Qiuming Zhu
SPARCS: A personalized problem-based learning approach for developing successful computer science learning experiences in middle school. EIT (2017)
Tracie Evans Reding, Brian Dorn, Neal Grandgenett, Harvey P. Siy, Jon Youn, Quiming Zhu, Carol Engelmann
Identification of the Emergent Leaders within a CSE Professional Development Program. WiPSCE (2016)
Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy
Semantic web representations for reasoning about applicability and satisfiability of federal regulations for information security. RELAW (2015)
Hai-Feng Guo, Qing Ouyang, Harvey P. Siy
Semantics-based Automated Web Testing. WWV (2015)
Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy
Locating fault-inducing patterns from structural inputs. SAC (2014)
Robin A. Gandhi, Keesha Crosby, Harvey P. Siy, Sayonnha Mandal
Gauging the Impact of FISMA on Software Security. Computer 47 (9) (2014)
P. Meyer, Harvey P. Siy, Sanjukta Bhowmick
Identifying Important Classes of Large Software Systems through k-Core Decomposition. Adv. Complex Syst. 17 (7-8) (2014)
M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy
Architectural reliability analysis of framework-intensive applications: A web service case study. J. Syst. Softw. 94 (2014)
Robin A. Gandhi, Harvey P. Siy, Yan Wu
Lightweight formal models of software weaknesses. FormaliSE@ICSE (2013)
Scott McGrath, Kiran Bastola, Harvey P. Siy
Concept to commit: A pattern designed to trace code changes from user requests to change implementation by analyzing mailing lists and code repositories. DAPSE@ICSE (2013)
Bettina Lechner, Ann L. Fruhling, Stacie Petter, Harvey P. Siy
The Chicken and the Pig: User Involvement in Developing Usability Heuristics. AMCIS (2013)
Yan Wu, Robin A. Gandhi, Harvey P. Siy
Semi-Automatic Annotation of Natural Language Vulnerability Reports. Int. J. Secur. Softw. Eng. 4 (3) (2013)
Ryan Stejskal, Harvey P. Siy
Test-driven learning in high school computer science. CSEE&T (2013)
M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy
Petri Net Modeling of Application Server Performance for Web Services. SEKE (2012)
Victor L. Winter, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy
The Tyranny of the Vital Few: The Pareto Principle in Language Design. J. Softw. Eng. Appl. 4 (3) (2011)
Yan Wu, Harvey P. Siy, Robin A. Gandhi
Empirical results on the study of software vulnerabilities. ICSE (2011)
Harvey P. Siy, Aaron Wolfson, Mansour Zand
Ontology-based product line modeling and generation. PLEASE@ICSE (2011)
Reishi Yokomori, Harvey P. Siy, Norihiro Yoshida, Masami Noro, Katsuro Inoue
Measuring the effects of aspect-oriented refactoring on component relationships: two case studies. AOSD (2011)
Michael de Freitas, Harvey P. Siy, Mansour Zand
Applying Environmental Factors to Trust Algorithms in Competitive Multi-Agent Systems. J. Softw. 6 (11) (2011)
M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy
Architecture-based reliability analysis of web services in multilayer environment. PESOS@ICSE (2011)
Prashant Paymal, Rajvardhan Patil, Sanjukta Bhowmick, Harvey P. Siy
Measuring disruption from software evolution activities using graph-based metrics. ICSM (2011)
Cobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy
Architecture-Based Reliability Modeling of Web Services Using Petri Nets. HASE (2010)
Yan Wu, Robin A. Gandhi, Harvey P. Siy
Using semantic templates to study vulnerabilities recorded in large software repositories. SESS@ICSE (2010)
Ishwor Thapa, Harvey P. Siy
Assessing the impact of refactoring activities on the JHotDraw project. SAC (2010)
Reishi Yokomori, Harvey P. Siy, Masami Noro, Katsuro Inoue
Assessing the impact of framework changes using component ranking. ICSM (2009)
Günter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand
Making aspect-orientation accessible through syntax-based language composition. IET Softw. 3 (3) (2009)
Cobra Rahmani, Mansour Zand, Harvey P. Siy, Satish Mahadevan Srinivasan
A Survey on Model Driven Software Development. SEDE (2009)
Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
A segmentation-based approach for temporal analysis of software version repositories. J. Softw. Maintenance Res. Pract. 20 (3) (2008)
Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam
Summarizing developer work history using time series segmentation: challenge report. MSR (2008)
Yan Wu, Harvey P. Siy, Li Fan
Discovering Meaningful Clusters from Mining the Software Engineering Literature. SEKE (2008)
Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter
Construction of Ontology-Based Software Repositories by Text Mining. International Conference on Computational Science (3) (2007)
Mahadevan Subramaniam, Harvey P. Siy
Consistently Incorporating Changes to Evolve Transition-based Systems. CSMR (2007)
Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM (2007)
Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy
Aggregating changes to efficiently check consistency. IWPSE (2007)
William L. Sousan, Victor L. Winter, Mansour Zand, Harvey P. Siy
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems. DSAL@AOSD (2007)
Harvey P. Siy, Prasanna Aryal, Victor L. Winter, Mansour Zand
Aspectual Support for Specifying Requirements in Software Product Lines. EA@ICSE (2007)
Harvey P. Siy
The Long Term Impact of Domain Engineering on Software Quality and Change Effort. IEEE METRICS (2004)
Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta
Parallel changes in large-scale software development: an observational case study. ACM Trans. Softw. Eng. Methodol. 10 (3) (2001)
Harvey P. Siy, Lawrence G. Votta
Does the Modern Code Inspection Have Value? ICSM (2001)
Harvey P. Siy, James D. Herbsleb, Audris Mockus, George T. Tucker, Mayuram S. Krishnan
Making the Software Factory Work: Lessons from a Decade of Experience. IEEE METRICS (2001)
Todd L. Graves, Alan F. Karr, J. S. Marron, Harvey P. Siy
Predicting Fault Incidence Using Software Change History. IEEE Trans. Software Eng. 26 (7) (2000)
Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss
Software product lines: a case study. Softw. Pract. Exp. 30 (7) (2000)
David L. Atkins, Audris Mockus, Harvey P. Siy
Measuring technology effects on software change cost. Bell Labs Tech. J. 5 (2) (2000)
Harvey P. Siy, Audris Mockus
Measuring Domain Engineering Effects on Software Change Cost. IEEE METRICS (1999)
Adam A. Porter, Harvey P. Siy, Audris Mockus, Lawrence G. Votta
Understanding the Sources of Variation in Software Inspections. ACM Trans. Softw. Eng. Methodol. 7 (1) (1998)
Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta
Parallel Changes in Large Scale Software Development: An Observational Case Study. ICSE (1998)
Adam A. Porter, Harvey P. Siy, Lawrence G. Votta
Understanding the Effects of Developer Activities on Inspection Interval. ICSE (1997)
Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta
An Experiment ot Assess the Cost-Benefits of Code Inspections in Large Scale Software Development. IEEE Trans. Software Eng. 23 (6) (1997)
Patricia McCarthy, Adam A. Porter, Harvey P. Siy, Lawrence G. Votta
An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study. IEEE METRICS (1996)
Adam A. Porter, Harvey P. Siy, Lawrence G. Votta
A Review of Software Inspections. Adv. Comput. 42 (1996)
Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta
An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development. SIGSOFT FSE (1995)