Kristin Giammarco
Kristin Giammarco
Associate Professor, NPS
Dirección de correo verificada de
Citado por
Citado por
A fuzzy evaluation method for system of systems meta-architectures
L Pape, K Giammarco, J Colombi, C Dagli, N Kilicay-Ergin, G Rebovich
Procedia Computer Science 16, 245-254, 2013
A formal method for evaluation of a modeled system architecture
M Rodano, K Giammarco
Procedia Computer Science 20, 210-215, 2013
Practical modeling concepts for engineering emergence in systems of systems
K Giammarco
2017 12th System of Systems Engineering Conference (SoSE), 1-6, 2017
Verification and validation of behavior models using lightweight formal methods
K Giammarco, K Giles
Disciplinary convergence in systems engineering research, 431-447, 2018
Well, you didn’t say not to! A formal systems engineering approach to teaching an unruly architecture good behavior
K Giammarco, M Auguston
Procedia Computer Science 20, 277-282, 2013
A mission‐based architecture for swarm unmanned systems
K Giles, K Giammarco
Systems Engineering 22 (3), 271-281, 2019
Mission-based architecture for swarm composability (MASC)
K Giles, K Giammarco
Procedia Computer Science 114, 57-64, 2017
An advanced computational approach to system of systems analysis & architecting using agent-based behavioral model
CH Dagli, N Ergin, DL Enke, A Gosavi, R Qin, J Colombi, G Rebovich, ...
Systems Engineering Research Center (SERC), 2013
A formal method for assessing architecture model and design maturity using domain-independent patterns
K Giammarco
Procedia Computer Science 28, 555-564, 2014
Modeling and verifying business processes with Monterey Phoenix
M Auguston, K Giammarco, WC Baldwin, M Farah-Stapleton
Procedia Computer Science 44, 345-353, 2015
Formal methods for architecture model assessment in systems engineering
K Giammarco
Proceedings of the 8th Conference on Systems Engineering Research, 522-531, 2010
A graph theory approach to functional failure propagation in early complex cyber‐physical systems (CCPSs)
BM O'Halloran, N Papakonstantinou, K Giammarco, DL Van Bossuyt
INCOSE International Symposium 27 (1), 1734-1748, 2017
Architecture Model-based Interoperability Assessment
KM Giammarco
US Patent App. 14/247,657, 2017
Fuzzy optimization of acknowledged system of systems meta-architectures for agent based modeling of development
L Pape, S Agarwal, K Giammarco, C Dagli
Procedia Computer Science 28, 404-411, 2014
A new approach to system and software architecture specification based on behavior models
M Auguston, C Whitcomb, K Giammarco
Proceedings of the 3rd International Conference on Model-Based Systems …, 2010
Monterey Phoenix—Behavior Modeling Approach for the Early Verification and Validation of System of Systems Emergent Behaviors
K Giammarco, M Auguston
Engineering Emergence, 357-388, 2018
Executable behavioral modeling of system and software architecture specifications to inform resourcing decisions
M Farah-Stapleton, M Auguston, K Giammarco
Procedia Computer Science 95, 48-57, 2016
An instructional design reference mission for search and rescue operations
K Giammarco, S Hunt, C Whitcomb
Naval Postgraduate School, 2015
Development and analysis of integrated C4ISR architectures
M Carlomusto, K Giammarco, JD Lock
MILCOM 2005-2005 IEEE Military Communications Conference, 2005
Comprehensive use case scenario generation: An approach and template for modeling system of systems behaviors
K Giammarco, CA Whitcomb
Proceedings of the 12th Annual System of Systems Engineering Conference …, 2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20