Gregory Kulczycki

According to our database1, Gregory Kulczycki authored at least 21 papers between 2000 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Panel: Engage in Reasoning with Tools.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

A Comparison of Methods for Automatic Term Extraction for Domain Analysis.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

Static Detection of Implementation Errors Using Formal Code Specification.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Formal Methods for Data-centric Web Services: From Model to Implementation.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Formal Specification and Verification of Transactional Service Composition.
Proceedings of the World Congress on Services, 2011

Performance Analysis of Spillover-Partitioning Call Admission Control in Mobile Wireless Networks.
Wirel. Pers. Commun., 2010

Formal Specification and Verification of Data-Centric Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2010

Mining social tags to predict mashup patterns.
Proceedings of the 2nd international workshop on Search and mining user-generated contents, 2010

Demystifying Data-Centric Web Services.
IEEE Internet Comput., 2009

A Reusable Model for Data-Centric Web Services.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Formal Specification.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

The Social Service Network - Web 2.0 Can Make Semantic Web Services Happen.
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.
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.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

Abstracting Pointers for a Verifying Compiler.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

A specification-based approach to reasoning about pointers.
ACM SIGSOFT Softw. Eng. Notes, 2006

Case Study of a Method for Reengineering Procedural Systems into OO Systems.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Performance specification of software components.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001

Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000