Pragmatic verification and validation of industrial executable SysML models
Horváth, Benedek, Molnár, Vince, Graics, Bence, Hajdu, Ákos, Ráth, István, Horváth, Ákos, Karban, Robert, Trancho, Gelys, Micskei, Zoltán
Published in Systems engineering (01.11.2023)
Published in Systems engineering (01.11.2023)
Get full text
Journal Article
A Model-Based Approach for Europa Lander Mission Concept Exploration
Lattimore, Myra, Karban, Robert, Gomez, Marie Piette, Bovre, Emilee, Reeves, Glenn E.
Published in 2022 IEEE Aerospace Conference (AERO) (05.03.2022)
Published in 2022 IEEE Aerospace Conference (AERO) (05.03.2022)
Get full text
Conference Proceeding
Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation
Karban, Robert, Ardito, Steven, Lattimore, Myra, Bayer, Todd, Quadrelli, Marco, Black, Aaron, Hang, Tommy, Altenbuchner, Cornelia, Delp, Christopher
Published in 2023 IEEE Aerospace Conference (04.03.2023)
Published in 2023 IEEE Aerospace Conference (04.03.2023)
Get full text
Conference Proceeding
Abstractions for Executable and Checkable Fault Management Models
Gibson, Corrina, Karban, Robert, Andolfato, Luigi, Day, John
Published in Procedia computer science (2014)
Published in Procedia computer science (2014)
Get full text
Journal Article
An ontology for State Analysis: Formalizing the mapping to SysML
Wagner, David A., Bennett, M. B., Karban, R., Rouquette, N., Jenkins, S., Ingham, M.
Published in 2012 IEEE Aerospace Conference (01.03.2012)
Published in 2012 IEEE Aerospace Conference (01.03.2012)
Get full text
Conference Proceeding
Preface to the OpenMBEE International Workshop
Karban, Robert, Robertson, Robbie, Qamar, Ahsan, Lee, Erich
Published in 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.10.2021)
Published in 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.10.2021)
Get full text
Conference Proceeding