According to our database1, Gregory Kulczycki authored at least 21 papers between 2000 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Panel: Engage in Reasoning with Tools.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02, 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
A Language for Building Verified Software Components.
Proceedings of the Safe and Secure Software Reuse, 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.
Wireless Personal Communications, 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 Computing, 2009
A Reusable Model for Data-Centric Web Services.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
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 Software Engineering 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.
Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000