Kristin Giammarco

18 papers Journal 4Unranked 14
YearRankTypeTitle / Venue / Authors
2024 — conf
Towards the Formal Verification of SysML v2 Models.
MoDELS (Companion)
Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm
2022 J jnl
Assessing Design Repository Search Effectiveness.
Syst.
Daniel Herrington, Paul T. Beery, Kristin Giammarco
2021 J jnl
A graph theory approach to predicting functional failure propagation during conceptual systems design.
Syst. Eng.
Bryan M. O'Halloran, Nikolaos Papakonstantinou, Kristin Giammarco, Douglas L. Van Bossuyt
2019 J jnl
A mission-based architecture for swarm unmanned systems.
Syst. Eng.
Kathleen Giles, Kristin Giammarco
2018 J jnl
Modeling Isomorphic Systems Processes Using Monterey Phoenix.
Syst.
Kristin Giammarco, Len Troncale
2017 — conf
Architecture modeling software analytics: Model quality and maturity assessment using automated tools.
SoSE
Kristin Giammarco
2017 — conf
Comprehensive use case scenario generation: An approach for modeling system of systems behaviors.
SoSE
Kristin Giammarco, Kathleen Giles, Clifford A. Whitcomb
2017 — conf
Deriving stochastic properties from behavior models defined by Monterey Phoenix.
SoSE
John Quartuccio, Kristin Giammarco, Mikhail Auguston
2017 — conf
Identifying decision patterns using Monterey Phoenix.
SoSE
John Quartuccio, Kristin Giammarco, Mikhail Auguston
2017 — conf
Practical modeling concepts for engineering emergence in systems of systems.
SoSE
Kristin Giammarco
2017 — conf
Systems architecture in failure analysis (Applications of architecture modeling to system failure analysis).
SoSE
Alex Rambikur, Kristin Giammarco, Bryan O'Halloran
2014 — conf
A Formal Method for Assessing Architecture Model and Design Maturity Using Domain-independent Patterns.
CSER
Kristin Giammarco
2014 — conf
Controlling Design Complexity with the Monterey Phoenix Approach.
Complex Adaptive Systems
Kristin Giammarco, Mikhail Auguston, W. Clifton Baldwin, Ji'on Crump, Monica Farah-Stapleton
2014 — conf
Decomposition Relationship Visualization for Executable Architecture Diagrams.
CSER
Jaime C. Lew, Kristin Giammarco
2014 — conf
Fuzzy Optimization of Acknowledged System of Systems Meta-architectures for Agent based Modeling of Development.
CSER
Louis Pape, Siddhartha Agarwal, Kristin Giammarco, Cihan H. Dagli
2013 — conf
A Formal Method for Evaluation of a Modeled System Architecture.
Complex Adaptive Systems
Matthew Rodano, Kristin Giammarco
2013 — conf
A Fuzzy Evaluation method for System of Systems Meta-architectures.
CSER
Louis Pape, Kristin Giammarco, John M. Colombi, Cihan H. Dagli, Nil H. Kilicay-Ergin, George Rebovich
2013 — conf
Well, You didn't Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior.
Complex Adaptive Systems
Kristin Giammarco, Mikhail Auguston