Alejandro Salado

53 papers B 3Journal 40Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Theory-driven Interpretation and Elaboration of Verification and Validation.
CoRR
Hanumanthrao Kannan, Alejandro Salado
2025 J jnl
A systematic literature review on the mathematical underpinning of model-based systems engineering.
Syst. Eng.
Paul Wach, Taylan G. Topcu, Sukhwan Jung, Brandt Sandman, Aditya U. Kulkarni, Alejandro Salado
2025 — conf
An Ontological Representation of the UML Testing Profile for Digital Test and Evaluation.
MODELS-C
Pooja Diwakar Pandit, Joe Gregory, Hunter Fiore, Alejandro Salado
2025 J jnl
Exploring Core and Periphery Precepts in Biological and Artificial Intelligence: An Outcome-Based Perspective.
CoRR
Niloofar Shadab, Tyler Cody, Alejandro Salado, Taylan G. Topcu, Mohammad Shadab, Peter A. Beling
2024 J jnl
A comparative experiment between textual requirements and model-based requirements on proxies for contractual safety.
Syst. Eng.
Alejandro Salado, Niloofar Shadab
2024 J jnl
An ontology-based digital test and evaluation master plan (dTEMP) compliant with DoD policy.
Syst. Eng.
Joe Gregory, Alejandro Salado
2024 J jnl
Emergent knowledge patterns in verification artifacts.
Syst. Eng.
Sukhwan Jung, Alejandro Salado
2024 J jnl
Formal Inconsistencies of Expertise Aggregation Techniques Commonly Employed in Engineering Teams.
Syst.
Cynthia Stephen, Hanumanthrao Kannan, Alejandro Salado
2024 J jnl
Interpreting integrability.
Syst. Eng.
Alejandro Salado
2024 J jnl
MBSE adoption experiences in organizations: Lessons learned.
Syst. Eng.
Kaitlin Henderson, Thomas A. McDermott, Alejandro Salado
2024 J jnl
Optimal verification strategy for general development plans using a belief-based approach.
Syst. Eng.
Aditya U. Kulkarni, Ashley Girod, Peng Xu, Alejandro Salado
2023 J jnl
A Systems-Theoretical Formalization of Closed Systems.
CoRR
Niloofar Shadab, Tyler Cody, Alejandro Salado, Peter A. Beling
2023 J jnl
A UCB-Based Tree Search Approach to Joint Verification-Correction Strategy for Large-Scale Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Peng Xu, Xinwei Deng, Alejandro Salado
2023 J jnl
Introduction to the Systems Engineering's Top Space Challenges Virtual Collection.
J. Aerosp. Inf. Syst.
Jeffrey Newcamp, Michael Z. Miller, Alessandro Golkar, Wenjiong Gu, Alejandro Salado
2023 J jnl
Towards Developing Metrics to Evaluate Digital Engineering.
Syst. Eng.
Kaitlin Henderson, Thomas A. McDermott, Eileen Van Aken, Alejandro Salado
2022 J jnl
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Peng Xu, Alejandro Salado, Xinwei Deng
2022 J jnl
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems.
CoRR
Peng Xu, Xinwei Deng, Alejandro Salado
2022 J jnl
An experimentation framework for validating architectural properties as proxies for the ilities.
Syst. Eng.
Alejandro Salado
2022 — conf
Closed Systems Paradigm for Intelligent Systems.
SysCon
Niloofar Shadab, Tyler Cody, Alejandro Salado, Peter A. Beling
2022 — conf
Core and Periphery as Closed-System Precepts for Engineering General Intelligence.
AGI
Tyler Cody, Niloofar Shadab, Alejandro Salado, Peter A. Beling
2022 J jnl
Core and Periphery as Closed-System Precepts for Engineering General Intelligence.
CoRR
Tyler Cody, Niloofar Shadab, Alejandro Salado, Peter A. Beling
2022 J jnl
Design of an IoT System for the Palletized Distribution Supply Chain with Model-Based Systems Engineering Tools.
Syst.
Nicolas Navarro, László Horváth, Alejandro Salado
2022 J jnl
Expert Opinion Fusion Framework Using Subjective Logic for Fault Diagnosis.
IEEE Trans. Cybern.
Peng Xu, Jin-Hee Cho, Alejandro Salado
2022 J jnl
Modeling correction activities in the context of verification strategies.
Syst. Eng.
Peng Xu, Alejandro Salado
2022 J jnl
Optimal verification strategies in multi-firm projects.
Syst. Eng.
Aditya U. Kulkarni, Alejandro Salado, Christian Wernz
2021 J jnl
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems.
CoRR
Peng Xu, Alejandro Salado, Xinwei Deng
2021 J jnl
A systems-theoretic articulation of stakeholder needs and system requirements.
Syst. Eng.
Alejandro Salado
2021 J jnl
An evaluation of the optimality of frequent verification for vertically integrated systems.
Syst. Eng.
Aditya U. Kulkarni, Alejandro Salado, Peng Xu, Christian Wernz
2021 J jnl
Socio-technical scales in socio-environmental modeling: Managing a system-of-systems modeling approach.
Environ. Model. Softw.
Takuya Iwanaga, Hsiao-Hsuan Wang, Serena H. Hamilton, Volker Grimm, Tomasz E. Koralewski, Alejandro Salado, Sondoss Elsawah, Saman Razavi, Jing Yang, Pierre Glynn, Jennifer M. Badham, Alexey A. Voinov, Min Chen, William E. Grant, Tarla Rai Peterson, Karin Frank, Gary Shenk, C. Michael Barton, John C. Little
2021 J jnl
Value and benefits of model-based systems engineering (MBSE): Evidence from the literature.
Syst. Eng.
Kaitlin Henderson, Alejandro Salado
2020 B conf
A Reinforcement Learning Approach to Design Verification Strategies of Engineered Systems.
SMC
Peng Xu, Alejandro Salado, Guangrui Xie
2020 J jnl
Efficient Population of the Verification Tradespace Using Bayesian Inference.
IEEE Syst. J.
Farshad Farkhondehmaal, Alejandro Salado
2020 B conf
Structural Rules for an Intelligent Advisor to Identify Requirements Gaps using Model-Based Requirements.
SMC
Alejandro Salado, Richard M. Tan
2020 J jnl
Towards an Interface Description Template for AI-enabled Systems.
CoRR
Niloofar Shadab, Alejandro Salado
2020 B conf
Towards an Interface Description Template for Reusing AI-enabled Systems.
SMC
Niloofar Shadab, Alejandro Salado
2019 J jnl
Constructing True Model-Based Requirements in SysML.
Syst.
Alejandro Salado, Paul Wach
2019 J jnl
Elemental patterns of verification strategies.
Syst. Eng.
Alejandro Salado, Hanumanthrao Kannan
2018 J jnl
A mathematical model of verification strategies.
Syst. Eng.
Alejandro Salado, Hanumanthrao Kannan
2018 — conf
Art and architecture: Effectively communicating models of systems.
SysCon
Thomas A. McDermott, Alejandro Salado
2018 J jnl
Conceptualization of a T-Shaped engineering competency model in collaborative organizational settings: Problem and status in the Spanish aircraft industry.
Syst. Eng.
Bernardo A. Delicado, Alejandro Salado, Rafael Mompó
2018 J jnl
Elegance as Complexity Reduction in Systems Design.
Complex.
Luca Iandoli, Letizia Piantedosi, Alejandro Salado, Giuseppe Zollo
2017 J jnl
Reducing Excess Requirements Through Orthogonal Categorizations During Problem Formulation: Results of a Factorial Experiment.
IEEE Trans. Syst. Man Cybern. Syst.
Alejandro Salado, Roshanak Nilchiani
2017 J jnl
The Tension Matrix and the Concept of Elemental Decomposition: Improving Identification of Conflicting Requirements.
IEEE Syst. J.
Alejandro Salado, Roshanak Nilchiani
2016 — conf
Exile: A natural consequence of autonomy and belonging in systems-of-systems.
SysCon
Alejandro Salado
2016 J jnl
The Concept of Order of Conflict in Requirements Engineering.
IEEE Syst. J.
Alejandro Salado, Roshanak Nilchiani
2015 — conf
Abandonment: A natural consequence of autonomy and belonging in systems-of-systems.
SoSE
Alejandro Salado
2015 J jnl
Adaptive Requirements Prioritization (ARP): Improving Decisions between Conflicting Requirements.
Syst. Eng.
Alejandro Salado, Roshanak Nilchiani
2015 J jnl
Defining Better Test Strategies with Tradespace Exploration Techniques and Pareto Fronts: Application in an Industrial Project.
Syst. Eng.
Alejandro Salado
2014 J jnl
A Categorization Model of Requirements Based on Max-Neef's Model of Human Needs.
Syst. Eng.
Alejandro Salado, Roshanak Nilchiani
2014 — conf
Increasing the Probability of Developing Affordable Systems by Maximizing and Adapting the Solution Space.
CSER
Alejandro Salado, Roshanak Nilchiani
2014 — conf
The Concept of Problem Complexity.
CSER
Alejandro Salado, Roshanak Nilchiani
2013 — conf
Contextual- and Behavioral-Centric Stakeholder Identification.
CSER
Alejandro Salado, Roshanak Nilchiani
2013 — conf
Using Maslow's hierarchy of needs to define elegance in system architecture.
CSER
Alejandro Salado, Roshanak Nilchiani