Robert G. Pettit IV

Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 2024

2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development Efforts.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

A Quantitative Approach for Calculating Model Assurance Levels.

[BibT_eX]

[DOI]

David Gayek

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2018

Detecting Single Event Upsets in Embedded Software.

[BibT_eX]

[DOI]

Aedan D. Pettit

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.

[BibT_eX]

[DOI]

Aedan D. Pettit

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.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

2014

On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems.

[BibT_eX]

[DOI]

Navneet Mezcciani

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.

[BibT_eX]

[DOI]

Emad Albassam

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Navneet Mezcciani

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

A Pattern-Based Modeling Approach for Software Product Line Engineering.

[BibT_eX]

[DOI]

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2012

A comparison of executable model based approaches for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Software product line engineering of space flight software.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

2011

Architectural Design Patterns for Flight Software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

2008

Cost-Performance Tradeoff for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Increasing Confidence in Concurrent Software through Architectural Analysis.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2008

2007

Independent Model-Driven Software Performance Assessments of UML Designs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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 .

[BibT_eX]

Proceedings of the ICSOFT 2007, 2007

2006

MoDELS 2006 Doctoral Symposium.

[BibT_eX]

[DOI]

Gabriela Arévalo

Proceedings of the Models in Software Engineering, 2006

Lessons Learned Applying Performance Modeling and Analysis Techniques.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Modeling behavioral design patterns of concurrent objects.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

Lessons Learned Applying UML in Embedded Software Systems Designs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

2003

Improving the Reliability of Concurrent Object-Oriented Software Designs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the annual meeting of the Ada programming world, 1996

Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]