Robert G. Pettit IV

36 papers A* 1A 1B 1C 11Misc 1Journal 1Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Real-Time Embedded Monitoring Technologies in Modern Healthcare Systems: A Survey. ISORC Sree Charitha Meka, Sanjana Achan, Robert G. Pettit IV
2019	C	`conf`	A Quantitative Approach for Calculating Model Assurance Levels. ISORC Julie S. Fant, Robert G. Pettit IV, David Gayek
2019	C	`conf`	Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development Efforts. MODELSWARD Julie S. Fant, Robert G. Pettit IV
2019	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala
2018	C	`conf`	Detecting Single Event Upsets in Embedded Software. ISORC Robert G. Pettit IV, Aedan D. Pettit
2018	—	`conf`	On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems. SEsCPS@ICSE Robert G. Pettit IV, Aedan D. Pettit
2015	—	`conf`	A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines. ICSOFT (Selected Papers) Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV
2015	—	`conf`	Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines. ICSOFT-EA Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV
2014	C	`conf`	Experimental Analysis of Real-Time Multitasking on Multicore Systems. ISORC Emad Albassam, Hassan Gomaa, Robert G. Pettit IV
2014	C	`conf`	On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems. ISORC Robert G. Pettit IV, Navneet Mezcciani, Julie S. Fant
2013	—	`conf`	A Pattern-Based Modeling Approach for Software Product Line Engineering. HICSS Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV
2013	C	`conf`	Highlighting the challenges of model-based engineering for spaceflight software systems. MiSE Robert G. Pettit IV, Navneet Mezcciani
2013	—	`conf`	Modeling Executable Architectural Design Patterns for Software Product Lines. ACES-MB@MoDELS Julie S. Fant, Hassan Gomaa, Robert G. Pettit IV
2012	—	`conf`	A comparison of executable model based approaches for embedded systems. SEES@ICSE Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV
2012	—	`conf`	Software product line engineering of space flight software. PLEASE@ICSE Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV
2011	—	`conf`	Architectural Design Patterns for Flight Software. ISORC Workshops Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV
2010	—	`conf`	Designing real-time, concurrent, and embedded software systems using UML and Ada. SIGAda Robert G. Pettit IV
2010	—	`ed.`	Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings SEUS Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer
2008	—	`conf`	Cost-Performance Tradeoff for Embedded Systems. SEUS Julie S. Fant, Robert G. Pettit IV
2008	Misc	`conf`	Increasing Confidence in Concurrent Software through Architectural Analysis. Ada-Europe Robert G. Pettit IV
2007	—	`conf`	An Experimental Evaluation of Software Performance Modeling and Analysis Techniques . ICSOFT (SE) Julie A. Street, Robert G. Pettit IV
2007	C	`conf`	Analyzing Behavior of Concurrent Software Designs for Embedded Systems. ISORC Robert G. Pettit IV, Hassan Gomaa
2007	C	`conf`	Independent Model-Driven Software Performance Assessments of UML Designs. ISORC Julie A. Street, Robert G. Pettit IV, Hassan Gomaa
2006	C	`conf`	Lessons Learned Applying Performance Modeling and Analysis Techniques. ISORC Julie A. Street, Robert G. Pettit IV
2006	—	`conf`	MoDELS 2006 Doctoral Symposium. MoDELS (Workshops) Gabriela Arévalo, Robert G. Pettit IV
2006	C	`conf`	Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. ISORC Robert G. Pettit IV, Hassan Gomaa
2006	A*	`conf`	Modeling behavioral design patterns of concurrent objects. ICSE Robert G. Pettit IV, Hassan Gomaa
2005	A	`conf`	The Impact of UML 2.0 on Existing UML 1.4 Models. MoDELS Julie A. Street, Robert G. Pettit IV
2004	—	`conf`	Lessons Learned Applying UML in Embedded Software Systems Designs. WSTFEUS Robert G. Pettit IV
2004	—	`conf`	Lessons Learned Applying UML in the Design of Mission Critical Software. UML Satellite Activities Robert G. Pettit IV, Julie A. Street
2004	—	`conf`	Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets. WICSA Robert G. Pettit IV, Hassan Gomaa
2003	—	`conf`	Improving the Reliability of Concurrent Object-Oriented Software Designs. WORDS Fall Robert G. Pettit IV, Hassan Gomaa
1997	—	`book`	Ada 95 Quality and Style, Guideline for Professional Programmers Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
1996	B	`conf`	Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. ICECCS Robert G. Pettit IV, Hassan Gomaa
1996	—	`conf`	Using Ada 95 for the Design of Distributed Real-Time Systems. TRI-Ada Robert G. Pettit IV
1995	—	`conf`	A software design method for Ada 95 based concurrent and real-time systems. TRI-Ada Robert G. Pettit IV, Hassan Gomaa