“On the Feasibility of Automatically Detecting and
Recovering from SEUs in Cyber-physical Space
Systems”, Robert G. Pettit and Aedan D. Pettit,
Proc. 4th International Workshop on Software
Engineering for Smart Cyber-Physical Systems, 40th
International Conference on Software Engineering
(ICSE 2018), Gothenburg, Sweden, May 2018.
“Detecting Single Event Upsets in Embedded
Software”, Robert G. Pettit and Aedan D. Pettit,
Proc. 21st International Symposium on Real-time
Computing (ISORC 2018), Singapore, May 2018.
“A
Model-Based Approach for Integrating Executable
Architectural Design Patterns in Space Flight
Software Product Lines,”
Julie S.
Fant, Hassan Gomaa and Robert G. Pettit, in Software
Technologies, Springer 2016.
“Integrating and
Applying Architectural Design Patterns in Space
Flight Software Product
Lines,”
Julie S. Fant, Hassan Gomaa and Robert G. Pettit, Proc.
10th International Joint Conference on
Software
Technologies (ICSOFT 2015), Colmar, France,
July 2015.
“On
the Needs and Challenges of Model-Based Engineering
for
Spaceflight Software Systems,” Robert G. Pettit IV,
Navneet Mezcciani,
and
Julie S. Fant Proc.
17th
International Symposium on Real-time Computing
(ISORC 2014),
2014, Reno,
NV USA, June 2014.
“Highlighting the
Challenges of Model-Based Engineering for
Spaceflight Software
Systems,” Robert
G. Pettit IV and Navneet Mezcciani Proc.
5th
International Workshop on Modeling in Software
Engineering (MiSE 2013),
2013, San Francisco, CA, USA, May 2013.
“A Pattern-based
Modeling Approach for Software Product Line
Engineering,” Julie S.
Fant, Hassan
Gomaa, and Robert G. Pettit IV, Proc.46th
46th Hawaii International Conference on Systems
Sciences (HICSS 2013),
Maui, Hawaii, USA, January 2013.
“A Comparison of
Executable Model Based Approaches for Embedded
Systems,” Julie S. Fant,
Hassan
Gomaa, and Robert G. Pettit IV, Proc.2nd
International Workshop on Software Engineering for
Embedded Systems
(SEES 2012),
Zurich, Switzerland, June 2012.
“Software Product Line
Engineering for Spaceflight Software,” Julie S.
Fant, Hassan Gomaa, and
Robert
G. Pettit IV, Proc.3rd
International Workshop on Product Line Approaches
in Software
Engineering
(PLEASE 2012), Zurich, Switzerland, June 2012.
“Architectural Design
Patters for Flight Software,” Julie S. Fant, Hassan
Gomaa, and Robert
G. Pettit
IV, Proc. 10th IEEE
International Symposium on Object-oriented
Real-time distributed
Computing
(ISORC 2011), Newport Beach, California, USA,
March 2011.
“Modeling and
Prototyping of Real-Time Embedded Software
Architectural Designs with
Colored
Petri Nets”, Robert G. Pettit IV, Hassan Gomaa, and
Julie S. Fant, Proc. 4th International
Workshop on Model
Based Architecting and Construction of Embedded
Systems (ACES-MB) 2011,
Wellington, New Zealand , October 2011.
“Architectural
Design
Patterns for Flight Software”, Julie S. Fant, Robert
G. Pettit IV, and
Hassan
Gomaa, Proc., Workshop on Model-Based
Engineering for Real-Time Embedded Systems
(MoBE-RTES) 2011, Newport
Beach,
CA, March 2011.
“Design and
Development of Concurrent, Embedded, and Real-Time
Software Using UML
and Ada
2005”, Robert G. Pettit IV, Tutorial
Proc., SIGAda 2010, Fairfax, Virginia, October
2010.
“Evaluating Concurrent
Software Architectures using Petri Nets”, Robert G.
Pettit IV, Tutorial Proc., Petri
Nets 2009, Paris, France, June 2009.
“Modeling
and Prototyping of Concurrent Software
Architectural Designs with
Colored Petri
Nets”, Proc. Petri Nets in Software
Engineering, Paris, France, June 2009.
“Designing
Real-Time, Concurrent, and Embedded Software
Systems using UML and
Ada”, Tutorial Proc. 14th International
Conference on Reliable Software Technologies -
Ada-Europe 2009, Brest, France, June 2009.
“Towards
Composable Timing for Real-Time Software”, Peter
Puschner,
Raimund Kirner, and Robert G. Pettit IV, Proc.
IFIP International Workshop on Software
Technologies for Future
Dependable and
Distributed Systems”, Tokyo, Japan, March
2009.
“Increasing Confidence
in Concurrent Software Through Architectural
Analysis”, Robert G.
Pettit IV, Proc. 13th
International Conference on Reliable Software
Technologies - Ada-Europe
2008,
Venice, Italy, June 2008.
“Analyzing
Behavior
of Concurrent Software Designs for Embedded
Systems”, Robert G. Pettit
and
Hassan Gomaa, Proc. 10th
IEEE
International Symposium on Object-oriented
Real-time distributed
Computing
(ISORC 2007), Santorini Island, Greece, May
2007.
“Independent
Model-Driven Software Performance Assessments of UML
Designs”, Julie A.
Street, Robert G.
Pettit, and Hassan
Gomaa, Proc. 10th IEEE
International Symposium on Object-oriented
Real-time distributed
Computing
(ISORC 2007), Santorini Island, Greece, May
2007.
“Modeling Behavioral
Design Patterns of Concurrent Objects”, Robert G.
Pettit IV and Hassan
Gomaa, Proc.
28th International Conference on
Software
Engineering (ICSE),
Shanghai, China, May 2006.
“Lessons
Learned
Applying Performance Modeling and Analysis
Techniques”, Julie A. Street
and
Robert G. Pettit IV, Proc. 9th
IEEE International Symposium on Object-oriented
Real-time distributed
Computing
(ISORC 2006), Gyeongju, Korea, April 2006.
“The Impact of UML 2.0
on Existing UML 1.4 Models”, Julie A. Street and
Robert G. Pettit IV, Proc.
8th International Conference on
Model Driven Engineering
Languages and Systems (MoDELS),
Montego Bay, Jamaica,
October 2005.
“Lessons
Learned Applying UML in the Design of
Mission Critical Software”, Robert G. Pettit IV and
Julie A. Street, Proc.
7th
International Conference on the Unified Modeling
Language (UML),
Lisbon,
Portugal, October 2004.
“Modeling
Behavioral
Patterns of Concurrent Software Architectures Using
Petri Nets,” Robert
G.
Pettit IV and Hassan Gomaa, Working IEEE
Conference on
Software
Architectures (WICSA) 2004, Oslo, Norway, June
2004.
“Lessons Learned
Applying UML in the Design of Embedded Software
Systems,” Robert G.
Pettit IV,
Invited Paper, Workshop on Software Technology
for Future
Embedded and
Ubiquitous Systems (WSTFEUS) 2004, Vienna,
Austria, May 2004.
“Improving
the
Reliability of Concurrent Object-Oriented Software
Designs,” Robert G.
Pettit
IV, Workshop on Object-oriented Real-time and
Dependable
Systems (WORDS) 2003,
Capri, Italy, October 2003.
“Establishing
Inspection Criteria for UML Models,” Robert G.
Pettit IV, Tutorial Proc.
5th
International Conference on the Unified Modeling
Language (UML), Dresden,
Germany, October 2002.
“Improving the
Reliability of Object-Oriented Architecture Designs:
An
Approach Using
Colored
Petri Nets,” Robert G. Pettit IV, Symposium
on
Reliable Object-Oriented Programming,
London, England,
October 2001.
“Modeling
State-Dependent Objects using Colored Petri Nets,”
Robert G. Pettit IV
and
Hassan Gomaa, Coloured Petri Nets
2001: Modeling of
Objects, Components
and Agents Workshop, Århus, Denmark, August
2001.
“Validation
of
Dynamic
Behavior in UML Using Colored Petri Nets,” Robert G.
Pettit IV
and
Hassan Gomaa, UML 2000 Dynamic Behavior
Workshop, York, England, October, 2000.
“Modeling
Object-Oriented
Behavior Using Petri Nets,” Robert G. Pettit IV, OOPSLA '99 Behavioral Semantics Workshop,
Denver, Colorado, November, 1999.
Consortium
Object-Oriented
Software Engineering using UML
(COSUML),
Robert G. Pettit IV and Hassan Gomaa, Software
Productivity
Consortium, 1998.
Ada
95 Quality
and Style: Guidelines for Professional
Programmers, Christine Ausnit-Hood,
Kent A.
Johnson, Robert G. Pettit IV, and Steven B.
Opdahl, Springer-Verlag,
1997.
"Ada
95 Quality and Style,"
Robert G. Pettit IV and Christine Ausnit-Hood, Software
Technology
Conference Proceedings,
Salt Lake City,
UT, April, 1997.
"Using
Ada 95 for the Design of
Distributed Real-Time Systems," Robert G. Pettit
IV, TRI-Ada '96
Conference
Proceedings,
Philadelphia, PA, December, 1996.
"Integrating
Petri Nets With Design Methods for Concurrent and
Real-Time Systems,"
Robert G. Pettit IV and Hassan Gomaa, IEEE
Real-Time
Applications Workshop, October, 1996.
Ada 95 Quality and Style: Guidelines for
Professional Programmers, SPC-94093-CMC,
Christine
Ausnit-Hood, Kent A.
Johnson, Robert G. Pettit IV, and Steven B. Opdahl,
Software
Productivity
Consortium, October, 1995.
“A
Software Design
Method for Ada 95 Based Concurrent and Real-Time
Systems,” Robert G.
Pettit IV
and Hassan Gomaa, TRI-Ada ’95
Conference
Proceedings, Anaheim, CA, November, 1995
Invited Talks:
“Model Based
Engineering Challenges for the Spaceflight Software
Domain,” Robert G.
Pettit
IV, Keynote Address to the International
Workshop
on the Globalization of Modeling Languages (GeMOC
2013),
Miami
Beach, Florida, USA, October 2013.
“Flight Software Risk
Mitigation Through Early Modeling and Analysis”,
Robert G. Pettit IV
and Alan
Unell, PMAG Symposium, Los Angeles,
California, February 2009.
“Model Based
Design
and Development of Real-Time Embedded Systems”,
Presentation to
Department of
Computing, Lancaster University, England, January
2008.
“Modeling and Analysis
for Real-Time Software Systems”, Presentation to
Real-Time Systems
Group,
Technische Universität Wien, Vienna, Austria,
October 2006.
“Careers in
Mission-Critical Software Engineering”, Presentation
to Student Chapter
of ACM,
University of Virginia, Charlottesville, Virginia,
April 2006.
Panelist, International
Workshop
on the Specification
and Verification of UML Models for Real-Time and
Embedded Systems
(SVERTS) 2004. Panel
Topic:
Applicability of UML for Real-Time Systems.
“Lessons Learned
Applying UML in the Design of Embedded Software
Systems,” Workshop
on
Software Technology for Future Embedded and
Ubiquitous Systems
(WSTFEUS) 2004,
Vienna, Austria, May 2004.
