SMC-IT/SCC 2023: SMC-IT/SCC 2023

A
Adams, Christina	Silicon-Carbide Hybrid One-Bit Microcontroller in a Transport-Triggered Architecture
Agarwal, Shri	Microcircuit Standards for Space Missions
Akarapu, Sai Krishna Reddy	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Alexandrov, Natalia	Introduction Discussion Managing Model Uncertainty, Disturbances, and operational Space Characteristics Using Control Barrier and Lyapunov Functions Managing Uncertainties via Preconditioning Problem Complexity
Andersson, Jan	GR765 SPARC and RISC-V Multiprocessor System-on-Chip
Azimi, Shaun	Remote Robotic Operations Supporting Human Space Exploration
B
Bacher, David	Uncertainty in Servicing and Assembly Tasks for Space Robotic Manipulators
Badger, Julia	Trustworthy Autonomy for Gateway Vehicle System Manager
Bak, Stanley	Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems
Bautista, Justin	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
Behrooz, Neda	The DART Autonomy System
Belsten, Nicholas	Benchmark Computer Performance for Wavefront Sensing and Control on Next Generation Space Telescopes
Berardino, Bob	AR / VR and DE State of Industry: Where We Are and Where We Are Heading AR / VR and DE: Current Challenges to Adoption
Berg, Melanie	Modernization of FPGA Risk Analysis for Critical Space Applications
Bockrath, Steffen	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
Borel, Thomas	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Boschetti, Nicolò	A Hybrid Space Architecture for Robust and Resilient Satellite Services
Bourbouh, Hamza	[Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Brat, Guillaume	[Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Bricard, Yohann	Optimization of ARM Processor Architecture for Space Computing Performance with SAMRH7x MCU Family
Brooks, Ezra	Building the Next Generation of Space Software
Brömer, Fiona	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Butler, Jim	Radically Advancing the Capabilities of Space-based Computing
C
Cabo, Guillem	GR765 SPARC and RISC-V Multiprocessor System-on-Chip
Cahoy, Kerri	Benchmark Computer Performance for Wavefront Sensing and Control on Next Generation Space Telescopes
Campola, Michael	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
Carpenter, Kalind	Sample Recovery Helicopter manipulation architecture and the unique decisions driven by being an autonomous system.
Celik, Deniz	Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis
Chang, Joseph	A data pre-processing module for improved-accuracy Machine-Learning-based micro-Single-Event-Latchup detection
Chong, Kwen Siong	A data pre-processing module for improved-accuracy Machine-Learning-based micro-Single-Event-Latchup detection
Cisernos, Geraldo	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
Clark, Michael W.	Intelligent requirement-to-test-case traceability system via Natural Language Processing and Machine Learning
Cochrane, Corey	Demo of VR Spacecraft Magnetic Field Visualization
Coleman, Dave	Robots capable of human-level manipulation are key to industrial space viability and the commercial space economy Autonomous Robotic Manipulation with Space ROS
Collier, Patrick	SpaceVPX Interoperability
Coloma, Sofia	eXtended Reality for Enhanced Lunar Exploration Missions
Cooper, John	Uncertainty in Servicing and Assembly Tasks for Space Robotic Manipulators Trustworthiness of a Surrogate Model for Assembly Sequencing of Space Structures
Costantino, Alessandra	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Costello, Kenneth	Panel and Open-Mic Discussion
Crichton, Dan	Considerations in Architecting Data-Driven Observing Systems for Space
Cruz, Gerry	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Csoppenszky, Michael	Radically Advancing the Capabilities of Space-based Computing
Curbo, James	Space Flight Software Security Concerns
Custer, Patrick	How to Scrub a Launch: Spaceport Cybersecurity
D
Dabney, James	Trustworthy Autonomy for Gateway Vehicle System Manager
Davidoff, Scott	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
de-Martín-Hernández, José	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Dennis, Louise	[Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Dixon, Clare	[Space Robotics Workshop] Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Djorgovski, S. George	Welcome and introductory comments Panel Discussion: Explainable AI Panel Discussion: Space Clouds Concluding Remarks
Domínguez, Manuel	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Donalek, Ciro	Coupling Intelligent Exploration and Generative AI
Doyle, Maeve	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Doyle, Richard	Welcome and introductory comments Panel Discussion: Explainable AI Panel Discussion: Space Clouds Concluding Remarks
Dunlap, Kyle	Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Dwivedi, Vivek	Brief Introduction on Workshop
E
Elaasar, Maged	openCAESAR: A Platform for Semantically Rigorous and Agile MBSE Practices
Elbarrawy, Mahmoud M.	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Eng, Albert	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Erwin, Richard	Perspectives on The Future of Space Computing for Military Space Missions Dare Mighty Things Together  Space Computing Needs for 21st Century Planetary Science and Exploration Exploring Space to Further Extract Science from Black Hole Images The James Webb Space Telescope Mission
F
Fail, Jordan	A System to Provide Deterministic Flight Software Operation and Maximize Multicore Processing Performance: The Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) Datapath
Falco, Gregory	WannaFly: An Approach to Satellite Ransomware How to Scrub a Launch: Spaceport Cybersecurity A Hybrid Space Architecture for Robust and Resilient Satellite Services
Falco, Gregory	Space Flight Software Security Concerns
Farrell, Marie	[Space Robotics Workshop] CSP2Turtle: Verified Turtle Robot Plans [Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study [Space Robotics Workshop] Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Ferrando, Angelo	[Space Robotics Workshop] Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Firchau, Thomas	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Fisher, Michael	[Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Fraction, James	MUSTANG: A Workhorse for NASA Spaceflight Avionics
Frantz, Alexandre	eXtended Reality for Enhanced Lunar Exploration Missions
G
Gao, Yang	[Space Robotics Workshop] Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Garrett, Tyler	Towards A Radiation-Tolerant Display System
Gauthier, Théa-Martine	HPC in a Vacuum: Evaluating Future Space Microprocessors
Gawdiak, Yuri O.	Ethical Scenario
Gaza, Razvan	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
Gerndt, Andreas	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Gheen, Bobby	MUSTANG: A Workhorse for NASA Spaceflight Avionics
Ghiglino, Pablo	The ring-buffer ROS2 executor: a novel approach for real-time ROS2 Space applications. A High Performance Software Approach to enabling Artificial Intelligence On-Board for Image processing applications
Gibson, David	Sponsored Talk (Star-Dundee): SpaceFibre for Spaceflight Payload Data-Handling and Efficient Inter-Processor Communication
Gonzales, Edward	Demo of VR Spacecraft Magnetic Field Visualization
Gonzalez Cortes, Carlos	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Gottscholl, Andreas	Demo of VR Spacecraft Magnetic Field Visualization
Graebener, Josefine	Availability Vs. Lifetime Trade-Space In Spacecraft Computers
Green, Christopher	MUSTANG: A Workhorse for NASA Spaceflight Avionics
Greer, Lawrence	Silicon-Carbide Hybrid One-Bit Microcontroller in a Transport-Triggered Architecture
Gruber, Matt	SEFI Mitigation Middleware Radiation Test Results for NASA and Other GPU Applications
H
Haghani, Noosha	MUSTANG: A Workhorse for NASA Spaceflight Avionics
Haj Hammadeh, Zain	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Hamalainen, Rimma	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Hamilton, Nathaniel	Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Hanlon, Lorraine	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Haque, Musad	The DART Autonomy System
Hart, Stephen	The BRASH Toolkit for ROS2 and Flight Software Interoperability
Hernadez-Pellerano, Amri	MUSTANG: A Workhorse for NASA Spaceflight Avionics
Ho, Nhut	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Hobbs, Kerianne	Introduction to Trust Readiness Levels Breakout Discussion on Trust Readiness Level 1 Artifacts and Metrics Group Outbriefs Quick Re-Introduction to Trust Readiness Levels, Morning Recap Aerospace Human/Automation Dissonance Examples Breakout Discussion on Trust Readiness Level 2 Artifacts and Metrics Group Outbriefs Choose Your Own Adventure - Group decides deep dive area Breakout Discussions Group Outbriefs
Hobbs, Kerianne L	Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Huang, Calvin	Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis
Huang, Janine	Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis
Huang, Nelson	Demo of VR Spacecraft Magnetic Field Visualization
Hughes, Ian	IMAP Spacecraft and Instruments in Virtual Reality
I
Incer, Inigo	Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts
Ingham, Michel	Autonomy for Space Robots: Past, Present, and Future
J
Johnson, Taylor T	Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Jones, Brian	The Callisto Technology Demonstration: COTS Crew Interfaces aboard Artemis I
Jose, Tom	System model evaluation of RISC-V cores for improved performance and fault tolerance Performance modeling of a heterogeneous computing system based on the UCIe Interconnect Architecture
K
Kennedy, Laura	Space-based Clouds for Intelligence, Surveillance, and Reconnaissance Applications
Kenny, Patrick	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Keymeulen, Didier	High-Performance Embedded Space Computing System-on-Chip for space imaging spectrometer
Kirchhefer, Christoph	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Kirstein, Hannah	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Klyne, Lyle	Demo of VR Spacecraft Magnetic Field Visualization
Kolk, Sean	The Future of Space Robotics Panel
Korth, Luke	How to Scrub a Launch: Spaceport Cybersecurity
Krasowski, Michael	Silicon-Carbide Hybrid One-Bit Microcontroller in a Transport-Triggered Architecture
Kraus, Hannes	Demo of VR Spacecraft Magnetic Field Visualization
Krimmel, Florian	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Krupiarz, Christopher	The DART Autonomy System
Kubadia, Arpit	WannaFly: An Approach to Satellite Ransomware
L
Land, Ian	Sponsored Talk (Synopsys): Microelectronics Design Support for Radiation Environments
Landauer, Derrek	Performance Evaluation of the Radiation-Tolerant NVIDIA Tegra K1 System-on-Chip
Lanham, Austin	MUSTANG: A Workhorse for NASA Spaceflight Avionics
Le, Chinh	Challenges in FPGA Design for Complex, High Performance Space Applications
Le, Chinh	Sponsored Talk (LeWiz Communications): Critical Issues in Future Space Systems Sponsored Talk (AlphaData):  FPGA based Adaptive Computers for Space Sponsored Talk (Aril): A High Speed, Reliable, Low Voltage SRAM for Efficient Compute Sponsored Talk (Avalanche): True Mission Adaptability Enabled by Combination of new Adaptive SoCs and Idealized Memory Buffers Sponsored Talk (Teledyne): Teledyne e2v Edge Processing Solutions : Manufacturing Flow, Radiation Testing strategies and Space Use cases Sponsored Talk (Star-Dundee): SpaceFibre for Spaceflight Payload Data-Handling and Efficient Inter-Processor Communication Sponsored Talk (SiFive): RISC-V Solutions for Space Sponsored Talk (Mirabilis): System design using VisualSim to optimize Power-Performance-Area and identify vulnerabilities. Sponsored Talk (AMD): AI Inferencing in AMD Versal Adaptive SoCs
Liu, Li	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Lorentz, Vincent	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
Loudermilk, Dalan	Trustworthiness of a Surrogate Model for Assembly Sequencing of Space Structures
Lovelly, Tyler	Performance Evaluation of the Radiation-Tolerant NVIDIA Tegra K1 System-on-Chip
Luckcuck, Matt	[Space Robotics Workshop] CSP2Turtle: Verified Turtle Robot Plans
Lund, Andreas	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Lymer, John	Increasing Mission Success and Service Life through Robotic Servicing
Lüdtke, Daniel	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
M
MacConville, Dara	[Space Robotics Workshop] CSP2Turtle: Verified Turtle Robot Plans
Mahabal, Ashish	Cloud Storage and Computing in Deep Space as Catalysts for Scientific Discovery
Malatesta, Fabio	GR765 SPARC and RISC-V Multiprocessor System-on-Chip
Martín-Holgado, Pedro	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Mattmann, Chris	AI and Machine Learning from Back of the Napkin Sketch to Rovers on Mars
Mavrakis, Nikos	Panel Discussion [Space Robotics Workshop] Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Mavridou, Anastasia	[Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
McBreen, Sheila	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
McKenna, Caimin	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
McKeown, David	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Meshkat, Leila	Availability Vs. Lifetime Trade-Space In Spacecraft Computers
Meß, Jan-Gerd	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Miles, Lynn	Challenges in FPGA Design for Complex, High Performance Space Applications
Mirzaagha, Michael	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Monahan, Rosemary	[Space Robotics Workshop] CSP2Turtle: Verified Turtle Robot Plans
Morilla, Yolanda	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Moser, Joshua	Uncertainty in Servicing and Assembly Tasks for Space Robotic Manipulators
Mukherjee, Rudranarayan	Architectural Considerations for Servicing the Habitable Worlds Observatory
Murphy, David	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Murphy, Neil	Demo of VR Spacecraft Magnetic Field Visualization
Muschitiello, Michele	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
N
Naasz, Bo	In Space Servicing, Assembly, and Manufacturing Current Status and Envisioned Future
Narvaez, Pablo	Demo of VR Spacecraft Magnetic Field Visualization
Nepal, Ayush Mani	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Nesnas, Issa	Autonomy for Space Robots: Past, Present, and Future Summary of discussion points TBA Panel discussion: Solved, within reach, and long term challenges Increasingly Autonomous Perception and Decision Systems for Advanced Air Mobility Definition of a roadmap to address trust challenges in space autonomy TBA So you want to put a neural network in an airplane... Are you crazy? Assurance of Learning-enabled Autonomous Systems Closing Remarks and action items Day 2 Operational Test and Evaluation for Safety-Critical Autonomous Systems: Progress, Challenges, and Opportunities Designing a Robust Mars Landing amidst Uncertainty Panel and Open-Mic Discussion TBA Closing Remarks Day 1 Workshop Summary and Next Steps
Newman, Emily	Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis
Nifo, Victor	Utilizing Standardized Interfaces for Servicing Space Missions
Nuernberger, Benjamin	Demo of VR Spacecraft Magnetic Field Visualization
O
O'Neill, Ken	Beamforming Implementation for Space-Based RF Payloads using AMD Versal™ Adaptive Compute Acceleration Platforms
O'Neill, Ken	Sponsored Talk (AMD): AI Inferencing in AMD Versal Adaptive SoCs
Olivares-Mendez, Miguel	eXtended Reality for Enhanced Lunar Exploration Missions [Space Robotics Workshop] Resilient Exploration And Lunar Mapping System: A ROS 2 Multi-Robot SW Solution for Lunar Exploration
Ono, Hiro	To Boldly Go Where No Robots Have Gone Before – EELS Robot to Spearhead a New Space Exploration Paradigm of Diving into the Unknowns TBD Sequential Deep Learning for Mars Autonomous Navigation AI and Data-Driven In-situ Sensing for Space Digital Twin
Otte, Michael	Trustworthiness of a Surrogate Model for Assembly Sequencing of Space Structures
P
Park, Hyoshin	Sequential Deep Learning for Mars Autonomous Navigation AI and Data-Driven In-situ Sensing for Space Digital Twin
Perez, Ivan	(Title to be confirmed)
Pesce, Anastasia	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Peterson, Ryan	Workshop Introduction and Welcome Group Discussion Workshop Recap, Closing Remarks, & Action Items
Pinto, Alessandro	Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts
Pocock, Caleb	How to Scrub a Launch: Spaceport Cybersecurity
Pogorelyuk, Leonid	Benchmark Computer Performance for Wavefront Sensing and Control on Next Generation Space Telescopes
Poivey, Christian	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Pomerantz, Marc	Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis Intelligent requirement-to-test-case traceability system via Natural Language Processing and Machine Learning
Posselt, Derek	AI and Data-Driven In-situ Sensing for Space Digital Twin
Powell, Wesley	SpaceVPX Interoperability
Prokop, Norman	Silicon-Carbide Hybrid One-Bit Microcontroller in a Transport-Triggered Architecture
Prothro, John	A System to Provide Deterministic Flight Software Operation and Maximize Multicore Processing Performance: The Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) Datapath
Pruckner, Marco	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
Puig-Navarro, Javier	Planning and Control under Uncertainty for Planetary Lander Payload Offloading
Pye, John	Managing Model Uncertainty, Disturbances, and operational Space Characteristics Using Control Barrier and Lyapunov Functions
R
Rajagopal, Pavan	Trustworthy Autonomy for Gateway Vehicle System Manager
Ramos, Olga	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Raymond, Carol	Demo of VR Spacecraft Magnetic Field Visualization
Razo, Gus	Intelligent requirement-to-test-case traceability system via Natural Language Processing and Machine Learning
Reilly, Jack	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Richard, Antoine	Towards a common robotics simulator for lunar environments?
Riordan, Tom	Sponsored Talk (Aril): A High Speed, Reliable, Low Voltage SRAM for Efficient Compute
Roberge, Aki	In-Space Servicing as a Scientific Capability
Roberts, Brian	Demonstrating In-space Assembly and Servicing Technologies on the Ground and in Space Ending Remarks
Romero-Maestre, Amor	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Rouquette, Nicolas	Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts openCAESAR: A Platform for Semantically Rigorous and Agile MBSE Practices
Ruan, Matt	Beamforming Implementation for Space-Based RF Payloads using AMD Versal™ Adaptive Compute Acceleration Platforms
Rutishauser, David	A System to Provide Deterministic Flight Software Operation and Maximize Multicore Processing Performance: The Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) Datapath
Ryder, Landen	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
S
Sabogal, Daniel	SEFI Mitigation Middleware Radiation Test Results for NASA and Other GPU Applications
Salazar, George	Establishing Trust in NASA’s Artemis Campaign Computer-Human Interface (CHI) Implementation
Saleip, George	ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft
Sawada, Kae	Intelligent requirement-to-test-case traceability system via Natural Language Processing and Machine Learning
Schofield, Rembert	How to Scrub a Launch: Spaceport Cybersecurity
Schoppers, Marcel	Availability Vs. Lifetime Trade-Space In Spacecraft Computers
Schwarz, Radu	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
Sellin, Jenette	Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis
Sethi, Arjun	Voice Control System for Human Spaceflight
Shankar, Deepak	System model evaluation of RISC-V cores for improved performance and fault tolerance Performance modeling of a heterogeneous computing system based on the UCIe Interconnect Architecture
Sheikhi, Sanaz	Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems
Shu, Wei	A data pre-processing module for improved-accuracy Machine-Learning-based micro-Single-Event-Latchup detection
Sigholm, Johan	A Hybrid Space Architecture for Robust and Resilient Satellite Services
Simon, Cory	Computer Human Interface Challenges in Space Exploration
Singh, Sameer	Auditing Black Boxes: Model-Agnostic Explanations and Testing of Machine Learning
Sljivo, Irfan	Dynamic Assurance Cases with AdvoCATE [Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Some, Raphael	SpaceVPX Interoperability
Soriano, Angelo	Demo of VR Spacecraft Magnetic Field Visualization
Stewart, Kate	Finding Pragmatic Steps to Building Dependable Systems with Open Source
Stijnen, Bas	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Struebel, Jonathan	Development of a GPU based Single Board Computer for Space Applications
T
Terhaar, Hannah	Optimization of ARM Processor Architecture for Space Computing Performance with SAMRH7x MCU Family
Thompson, Joseph	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Thummala, Rajiv	WannaFly: An Approach to Satellite Ransomware
Tonicello, Ferdinando	Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases
Tran, Tomothy	Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020
Tropf, B. Teresa	The DART Autonomy System
Troxel, Ian	SEFI Mitigation Middleware Radiation Test Results for NASA and Other GPU Applications
Tse, Richard	Time Sensitive Networking (TSN) Brings Resilient and Low Latency Ethernet to Space
Tunstel, Edward	Software Considerations for ISAM Robotics Capabilities
U
Utter, Alexander	Slingshot and SatCat5 Overview
V
Van Campen, Julie	Possibilities and challenges for forging a path to serviceable observatories at L2
Van Der Meer, Dave	[Space Robotics Workshop] Resilient Exploration And Lunar Mapping System: A ROS 2 Multi-Robot SW Solution for Lunar Exploration
W
Wachtler, Johannes	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
Waldhör, Stefan	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
Wall, Ronan	Development of a Nanosatellite System Modeling Architecture for EIRSAT-1
Wallén, Mattias	A Hybrid Space Architecture for Robust and Resilient Satellite Services
Weigand, Roland	Open...ESA: Experience with open source and open ISA at the European Space Agency GR765 SPARC and RISC-V Multiprocessor System-on-Chip
Wenger, Martin	Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications
West, Gates	Development of a GPU based Single Board Computer for Space Applications
Wetch, Jeff	Sponsored Talk (Synopsys): Microelectronics Design Support for Radiation Environments
Williams, Justin	Demo of VR Spacecraft Magnetic Field Visualization
Withee, Sarah	Operational challenges for robots in the lunar environment: implications for software development
Wyrwas, Edward	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
X
Xu, Xiaojing	An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions
Z
Zhao, Junkai	A data pre-processing module for improved-accuracy Machine-Learning-based micro-Single-Event-Latchup detection

Disclaimer | Powered by EasyChair Smart Program