Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Home
Proceedings
SMC-IT
SMC-IT 2023
Generate Citations
2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT)
July 18 2023 to July 27 2023
Pasadena, CA, USA
ISBN: 979-8-3503-4137-9
Table of Contents
Title Page i
Freely available from IEEE.
pp. 1-1
Title Page iii
Freely available from IEEE.
pp. 3-3
Copyright Page
Freely available from IEEE.
pp. 4-4
Table of Contents
Freely available from IEEE.
pp. 5-7
Preface
Freely available from IEEE.
pp. 8-10
Conference Organization
Freely available from IEEE.
pp. 11-11
Reviewers
Freely available from IEEE.
pp. 12-12
Sub-Reviewers
Freely available from IEEE.
pp. 13-13
A Data Pre-Processing Module for Improved-Accuracy Machine-Learning-based Micro-Single-Event-Latchup Detection
Full-text access may be available. Sign in or learn about subscription options.
pp. 1-6
by
Junkai Zhao
,
Kwen-Siong Chong
,
Wei Shu
,
Joseph Chang
Availability Vs. Lifetime Trade-Space In Spacecraft Computers
Full-text access may be available. Sign in or learn about subscription options.
pp. 7-14
by
Marcel J. Schoppers
,
Leila Meshkat
,
Josefine B. Graebener
Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts
Full-text access may be available. Sign in or learn about subscription options.
pp. 15-24
by
Nicolas Rouquette
,
Inigo Incer
,
Alessandro Pinto
Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Full-text access may be available. Sign in or learn about subscription options.
pp. 25-34
by
Albert Eng
,
Rimma Hämäläinen
,
Tomothy Tran
,
Gerry Cruz
,
Ho Nhut
,
Scott Davidoff
,
Li Liu
Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis
Full-text access may be available. Sign in or learn about subscription options.
pp. 35-44
by
Emily Newman
,
Jenette Sellin
,
Janine Huang
,
Calvin Huang
,
Marc Pomerantz
,
Deniz Celik
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Full-text access may be available. Sign in or learn about subscription options.
pp. 45-55
by
Nathaniel Hamilton
,
Kyle Dunlap
,
Taylor T Johnson
,
Kerianne L Hobbs
How to Scrub a Launch: Spaceport Cybersecurity
Full-text access may be available. Sign in or learn about subscription options.
pp. 56-67
by
Gregory Falco
,
Luke Korth
,
Patrick Custer
,
Rembert N Schofield
,
Caleb Pocock
A Research Agenda for Space Flight Software Security
Full-text access may be available. Sign in or learn about subscription options.
pp. 68-77
by
James Curbo
,
Gregory Falco
Intelligent requirement-to-test-case traceability system via Natural Language Processing and Machine Learning
Full-text access may be available. Sign in or learn about subscription options.
pp. 78-83
by
Kae Sawada
,
Marc Pomerantz
,
Gus Razo
,
Michael W. Clark
WannaFly: An Approach to Satellite Ransomware
Full-text access may be available. Sign in or learn about subscription options.
pp. 84-93
by
Gregory Falco
,
Rajiv Thummala
,
Arpit Kubadia
MUSTANG: A Workhorse for NASA Spaceflight Avionics
Full-text access may be available. Sign in or learn about subscription options.
pp. 94-103
by
Christopher Green
,
Noosha Haghani
,
Amri Hernandez-Pellerano
,
Bobby Gheen
,
Austin Lanham
,
James Fraction
The DART Autonomy System
Full-text access may be available. Sign in or learn about subscription options.
pp. 104-113
by
B. Teresa Tropf
,
Musad Haque
,
Neda Behrooz
,
Christopher Krupiarz
A Hybrid Space Architecture for Robust and Resilient Satellite Services
Full-text access may be available. Sign in or learn about subscription options.
pp. 114-122
by
Nicolò Boschetti
,
Johan Sigholm
,
Mattias Wallén
,
Gregory Falco
Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Full-text access may be available. Sign in or learn about subscription options.
pp. 123-125
by
Sai Krishna Reddy Akarapu
,
Bas Stijnen
,
Caimin McKenna
,
David McKeown
,
David Murphy
,
Jack Reilly
,
Joseph Thompson
,
Maeve Doyle
,
Ronan Wall
,
Sheila McBreen
,
Lorraine Hanlon
Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 126-127
by
Sanaz Sheikhi
,
Stanley Bak
Author Index
Freely available from IEEE.
pp. 129-129
Showing 24 out of 24