| 2008 |
|---|
| 8 | EE | 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: 1299-1304 |
| 7 | EE | William B. Frakes,
Gregory Kulczycki,
Natasha Moodliar:
An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems.
ICSR 2008: 376-389 |
| 6 | EE | Gregory Kulczycki,
Murali Sitaraman,
Kimberly Roche,
Nighat Yasmin:
Formal Specification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 5 | EE | Gregory Kulczycki,
Heather Keown,
Murali Sitaraman,
Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler.
SEW 2007: 204-213 |
| 2006 |
|---|
| 4 | EE | William B. Frakes,
Gregory Kulczycki,
Charu Saxena:
Case Study of a Method for Reengineering Procedural Systems into OO Systems.
ICSR 2006: 184-202 |
| 3 | EE | Gregory Kulczycki,
Murali Sitaraman,
Bruce W. Weide,
Atanas Rountev:
A specification-based approach to reasoning about pointers.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2001 |
|---|
| 2 | EE | Murali Sitaraman,
Gregory Kulczycki,
Joan Krone,
William F. Ogden,
A. L. Narasimha Reddy:
Performance specification of software components.
SSR 2001: 3-10 |
| 2000 |
|---|
| 1 | | 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: 266-283 |
