Gregory Kulczycki

According to our database, Gregory Kulczycki authored at least 22 papers between 2000 and 2016.

Collaborative distances:

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

2016

Panel: Engage in Reasoning with Tools.

Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015

A Comparison of Methods for Automatic Term Extraction for Domain Analysis.

William B. Frakes, Gregory Kulczycki, Jason Tilley

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

2013

Static Detection of Implementation Errors Using Formal Code Specification.

Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Formal Methods for Data-centric Web Services: From Model to Implementation.

Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

2012

The Location Linking Concept: A Basis for Verification of Code Using Pointers.

Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

Formal Specification and Verification of Transactional Service Composition.

Iman Saleh, Gregory Kulczycki, M. Brian Blake

Proceedings of the World Congress on Services, 2011

2010

Performance Analysis of Spillover-Partitioning Call Admission Control in Mobile Wireless Networks.

Okan Yilmaz, Ing-Ray Chen, Gregory Kulczycki, William B. Frakes

Wirel. Pers. Commun., 2010

Formal Specification and Verification of Data-Centric Service Composition.

Iman Saleh, Gregory Kulczycki, M. Brian Blake

Proceedings of the IEEE International Conference on Web Services, 2010

Mining social tags to predict mashup patterns.

Khaled Goarany, Gregory Kulczycki, M. Brian Blake

Proceedings of the 2nd International Workshop on Search and Mining User-Generated Contents, 2010

2009

Demystifying Data-Centric Web Services.

Iman Saleh, Gregory Kulczycki, M. Brian Blake

IEEE Internet Comput., 2009

A Reusable Model for Data-Centric Web Services.

Iman Saleh, Gregory Kulczycki, M. Brian Blake

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

Formal Specification.

Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

The Social Service Network - Web 2.0 Can Make Semantic Web Services Happen.

K. El-Goarany, Iman Saleh, Gregory Kulczycki

Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems.

William B. Frakes, Gregory Kulczycki, Natasha Moodliar

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks.

Okan Yilmaz, Ing-Ray Chen, Gregory Kulczycki, William B. Frakes

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Abstracting Pointers for a Verifying Compiler.

Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006

A specification-based approach to reasoning about pointers.

Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev

ACM SIGSOFT Softw. Eng. Notes, 2006

Simplifying reasoning about objects with Tako.

Gregory Kulczycki, Jyotindra Vasudeo

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Case Study of a Method for Reengineering Procedural Systems into OO Systems.

William B. Frakes, Gregory Kulczycki, Charu Saxena

Proceedings of the Reuse of Off-the-Shelf Components, 2006

2001

Performance specification of software components.

Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy

Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001

2000

Reasoning about Software-Component Behavior.

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth

Proceedings of the Software Reuse: Advances in Software Reusability, 2000