Gregory Kulczycki

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 2

Top Topics

Component Based Development

Software Components

Top Venues

Publications

Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide
Panel: Engage in Reasoning with Tools. SIGCSE (2016)
William B. Frakes, Gregory Kulczycki, Jason Tilley
A Comparison of Methods for Automatic Term Extraction for Domain Analysis. ICSR (2015)
Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei
Static Detection of Implementation Errors Using Formal Code Specification. SEFM (2013)
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
A Language for Building Verified Software Components. ICSR (2013)
Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei
Formal Methods for Data-centric Web Services: From Model to Implementation. ICWS (2013)
Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE (2012)
Iman Saleh, Gregory Kulczycki, M. Brian Blake
Formal Specification and Verification of Transactional Service Composition. SERVICES (2011)
Iman Saleh, Gregory Kulczycki, M. Brian Blake
Formal Specification and Verification of Data-Centric Service Composition. ICWS (2010)
Khaled Goarany, Gregory Kulczycki, M. Brian Blake
Mining social tags to predict mashup patterns. SMUC@CIKM (2010)
Okan Yilmaz, Ing-Ray Chen, Gregory Kulczycki, William B. Frakes
Performance Analysis of Spillover-Partitioning Call Admission Control in Mobile Wireless Networks. Wirel. Pers. Commun. 53 (1) (2010)
Iman Saleh, Gregory Kulczycki, M. Brian Blake
Demystifying Data-Centric Web Services. IEEE Internet Comput. 13 (5) (2009)
Iman Saleh, Gregory Kulczycki, M. Brian Blake
A Reusable Model for Data-Centric Web Services. ICSR (2009)
William B. Frakes, Gregory Kulczycki, Natasha Moodliar
An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems. ICSR (2008)
Okan Yilmaz, Ing-Ray Chen, Gregory Kulczycki, William B. Frakes
Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks. AINA Workshops (2008)
K. El-Goarany, Iman Saleh, Gregory Kulczycki
The Social Service Network - Web 2.0 Can Make Semantic Web Services Happen. CEC/EEE (2008)
Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide
Abstracting Pointers for a Verifying Compiler. SEW (2007)
Gregory Kulczycki, Jyotindra Vasudeo
Simplifying reasoning about objects with Tako. SAVCBS@FSE (2006)
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
A specification-based approach to reasoning about pointers. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
William B. Frakes, Gregory Kulczycki, Charu Saxena
Case Study of a Method for Reengineering Procedural Systems into OO Systems. ICSR (2006)
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE (2005)
Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
Performance specification of software components. SSR (2001)
Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
Reasoning about Software-Component Behavior. ICSR (2000)