Robert Karban: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
→Publikationen (Auswahl): Co-Autoren erg. Teilbearb.
(→Publikationen (Auswahl): Doi Vorlage, Sprachparameter raus (ergibt sich aus Titel), Lückenhaft: Co-Autoren fehlen) |
(→Publikationen (Auswahl): Co-Autoren erg. Teilbearb.) |
||
| Zeile 24: | Zeile 24: | ||
{{Lückenhaft|Ko-Autoren und präzise Namen der Fachzeitschriften fehlen | {{Lückenhaft|Ko-Autoren und präzise Namen der Fachzeitschriften fehlen | ||
}} | }} | ||
* {{Literatur |Autor=Robert Karban |Titel=Pragmatic Verification and Validation of Industrial Executable SysML Models |Sammelwerk=Systems Engineering |Verlag=Wiley |Datum=2023-05-10 |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 |ISBN=978-1-6654-9032-0 |Seiten= |Spalten= |ArtikelNr= |Fundstelle= |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |Typ=wl}} | * mit Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth et al.: {{Literatur |Autor=Robert Karban |Titel=Pragmatic Verification and Validation of Industrial Executable SysML Models |Sammelwerk=Systems Engineering |Verlag=Wiley |Datum=2023-05-10 |ISSN=1520-6858 |DOI=10.1002/sys.21679 |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 |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}} | * mit Steven Ardito; Myra Lattimore; Todd Bayer; Marco Quadrelli; Aaron Black et al.: {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |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=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Verlag=SPIE Digital Library |Datum=2020 |DOI=10.1117/12.2575434 |Typ=wl}} | * mit Myra Lattimore; Marie Piette Gomez; Emilee Bovre; Glenn E. Reeves et al.: {{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 |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |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 |DOI=10.1145/3417990.3421407 |Typ=wl}} | * mit L. Andolfato: {{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 |DOI=10.1117/12.2575434 |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 |DOI=10.1145/3417990.3421406 |Typ=wl}} | * mit Benedek Horváth, Bence Graics, Ákos Hajdu, István Ráth et al.: {{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 |DOI=10.1145/3417990.3421407 |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 |DOI=10.1117/12.2312281 |Typ=wl}} | * mit Thomas Boyer Chammard, Blake Regalia, Ivan Gomes: {{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 |DOI=10.1145/3417990.3421406 |Typ=wl}} | ||
* ''Towards a Reference Architecture for Model-Based Engineering Environments.'' AIAA SPACE, 2016, {{DOI|10.2514/6.2016-5468}} | * mit Amanda G. Crawford, Gelys Trancho, Michele Zamparelli, Sebastian Herzig, Ivan Gomes et al.: {{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 |DOI=10.1117/12.2312281 |Typ=wl}} | ||
* ''Creating system engineering products with executable models in a model-based engineering environment.'' SPIE, 2016, {{DOI|10.1117/12.2232785}} | * mit Sebastian J. Herzig, Michel D. Ingham: ''Towards a Reference Architecture for Model-Based Engineering Environments.'' AIAA SPACE, 2016, {{DOI|10.2514/6.2016-5468}} | ||
* ''ESEM: Automated System Analysis using Executable SysML Modeling Patterns.'' INCOSE, 2016, {{DOI|10.1002/j.2334-5837.2016.00142.x}} | * mit Frank G. Dekens'','' Sebastian Herzig'','' Maged Elaasar, Nerijus Jankevičius: ''Creating system engineering products with executable models in a model-based engineering environment.'' SPIE, 2016, {{DOI|10.1117/12.2232785}} | ||
* mit Nerijus Jankevičius, Maged Elaasar: ''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}} | * ''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 |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}} | * {{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 |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}} | ||