Robert Karban: Unterschied zwischen den Versionen
K
Formatierung (WP:ZR#Allgemeine Regeln). BK behoben
K (WP:WPSK (ISSN fehlerhaft) behoben) |
K (Formatierung (WP:ZR#Allgemeine Regeln). BK behoben) |
||
| Zeile 25: | Zeile 25: | ||
Robert Karban hat zahlreiche Publikationen mitverfasst, darunter: | Robert Karban hat zahlreiche Publikationen mitverfasst, darunter: | ||
* {{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=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 |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 |Datum=2020-10 |Sprache=en |DOI=10.1145/3417990.3421407 |Typ=wl}} | ||
* "Assisted Authoring of Model-Based Systems Engineering Documents", (ACM, 2020), [ | * "Assisted Authoring of Model-Based Systems Engineering Documents", (ACM, 2020), [https://doi.org/10.1145/3417990.3421406 DOI: 10.1145.3417990.3421406] | ||
* "The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope", SPIE 2018, [ | * "The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope", SPIE 2018, [https://doi.org/10.1117/12.2312281 DOI: 10.1117.12.2312281] | ||
* "Analyzing the operational behavior of the alignment and phasing system of the thirty meter telescope using SysML", (AOELT 2017) | * "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]] | * "Towards a Reference Architecture for Model-Based Engineering Environments", (AIAA SPACE, 2016), [[DOI:10.2514/6.2016-5468]] | ||