| 2009 | COMPSAC | Software Input Space Modeling with Constraints among Parameters. | Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore |
| 2008 | ICCS | Modeling Input Space for Testing Scientific Computational Software: A Case Study. | Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, Kevin T. Clarno |
| 2006 | ICSEA | Specification of Software Component Requirements Using the Trace Function Method. | Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic |
| 2005 | COMPSAC | Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. | Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy |
| 2005 | SEKE | Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. | Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir |
| 2004 | PROFES | Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. | Sergiy A. Vilkomir, Aditya K. Ghose |
| 2003 | COMPSAC | Tolerance of Control-Flow Testing Criteria. | Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen |
| 2001 | COMPSAC | Formalization of Software Testing Criteria using the Z Notation. | Sergiy A. Vilkomir, Jonathan P. Bowen |