Gregory Kulczycki

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