A software design method for Ada 95 based concurrent and real-time systems. - Robert G. Pettit IV; Hassan Gomaa (TRI-Ada, 1995)

Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. - Robert G. Pettit IV; Hassan Gomaa (ICECCS, 1996)

Using Ada 95 for the Design of Distributed Real-Time Systems. - Robert G. Pettit IV (TRI-Ada, 1996)

Improving the Reliability of Concurrent Object-Oriented Software Designs. - Robert G. Pettit IV; Hassan Gomaa (WORDS Fall, 2003)

Lessons Learned Applying UML in the Design of Mission Critical Software. - Robert G. Pettit IV; Julie A. Street (UML Satellite Activities, 2004)

Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets. - Robert G. Pettit IV; Hassan Gomaa (WICSA, 2004)

Lessons Learned Applying UML in Embedded Software Systems Designs. - Robert G. Pettit IV (WSTFEUS, 2004)

The Impact of UML 2.0 on Existing UML 1.4 Models. - Julie A. Street; Robert G. Pettit IV (MoDELS, 2005)

Modeling behavioral design patterns of concurrent objects. - Robert G. Pettit IV; Hassan Gomaa (ICSE, 2006)

Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. - Robert G. Pettit IV; Hassan Gomaa (ISORC, 2006)

Lessons Learned Applying Performance Modeling and Analysis Techniques. - Julie A. Street; Robert G. Pettit IV (ISORC, 2006)

MoDELS 2006 Doctoral Symposium. - Gabriela Arévalo; Robert G. Pettit IV (MoDELS (Workshops), 2006)

An Experimental Evaluation of Software Performance Modeling and Analysis Techniques . - Julie A. Street; Robert G. Pettit IV (ICSOFT (SE), 2007)

Analyzing Behavior of Concurrent Software Designs for Embedded Systems. - Robert G. Pettit IV; Hassan Gomaa (ISORC, 2007)

Independent Model-Driven Software Performance Assessments of UML Designs. - Julie A. Street; Robert G. Pettit IV; Hassan Gomaa (ISORC, 2007)

Increasing Confidence in Concurrent Software through Architectural Analysis. - Robert G. Pettit IV (Ada-Europe, 2008)

Cost-Performance Tradeoff for Embedded Systems. - Julie S. Fant; Robert G. Pettit IV (SEUS, 2008)

Designing real-time, concurrent, and embedded software systems using UML and Ada. - Robert G. Pettit IV (SIGAda, 2010)

Architectural Design Patterns for Flight Software. - Julie Street Fant; Hassan Gomaa; Robert G. Pettit IV (ISORC Workshops, 2011)

Software product line engineering of space flight software. - Julie Street Fant; Hassan Gomaa; Robert G. Pettit IV (PLEASE@ICSE, 2012)

A comparison of executable model based approaches for embedded systems. - Julie Street Fant; Hassan Gomaa; Robert G. Pettit IV (SEES@ICSE, 2012)

A Pattern-Based Modeling Approach for Software Product Line Engineering. - Julie Street Fant; Hassan Gomaa; Robert G. Pettit IV (HICSS, 2013)

Highlighting the challenges of model-based engineering for spaceflight software systems. - Robert G. Pettit IV; Navneet Mezcciani (MiSE, 2013)

Modeling Executable Architectural Design Patterns for Software Product Lines. - Julie S. Fant; Hassan Gomaa; Robert G. Pettit IV (ACES-MB@MoDELS, 2013)

Experimental Analysis of Real-Time Multitasking on Multicore Systems. - Emad Albassam; Hassan Gomaa; Robert G. Pettit IV (ISORC, 2014)

On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems. - Robert G. Pettit IV; Navneet Mezcciani; Julie S. Fant (ISORC, 2014)

Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines. - Julie Street Fant; Hassan Gomaa; Robert G. Pettit IV (ICSOFT-EA, 2015)

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 (ICSOFT (Selected Papers), 2015)

On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems. - Robert G. Pettit IV; Aedan D. Pettit (SEsCPS@ICSE, 2018)

Detecting Single Event Upsets in Embedded Software. - Robert G. Pettit IV; Aedan D. Pettit (ISORC, 2018)

A Quantitative Approach for Calculating Model Assurance Levels. - Julie S. Fant; Robert G. Pettit IV; David Gayek (ISORC, 2019)

Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development Efforts. - Julie S. Fant; Robert G. Pettit IV (MODELSWARD, 2019)

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. - Tomás Bures; Danny Weyns; Bradley R. Schmerl; John S. Fitzgerald; Adina Aniculaesei; Christian Berger 001; João Cambeiro; Jan Carlson; Shafiul Azam Chowdhury; Marian Daun; Nianyu Li; Matthias Markthaler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2019)

Real-Time Embedded Monitoring Technologies in Modern Healthcare Systems: A Survey. - Sree Charitha Meka; Sanjana Achan; Robert G. Pettit IV (ISORC, 2024)