| 2024 | ISORC | Real-Time Embedded Monitoring Technologies in Modern Healthcare Systems: A Survey. | Sree Charitha Meka, Sanjana Achan, Robert G. Pettit IV |
| 2019 | ISORC | A Quantitative Approach for Calculating Model Assurance Levels. | Julie S. Fant, Robert G. Pettit IV, David Gayek |
| 2019 | MODELSWARD | Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development Efforts. | Julie S. Fant, Robert G. Pettit IV |
| 2018 | ICSE | On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems. | Robert G. Pettit IV, Aedan D. Pettit |
| 2018 | ISORC | Detecting Single Event Upsets in Embedded Software. | Robert G. Pettit IV, Aedan D. Pettit |
| 2015 | ICSoft | Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines. | Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV |
| 2015 | ICSoft | A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines. | Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV |
| 2014 | ISORC | Experimental Analysis of Real-Time Multitasking on Multicore Systems. | Emad Albassam, Hassan Gomaa, Robert G. Pettit IV |
| 2014 | ISORC | On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems. | Robert G. Pettit IV, Navneet Mezcciani, Julie S. Fant |
| 2013 | ICSE | Highlighting the challenges of model-based engineering for spaceflight software systems. | Robert G. Pettit IV, Navneet Mezcciani |
| 2013 | MODELS | Modeling Executable Architectural Design Patterns for Software Product Lines. | Julie S. Fant, Hassan Gomaa, Robert G. Pettit IV |
| 2012 | ICSE | Software product line engineering of space flight software. | Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV |
| 2012 | ICSE | A comparison of executable model based approaches for embedded systems. | Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV |
| 2011 | ISORC | Architectural Design Patterns for Flight Software. | Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV |
| 2007 | ICSoft | An Experimental Evaluation of Software Performance Modeling and Analysis Techniques . | Julie A. Street, Robert G. Pettit IV |
| 2007 | ISORC | Analyzing Behavior of Concurrent Software Designs for Embedded Systems. | Robert G. Pettit IV, Hassan Gomaa |
| 2007 | ISORC | Independent Model-Driven Software Performance Assessments of UML Designs. | Julie A. Street, Robert G. Pettit IV, Hassan Gomaa |
| 2006 | ICSE | Modeling behavioral design patterns of concurrent objects. | Robert G. Pettit IV, Hassan Gomaa |
| 2006 | ISORC | Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. | Robert G. Pettit IV, Hassan Gomaa |
| 2006 | ISORC | Lessons Learned Applying Performance Modeling and Analysis Techniques. | Julie A. Street, Robert G. Pettit IV |
| 2006 | MODELS | MoDELS 2006 Doctoral Symposium. | Gabriela Arvalo, Robert G. Pettit IV |
| 1996 | ICECCS | Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. | Robert G. Pettit IV, Hassan Gomaa |