Robert Karban

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Fault Management

Temporal Properties

Design Solutions

Fault Tolerance

Top Venues

MoDELS (Companion)

ACM SIGSOFT Softw. Eng. Notes

Publications

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Robert Karban, Robbie Robertson, Ahsan Qamar, Erich Lee
Preface to the OpenMBEE International Workshop. MoDELS (Companion) (2021)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Thomas Boyer Chammard, Blake Regalia, Robert Karban, Ivan Gomes
Assisted authoring of model-based systems engineering documents. MoDELS (Companion) (2020)
Corrina Gibson, Robert Karban, Luigi Andolfato, John C. Day
Abstractions for Executable and Checkable Fault Management Models. CSER (2014)
Luigi Andolfato, Robert Karban, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain. MoDELS (2014)
Corrina Gibson, Robert Karban, Luigi Andolfato, John C. Day
Formal validation of fault management design solutions. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)