A Quantitative Approach for Calculating Model Assurance Levels
Fant, Julie S, Pettit, Robert G, Gayek, David
Published in 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) (01.05.2019)
Published in 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) (01.05.2019)
Get full text
Conference Proceeding
On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems
Pettit, Robert G., Pettit, Aedan D.
Published in 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) (27.05.2018)
Published in 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) (27.05.2018)
Get full text
Conference Proceeding
Resibufogenin corrects hypertension in a rat model of human preeclampsia
Vu, Hop, Ianosi-Irimie, Monica, Danchuk, Svitlana, Rabon, Edd, Nogawa, Toshihiko, Kamano, Yoshiaki, Pettit, G Robert, Wiese, Thomas, Puschett, Jules B
Published in Experimental biology and medicine (Maywood, N.J.) (01.02.2006)
Published in Experimental biology and medicine (Maywood, N.J.) (01.02.2006)
Get more information
Journal Article
Antitumor activity of combretastatin-A4 phosphate, a natural product tubulin inhibitor
Dorr, R T, Dvorakova, K, Snead, K, Alberts, D S, Salmon, S E, Pettit, G R
Published in Investigational new drugs (01.01.1996)
Published in Investigational new drugs (01.01.1996)
Get more information
Journal Article
On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems
Pettit, Robert G., Mezcciani, Navneet, Fant, Julie
Published in 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01.06.2014)
Published in 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01.06.2014)
Get full text
Conference Proceeding
Detecting Single Event Upsets in Embedded Software
Pettit, Robert, Pettit, Aedan
Published in 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) (01.05.2018)
Published in 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) (01.05.2018)
Get full text
Conference Proceeding
A Pattern-Based Modeling Approach for Software Product Line Engineering
Fant, J. S., Gomaa, H., Pettit, R. G.
Published in 2013 46th Hawaii International Conference on System Sciences (01.01.2013)
Published in 2013 46th Hawaii International Conference on System Sciences (01.01.2013)
Get full text
Conference Proceeding
Design, synthesis, and evaluation of azepine-based cryptophycin mimetics
Smith, Amos B, Cho, Young Shin, Pettit, G.Robert, Hirschmann, Ralph
Published in Tetrahedron (25.08.2003)
Published in Tetrahedron (25.08.2003)
Get full text
Journal Article