Robert Karban: Unterschied zwischen den Versionen

Robert Karban (Quelltext anzeigen)

Version vom 13. September 2023, 10:54 Uhr

2 Bytes entfernt , 13. September 2023

K

→‎Publikationen (Auswahl): älteste zuerst

Anonymer Benutzer

w>Nadi2018

@@ Zeile 22: / Zeile 22: @@
 == Publikationen (Auswahl) ==
-* 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}}
+* mit M. Zamparelli, B. Bauvir,  B. Koehler, L. Noethe'','' A. Balestra: ''Exploring Model Based Engineering for Large Telescopes.'' SPIE 2008, {{DOI|10.1117/12.788739}}
-* 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}}
+* mit David A. Wagner, Matthew B. Bennett, Robert, Nicolas Rouquette, Steven Jenkins et al.: ''An Ontology For State Analysis: Formalizing the Mapping to SysML''. IEEE Aerospace Conference, 2012, {{DOI|10.1109/AERO.2012.6187335}}
-* 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}}
+* mit Michele Zamparelli, Bertrand Bauvir, Gianluca Chiozzi: ''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}}
+* mit Luigi Andolfato, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi: {{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}}
+* mit  L. Andolfato'','' P. Bristow'','' G. Chiozzi'','' M. Esselborn, M. Schilling, C. Schmid, H. Sommer'','' M. Zamparelli: ''Model based systems engineering for astronomical projects.'' In: SPIE, 2014, {{DOI|10.1117/12.2055540}}
+* mit Corrina Gibson, Luigi Andolfato, John Day: ''Abstraction for Executable and Checkable Fault Management Models.'' In: Procedia, 2014, {{DOI|10.1016/j.procs.2014.03.019}}
+* mit Corrina Gibson, Luigi Andolfato, John Day: ''Formal Validation of Fault Management Design Solutions.'' In: ACM, 2014, {{DOI|10.1145/2557833.2560583}}
+* mit Jean-Francois Castet, Matthew L. Rozek, Michel D. Ingham, Nicolas F. Rouquette et al.: ''Ontology and Modeling Patterns for State-Based Behavior Representation.'' AIAA Infotec, 2015, {{DOI|10.2514/6.2015-1115}}
+* 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}}
+* 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}}
+* 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}}
 * 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}}
 * 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}}
 * 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}}
-* 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}}
+* 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}}
-* 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}}
+* 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}}
-* 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 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}}
-* 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}}
-* mit Jean-Francois Castet, Matthew L. Rozek, Michel D. Ingham, Nicolas F. Rouquette et al.: ''Ontology and Modeling Patterns for State-Based Behavior Representation.'' AIAA Infotec, 2015, {{DOI|10.2514/6.2015-1115}}
-* mit Luigi Andolfato, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi: {{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}}
-* mit  L. Andolfato'','' P. Bristow'','' G. Chiozzi'','' M. Esselborn, M. Schilling, C. Schmid, H. Sommer'','' M. Zamparelli: ''Model based systems engineering for astronomical projects.'' In: SPIE, 2014, {{DOI|10.1117/12.2055540}}
-* mit Corrina Gibson, Luigi Andolfato, John Day: ''Abstraction for Executable and Checkable Fault Management Models.'' In: Procedia, 2014, {{DOI|10.1016/j.procs.2014.03.019}}
-* mit Corrina Gibson, Luigi Andolfato, John Day: ''Formal Validation of Fault Management Design Solutions.'' In: ACM, 2014, {{DOI|10.1145/2557833.2560583}}
-* mit David A. Wagner, Matthew B. Bennett, Robert, Nicolas Rouquette, Steven Jenkins et al.: ''An Ontology For State Analysis: Formalizing the Mapping to SysML''. IEEE Aerospace Conference, 2012, {{DOI|10.1109/AERO.2012.6187335}}
-* mit Michele Zamparelli, Bertrand Bauvir, Gianluca Chiozzi: ''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}}
-* mit M. Zamparelli, B. Bauvir,  B. Koehler, L. Noethe'','' A. Balestra: ''Exploring Model Based Engineering for Large Telescopes.'' SPIE 2008, {{DOI|10.1117/12.788739}}
 == Ausbildung ==