Publications
72 entries, merged from ORCID, Crossref, DBLP, OpenAlex and NTRS. Citation counts are OpenAlex's; Google Scholar counts higher. Download as BibTeX.
2026
- An Engineering Life-Cycle Assurance Process for Autonomous Space Systems Proceedings - IEEE Aerospace Conference, 2026. doi
- Autonomous Onboard Planning, Execution and Resource Management for the Endurance Lunar Rover 2026. doi
- Supervised and Unsupervised Methods for Detecting Anomalies in an Autonomous Long-Range Lunar Rover PHM Society European Conference, 2026. doi pdf
2025
- Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design ACM Transactions on Cyber-Physical Systems, 2025. doi pdf dblp 11 cites
- openCAESAR Application to Power Balance Analysis in Early Space Mission Formulation MODELS-C, 2025. doi dblp 3 cites
2024
- Codiscovering graphical structure and functional relationships within data: A Gaussian Process framework for connecting the dots Proceedings of the National Academy of Sciences, 2024. doi pdf 7 cites
- Onboard Planning and Execution of Mobility and Telecommunications for the Endurance Lunar Rover 2024. doi 3 cites
- Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts CoRR, 2024. doi pdf dblp
- Endurance Mission-Level Simulation Architecture for Autonomy Development 2024. doi
2023
- openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering MoDELS (Companion), 2023. doi dblp 24 cites
- Ontological Metamodeling and Analysis Using openCAESAR Springer eBooks, 2023. doi 12 cites
- Autonomica: Ontological Modeling and Analysis of Autonomous Behavior INCOSE International Symposium, 2023. doi 3 cites
- Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts IEEE International Conference on Space Mission Challenges for Information Technology, 2023. doi 1 cites
- Computational Hypergraph Discovery, a Gaussian Process framework for connecting the dots CoRR, 2023. doi dblp
2022
- Semantic Modeling for Power Management Using CAESAR Springer eBooks, 2022. doi 3 cites
2020
- CAESAR Model-Based Approach to Harness Design Proceedings - IEEE Aerospace Conference, 2020. doi 28 cites
2019
- CAESAR Server New Design Plan NASA Technical Reports Server, 2019.
2017
- Operationalizing Engineering Models Of Steady-State Equations Into Efficient Simulation Programs University of Southern California Digital Library, 2017. doi pdf 3 cites
2016
- Simplifying OMG MOF-Based Metamodeling ISoLA (2), 2016. doi dblp 2 cites
2015
- Ontology and Modeling Patterns for State-Based Behavior Representation AIAA Infotech@Aerospace Conference, 2015. doi 21 cites
2013
- Mining Requirements Knowledge from Operational Experience Managing Requirements Knowledge, 2013. doi dblp 7 cites
- Integrating Analytical Models with Descriptive System Models: Implementation of the OMG SyML Standard for the Tool-specific Case of MapleSim and MagicDraw CSER, 2013. doi pdf dblp 6 cites
- Evaluating fractionated space systems - Status Proceedings - IEEE Aerospace Conference, 2013. doi 1 cites
2012
- An ontology for State Analysis: Formalizing the mapping to SysML Proceedings - IEEE Aerospace Conference, 2012. doi 54 cites
- Semantically-Rigorous Systems Engineering Modeling Using Sysml and OWL NASA Technical Reports Server (NASA), 2012. 19 cites
- Evaluating a Fractionated Spacecraft system: A business case tool for DARPA's F6 program Proceedings - IEEE Aerospace Conference, 2012. doi 14 cites
- Semantically-Rigorous Systems Engineering Using SysML and OWL NASA Technical Reports Server (NASA), 2012. 6 cites
- Progress on Integrating OWL and SysML NASA Technical Reports Server (NASA), 2012. 2 cites
- SysML-Modelica: A Redefinition & Modification Use Case NASA Technical Reports Server (NASA), 2012.
2011
- Conceptual Model of Quantities, Units, Dimensions, and Values NASA Technical Reports Server (NASA), 2011.
- IMCE MOF2/OWL2 Integration NASA Technical Reports Server (NASA), 2011.
2010
- 5.5.1 An Overview of the SysML‐Modelica Transformation Specification INCOSE International Symposium, 2010. doi pdf 113 cites
- Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II MoDELS (2), 2010. doi dblp 41 cites
- Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I MoDELS (1), 2010. doi dblp 28 cites
- Programming and Validation Techniques for Reliable Goal-driven Autonomic Software Autonomic Communication, 2010. doi dblp 3 cites
- OWL2 and SysML NASA Technical Reports Server (NASA), 2010.
- Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I 2010.
2009
- Requirements Analysis for an Integrated OCL Development Environment Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009. doi pdf dblp 7 cites
- Using Defect Reports to Build Requirements Knowledge in Product Lines MARK@RE, 2009. doi dblp 4 cites
- Semantically Enhanced Containers for Concurrent Real-Time Systems ECBS, 2009. doi dblp 2 cites
2008
- Verification and semantic parallelization of goal-driven autonomous software Autonomics, 2008. doi pdf dblp 6 cites
2005
- OWL for space mission systems development at JPL with semantic architecture styles OWL: Experiences and Directions, 2005. 2 cites
- Semantic web service ontology standards NASA Technical Reports Server (NASA), 2005.
2004
- Software Organization to Facilitate Dynamic Processor Scheduling IPDPS, 2004. doi dblp 24 cites
- Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience ISESE, 2004. doi dblp 20 cites
2003
- Using Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience 2003. 3 cites
- From cradle to grave: an architecture substrate for software lifecycles NASA Technical Reports Server (NASA), 2003.
- Model-based code generation: past, present and future NASA Technical Reports Server (NASA), 2003.
- UML/MDA Reality Check: Heterogenous Architecture Style UML, 2003. doi dblp
2002
- Design of the Remote Agent experiment for spacecraft autonomy Proceedings - IEEE Aerospace Conference, 2002. doi 135 cites
- The Mission Data System's software architecture framework NASA Technical Reports Server (NASA), 2002. 1 cites
- Event-based systems and software architecture: out of the shadows and into the mainstream NASA Technical Reports Server (NASA), 2002.
2001
- Dependable autonomous systems = knowing well what to do + knowing how to do it well NASA Technical Reports Server (NASA), 2001.
2000
- Remote Agent: An Autonomous Control System for the New Millennium ECAI, 2000. dblp 38 cites
- Remote Agent Experiment NASA Technical Reports Server (NASA), 2000. 9 cites
- A Flexible Statechart-to-Model-Checker Translator NASA STI Repository (National Aeronautics and Space Administration), 2000. pdf 3 cites
- Remote Agent Experiment Validation Report NASA Technical Reports Server (NASA), 2000.
- The 13th Technology of Deep Space One - Abstract NASA Technical Reports Server (NASA), 2000.
1999
- Autonomy and software technology on NASA's Deep Space One IEEE Intell. Syst., 1999. doi dblp 32 cites
- The 13/sup th/ technology of Deep Space One Proceedings - IEEE Aerospace Conference, 1999. doi 14 cites
- Abstract for 1999 Rational Software User Conference NASA Technical Reports Server (NASA), 1999.
1998
- "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation WIFT, 1998. doi dblp 1 cites
- Position Paper for WIFT98 NASA Technical Reports Server (NASA), 1998.
1996
- Building Steady-State Simulators via Hierarchical Feedback Decomposition AAAI/IAAI, Vol. 2, 1996. dblp
1995
- Hierarchical Feedback Decomposition of Steady-State Equation Models NASA Technical Reports Server (NASA), 1995. 2 cites
- Quantitative Diagnosis of Continuous-Valued, Stead-State Systems NASA Technical Reports Server (NASA), 1995.
1994
- MESA: An Interactive Modeling and Simulation Environment for Intelligent Systems Automations HICSS (3), 1994. doi dblp
1993
- Causal modeling and event-driven simulation for monitoring of continuous systems AIAA Computing in Aerospace Conference, 1993. doi 11 cites
- Extending model-based diagnosis for analog thermodynamical devices AIAA Computing in Aerospace Conference, 1993. doi
1992
- Event-driven simulation in SELMON: An overview of EDSE NASA Technical Reports Server (NASA), 1992. 5 cites
- Sensor placement for diagnosability in space-borne systems - A model-based reasoning approach AIAA Aerospace Sciences Meeting and Exhibit, 1992. doi 5 cites