| 2018 | FedCSIS | Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems. | Vinitha Hannah Subburaj, Joseph E. Urban |
| 2018 | FedCSIS | Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML. | Vinitha Hannah Subburaj, Joseph E. Urban |
| 2018 | FIE | Introduction to Computing: Interdisciplinary Course Design. | Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Joseph E. Urban |
| 2014 | AAAI | DOROTHY: Enhancing Bidirectional Communication between a 3D Programming Interface and Mobile Robots. | Emilie Featherston, Mohan Sridharan, Susan Darling Urban, Joseph E. Urban |
| 2012 | SEKE | Specification of Safety Critical Systems with Intelligent Software Agent Method. | Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah |
| 2011 | FedCSIS | Extending the Descartes Specification Language Towards Process Modeling. | Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy |
| 2011 | ISORC | Intelligent Agent Software Development Using AUML and the Descartes Specification Language. | Vinitha Hannah Subburaj, Joseph E. Urban |
| 2010 | CISIS | Issues and Challenges in Building a Framework for Reactive Agent Systems. | Vinitha Hannah Subburaj, Joseph E. Urban |
| 2010 | SIGCSE | Report on the future of computing education summit. | Mark Guzdial, Jane Prey, Lucy Sanders, Heikki Topi, Joseph E. Urban |
| 2010 | SEKE | Intertwining Implementation with the RealSpec Executable Real-Time Specification Language. | Amir A. Khwaja, Joseph E. Urban |
| 2010 | SEKE | Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. | Vinitha Hannah Subburaj, Joseph E. Urban |
| 2009 | ISORC | RealSpec: An Executable Specification Language for Modeling Control Systems. | Amir A. Khwaja, Joseph E. Urban |
| 2009 | SIGCSE | Panel on revitalized undergraduate computing education. | Joseph E. Urban, Jesse M. Heines, Edward A. Fox, Harriet G. Taylor |
| 2008 | ISORC | The State of Executable Real-Time Specification Languages and the Need for Advancements. | Amir A. Khwaja, Joseph E. Urban |
| 2008 | SEKE | RealSpec: an Executable Specification Language for Modeling Resources. | Amir A. Khwaja, Joseph E. Urban |
| 2008 | RSP | RealSpec: An Executable Specification Language for Prototyping Concurrent Systems. | Amir A. Khwaja, Joseph E. Urban |
| 2007 | ISADS | An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. | Michael A. Medina, Joseph E. Urban |
| 1999 | COMPSAC | Validating Software Specifications against User Claims. | Chia-Chu Chiang, Joseph E. Urban |
| 1998 | SRDS | A Distributed Version of the SequenceL Language. | Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban |
| 1997 | COMPSAC | Scalable Templates for Specification Reuse. | Chia-Chu Chiang, Joseph E. Urban |
| 1996 | COMPSAC | Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. | Chia-Chu Chiang, Joseph E. Urban |
| 1996 | COMPSAC | Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century. | Joseph E. Urban |
| 1995 | COMPSAC | An Expanded View of Domain Modeling for Software Analogy. | Chung-Horng Lung, Joseph E. Urban |
| 1995 | SEKE | The Future of Software Engineering Education. | Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir |
| 1994 | COMPSAC | Development of the TUG specification language to support specification reuse. | Chia-Chu Chiang, Joseph E. Urban |
| 1994 | COMPSAC | A method for evaluating software engineering environments. | Mathew A. Taylor, Joseph E. Urban |
| 1994 | ICPADS | What Types of Research Papers Should We Be Writing? | Thomas L. Casavant, Chi-Yuan Chin, Wen-Tsuen Chen, Kang G. Shin, Earl E. Swartzlander Jr., Joseph E. Urban |
| 1994 | ICPADS | Software Specification of Real-Time Systems. | Joseph E. Urban |
| 1993 | SAC | Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology. | Jarallah AlGhamdi, Joseph E. Urban |
| 1993 | SAC | Syntax-Directed Editing Environments: Issues and Features. | Amir A. Khwaja, Joseph E. Urban |
| 1993 | SAC | Integration of Domain Analysis and Analogical Approach for Software Reuse. | Chung-Horng Lung, Joseph E. Urban |
| 1993 | SEKE | Reverse Engineering. | Frank W. Calliss, Joseph E. Urban, James H. Cross II, Vclav Rajlich |
| 1992 | COMPSAC | Industrial strength software engineering training programs. | Joseph E. Urban, R. Frye, A. Miller, A. G. Rao |
| 1992 | COMPSAC | A metalanguage based on a theory of specification. | Karl B. Zerangue, Joseph E. Urban |
| 1992 | SAC | Analysis and experience with an Information System development methodology. | Manmahesh Kantipudi, Joseph E. Urban |
| 1992 | SAC | Study of a generic graphics package for the development of various user interfaces. | Amir A. Khwaja, Raghu Mannam, Joseph E. Urban |
| 1992 | SAC | Integrating software tool communication within an environment. | Peraphon Sophatsathit, Joseph E. Urban |
| 1992 | SAC | The use of a software specification metalanguage. | Karl B. Zerangue, Joseph E. Urban |
| 1992 | RSP | Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually. | Amir A. Khwaja, Joseph E. Urban |
| 1991 | ICTAI | Propositional logic for validating software object interrelationships. | Patrick O. Bobbie, Joseph E. Urban |
| 1990 | ICTAI | A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design. | Patrick O. Bobbie, Joseph E. Urban |
| 1989 | ICTAI | A model for understanding complexities of developing large-scale software systems. | Patrick O. Bobbie, Joseph E. Urban |
| 1984 | ICDE | Utilizing an Executable Specification Language for an Information System. | Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick |
| 1982 | ICSE | Software Development with Executable Functional Specifications. | Joseph E. Urban |