Robert G. Pettit IV

According to our database1, Robert G. Pettit IV authored at least 33 papers between 1995 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.
ACM SIGSOFT Softw. Eng. Notes, 2019

Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development Efforts.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

A Quantitative Approach for Calculating Model Assurance Levels.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2018
Detecting Single Event Upsets in Embedded Software.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems.
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

2015
A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines.
Proceedings of the ICSOFT-EA 2015, 2015

2014
On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Experimental Analysis of Real-Time Multitasking on Multicore Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

2013
Modeling Executable Architectural Design Patterns for Software Product Lines.
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Highlighting the challenges of model-based engineering for spaceflight software systems.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

A Pattern-Based Modeling Approach for Software Product Line Engineering.
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2012
A comparison of executable model based approaches for embedded systems.
Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Software product line engineering of space flight software.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

2011
Architectural Design Patterns for Flight Software.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2010
Designing real-time, concurrent, and embedded software systems using UML and Ada.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

2008
Cost-Performance Tradeoff for Embedded Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Increasing Confidence in Concurrent Software through Architectural Analysis.
Proceedings of the Reliable Software Technologies, 2008

2007
Independent Model-Driven Software Performance Assessments of UML Designs.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Analyzing Behavior of Concurrent Software Designs for Embedded Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

An Experimental Evaluation of Software Performance Modeling and Analysis Techniques .
Proceedings of the ICSOFT 2007, 2007

2006
MoDELS 2006 Doctoral Symposium.
Proceedings of the Models in Software Engineering, 2006

Lessons Learned Applying Performance Modeling and Analysis Techniques.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Modeling behavioral design patterns of concurrent objects.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
The Impact of UML 2.0 on Existing UML 1.4 Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004
Lessons Learned Applying UML in Embedded Software Systems Designs.
Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Lessons Learned Applying UML in the Design of Mission Critical Software.
Proceedings of the UML Modeling Languages and Applications, 2004

2003
Improving the Reliability of Concurrent Object-Oriented Software Designs.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

1996
Using Ada 95 for the Design of Distributed Real-Time Systems.
Proceedings of the annual meeting of the Ada programming world, 1996

Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995
A software design method for Ada 95 based concurrent and real-time systems.
Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995


  Loading...