Robert Karban: Unterschied zwischen den Versionen

* {{Literatur |Autor=Robert Karban |Titel=Pragmatic Verification and Validation of Industrial Executable SysML Models |Sammelwerk=Systems Engineering |Verlag=Wiley |Datum=2023-05-10 |Sprache=en |ISSN=1520-6858 |DOI=10.1002/sys.21679 |Typ=wl}}

* {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |Sprache=en |ISBN=978-1-6654-9032-0 |Seiten= |Spalten= |ArtikelNr= |Fundstelle= |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |Typ=wl}}

* {{Literatur |Autor=Robert Karban |Titel=A Model-Based Approach for Europa Lander Mission Concept Exploration |Hrsg= |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |Sprache=en |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}}

* {{Literatur |Autor=Robert Karban |Titel=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Verlag=SPIE Digital Library |Datum=2020 |Sprache=en |DOI=10.1117/12.2575434 |Typ=wl}}

* {{Literatur |Autor=Robert Karban |Titel=Model checking as a service: towards pragmatic hidden formal methods |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 37 |Verlag=ACM Digital Library |Datum=2020-10 |Sprache=en |DOI=10.1145/3417990.3421407 |Typ=wl}}

* {{Literatur |Autor=Robert Karban |Titel=Assisted Authoring of Model-Based Systems Engineering Documents |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 36 |Verlag=ACM Digital Library |Datum=2020-10 |Sprache=en |DOI=10.1145/3417990.3421406 |Typ=wl}}

* {{Literatur |Autor=Robert Karban |Titel=The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope |Sammelwerk=Proceedings Volume 10705, Modeling, Systems Engineering, and Project Management for Astronomy VIII |Verlag=SPIE Digital Library |Datum=2018 |Sprache=en |DOI=10.1117/12.2312281 |Typ=wl}}

* "Analyzing the operational behavior of the alignment and phasing system of the thirty meter telescope using SysML", (AOELT 2017)

* "Towards a Reference Architecture for Model-Based Engineering Environments", (AIAA SPACE, 2016),  {{DOI|10.2514/6.2016-5468}}

* "Creating system engineering products with executable models in a model-based engineering environment", (SPIE, 2016), [[DOI:10.1117/12.2232785]]

* "ESEM: Automated System Analysis using Executable SysML Modeling Patterns", (INCOSE, 2016), [[DOI:10.1002/j.2334-5837.2016.00142.x]]

* "Ontology and Modeling Patterns for State-Based Behavior Representation, (AIAA Infotec, 2015), [[DOI:10.2514/6.2015-1115]]

* {{Literatur |Autor=Robert Karban |Titel=Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain |Hrsg= Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran |Sammelwerk=Model-Driven Engineering Languages and Systems |Verlag=Springer |Datum=2014 |Sprache=en |Reihe=Lecture Notes in Computer Science (LNCS) |BandReihe=8767 |ISBN=978-3-319-11653-2 |Seiten=403-419 |DOI=10.1007/978-3-319-11653-2_25 |Typ=wl}}

* "Model based systems engineering for astronomical projects", (SPIE, 2014), [[DOI:10.1117/12.2055540]]

* "Abstraction for Executable and Checkable Fault Management Models", (Procedia, 2014), [[DOI:10.1016/j.procs.2014.03.019]]

* "Formal Validation of Fault Management Design Solutions" (ACM, 2014), [[DOI:10.1145/2557833.2560583]]

* "An Ontology For State Analysis: Formalizing the Mapping to SysML", (IEEE Aerospace Conference, 2012), [[DOI:10.1109/AERO.2012.6187335]]

* "Three years of MBSE for a large scientific programme: Report from the Trenches of Telescope Modeling", (INCOSE, 2012), [[DOI:10.1002/j.2334-5837.2012.tb01421.x]]

* "Towards a State Based Control Architecture for Large Telescopes: Laying a Foundation at the VLT", (ICALEPCS, 2011)

* "Exploring Model Based Engineering for Large Telescopes", (SPIE 2008), [[DOI:10.1117/12.788739]]