Harvey P. Siy

According to our database, Harvey P. Siy authored at least 65 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

SSDTutor: A feedback-driven intelligent tutoring system for secure software development.

Dip Kiran Pradhan Newar, Rui Zhao, Harvey P. Siy, Leen-Kiat Soh, Myoungkyu Song

Sci. Comput. Program., April, 2023

A Statistical Method for API Usage Learning and API Misuse Violation Finding.

Deepak Panda, Piyush Basia, Kushal Nallavolu, Xin Zhong, Harvey P. Siy, Myoungkyu Song

Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023

Exploring the Potential of Frama-C in IoT Static Analysis.

Minh Le Kim Tran, William King, Harvey P. Siy

Proceedings of the Twenty-fourth International Symposium on Theory, 2023

2022

An Intelligent Tutoring System for API Misuse Correction by Instant Quality Feedback.

Rui Zhao, Harvey P. Siy, Chulwoo Pack, Leen-Kiat Soh, Myoungkyu Song

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

A Feasibility Study of Using Code Clone Detection for Secure Programming Education.

Michael Menard, Tommy Nelson, Milan Shahi, Hugh Morton, Adam DeTavernier, Harvey P. Siy, Rui Zhao, Myoungkyu Song

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

FireBugs: Finding and Repairing Cryptography API Misuses in Mobile Applications.

Larry Singleton, Rui Zhao, Harvey P. Siy, Myoungkyu Song

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Correction to: Modular norm models: practical representation and analysis of contractual rights and obligations.

Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy

Requir. Eng., 2020

Modular norm models: practical representation and analysis of contractual rights and obligations.

Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy

Requir. Eng., 2020

Understanding User Engagement With Multi-Representational License Comprehension Interfaces.

Mahugnon Olivier Avande, Robin A. Gandhi, Harvey P. Siy

Int. J. Open Source Softw. Process., 2020

CryptoTutor: Teaching Secure Coding Practices through Misuse Pattern Detection.

Larry Singleton, Rui Zhao, Myoungkyu Song, Harvey P. Siy

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

Agro-AI Education: Artificial Intelligence for Future Farmers.

Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

An Interdisciplinary Approach for Teaching Artificial Intelligence to Computer Science Students.

Anoop Mishra, Harvey P. Siy

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

2019

FireBugs: finding and repairing bugs with security patterns.

Larry Singleton, Rui Zhao, Myoungkyu Song, Harvey P. Siy

Proceedings of the 6th International Conference on Mobile Software Engineering and Systems, 2019

2017

SPARCS: A personalized problem-based learning approach for developing successful computer science learning experiences in middle school.

Harvey P. Siy, Brian Dorn, Carol Engelmann, Neal Grandgenett, Tracie Evans Reding, Jong-Hoon Youn, Qiuming Zhu

Proceedings of the IEEE International Conference on Electro Information Technology, 2017

Modular Norm Models: A Lightweight Approach for Modeling and Reasoning about Legal Compliance.

Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

2016

Identification of the Emergent Leaders within a CSE Professional Development Program.

Tracie Evans Reding, Brian Dorn, Neal Grandgenett, Harvey P. Siy, Jon Youn, Quiming Zhu, Carol Engelmann

Proceedings of the 11th Workshop in Primary and Secondary Computing Education, 2016

2015

Semantics-based Automated Web Testing.

Hai-Feng Guo, Qing Ouyang, Harvey P. Siy

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Semantic web representations for reasoning about applicability and satisfiability of federal regulations for information security.

Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy

Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015

2014

Architectural reliability analysis of framework-intensive applications: A web service case study.

M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy

J. Syst. Softw., 2014

Gauging the Impact of FISMA on Software Security.

Robin A. Gandhi, Keesha Crosby, Harvey P. Siy, Sayonnha Mandal

Computer, 2014

Identifying Important Classes of Large Software Systems through k-Core Decomposition.

P. Meyer, Harvey P. Siy, Sanjukta Bhowmick

Adv. Complex Syst., 2014

Locating fault-inducing patterns from structural inputs.

Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy

Proceedings of the Symposium on Applied Computing, 2014

2013

Semi-Automatic Annotation of Natural Language Vulnerability Reports.

Yan Wu, Robin A. Gandhi, Harvey P. Siy

Int. J. Secur. Softw. Eng., 2013

Concept to commit: A pattern designed to trace code changes from user requests to change implementation by analyzing mailing lists and code repositories.

Scott McGrath, Kiran Bastola, Harvey P. Siy

Proceedings of the 1st International Workshop on Data Analysis Patterns in Software Engineering, 2013

Lightweight formal models of software weaknesses.

Robin A. Gandhi, Harvey P. Siy, Yan Wu

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

Test-driven learning in high school computer science.

Ryan Stejskal, Harvey P. Siy

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

The Chicken and the Pig: User Involvement in Developing Usability Heuristics.

Bettina Lechner, Ann L. Fruhling, Stacie Petter, Harvey P. Siy

Proceedings of the 19th Americas Conference on Information Systems, 2013

2012

Petri Net Modeling of Application Server Performance for Web Services.

M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011

Applying Environmental Factors to Trust Algorithms in Competitive Multi-Agent Systems.

Michael de Freitas, Harvey P. Siy, Mansour Zand

J. Softw., 2011

The Tyranny of the Vital Few: The Pareto Principle in Language Design.

Victor L. Winter, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy

J. Softw. Eng. Appl., 2011

Measuring disruption from software evolution activities using graph-based metrics.

Prashant Paymal, Rajvardhan Patil, Sanjukta Bhowmick, Harvey P. Siy

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Empirical results on the study of software vulnerabilities.

Yan Wu, Harvey P. Siy, Robin A. Gandhi

Proceedings of the 33rd International Conference on Software Engineering, 2011

Ontology-based product line modeling and generation.

Harvey P. Siy, Aaron Wolfson, Mansour Zand

Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011

Architecture-based reliability analysis of web services in multilayer environment.

M. Rahmani, Azad H. Azadmanesh, Harvey P. Siy

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Measuring the effects of aspect-oriented refactoring on component relationships: two case studies.

Reishi Yokomori, Harvey P. Siy, Norihiro Yoshida, Masami Noro, Katsuro Inoue

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Assessing the impact of refactoring activities on the JHotDraw project.

Ishwor Thapa, Harvey P. Siy

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Using semantic templates to study vulnerabilities recorded in large software repositories.

Yan Wu, Robin A. Gandhi, Harvey P. Siy

Proceedings of the ICSE Workshop on Software Engineering for Secure Systems, 2010

Architecture-Based Reliability Modeling of Web Services Using Petri Nets.

Cobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Making aspect-orientation accessible through syntax-based language composition.

Günter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand

IET Softw., 2009

A Survey on Model Driven Software Development.

Cobra Rahmani, Mansour Zand, Harvey P. Siy, Satish Mahadevan Srinivasan

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Assessing the impact of framework changes using component ranking.

Reishi Yokomori, Harvey P. Siy, Masami Noro, Katsuro Inoue

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

2008

A segmentation-based approach for temporal analysis of software version repositories.

Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam

J. Softw. Maintenance Res. Pract., 2008

Discovering Meaningful Clusters from Mining the Software Engineering Literature.

Yan Wu, Harvey P. Siy, Li Fan

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Summarizing developer work history using time series segmentation: challenge report.

Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam

Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

2007

Aggregating changes to efficiently check consistency.

Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy

Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation.

Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Aspectual Support for Specifying Requirements in Software Product Lines.

Harvey P. Siy, Prasanna Aryal, Victor L. Winter, Mansour Zand

Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007

Construction of Ontology-Based Software Repositories by Text Mining.

Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Consistently Incorporating Changes to Evolve Transition-based Systems.

Mahadevan Subramaniam, Harvey P. Siy

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems.

William L. Sousan, Victor L. Winter, Mansour Zand, Harvey P. Siy

Proceedings of the 2nd Workshop on Domain Specific Aspect Languages, 2007

2006

Quantifying the Value of New Technologies for Software Development.

David L. Atkins, Audris Mockus, Harvey P. Siy

Proceedings of the Value-Based Software Engineering, 2006

2004

The Long Term Impact of Domain Engineering on Software Quality and Change Effort.

Harvey P. Siy

Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004

2001

Parallel changes in large-scale software development: an observational case study.

Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta

ACM Trans. Softw. Eng. Methodol., 2001

Making the Software Factory Work: Lessons from a Decade of Experience.

Harvey P. Siy, James D. Herbsleb, Audris Mockus, George T. Tucker, Mayuram S. Krishnan

Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Does the Modern Code Inspection Have Value?

Harvey P. Siy, Lawrence G. Votta

Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000

Predicting Fault Incidence Using Software Change History.

Todd L. Graves, Alan F. Karr, J. S. Marron, Harvey P. Siy

IEEE Trans. Software Eng., 2000

Software product lines: a case study.

Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss

Softw. Pract. Exp., 2000

Measuring technology effects on software change cost.

David L. Atkins, Audris Mockus, Harvey P. Siy

Bell Labs Tech. J., 2000

1999

Measuring Domain Engineering Effects on Software Change Cost.

Harvey P. Siy, Audris Mockus

Proceedings of the 6th IEEE International Software Metrics Symposium (METRICS 1999), 1999

1998

Understanding the Sources of Variation in Software Inspections.

Adam A. Porter, Harvey P. Siy, Audris Mockus, Lawrence G. Votta

ACM Trans. Softw. Eng. Methodol., 1998

1997

An Experiment ot Assess the Cost-Benefits of Code Inspections in Large Scale Software Development.

Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta

IEEE Trans. Software Eng., 1997

Understanding the Effects of Developer Activities on Inspection Interval.

Adam A. Porter, Harvey P. Siy, Lawrence G. Votta

Proceedings of the Pulling Together, 1997

1996

A Review of Software Inspections.

Adam A. Porter, Harvey P. Siy, Lawrence G. Votta

Adv. Comput., 1996

An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study.

Patricia McCarthy, Adam A. Porter, Harvey P. Siy, Lawrence G. Votta

Proceedings of the 3rd IEEE International Software Metrics Symposium (METRICS 1996), 1996

1995

An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development.

Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995