Abstractions for Executable and Checkable Fault Management Models. - Corrina Gibson; Robert Karban; Luigi Andolfato; John C. Day (CSER, 2014)

Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain. - Luigi Andolfato; Robert Karban; Marcus Schilling; Heiko Sommer; Michele Zamparelli; Gianluca Chiozzi (MoDELS, 2014)

Formal validation of fault management design solutions. - Corrina Gibson; Robert Karban; Luigi Andolfato; John C. Day (ACM SIGSOFT Softw. Eng. Notes, 2014)

Assisted authoring of model-based systems engineering documents. - Thomas Boyer Chammard; Blake Regalia; Robert Karban; Ivan Gomes (MoDELS (Companion), 2020)

Model checking as a service: towards pragmatic hidden formal methods. - Benedek Horváth; Bence Graics; Ákos Hajdu; Zoltán Micskei; Vince Molnár; István Ráth; Luigi Andolfato; Ivan Gomes; Robert Karban (MoDELS (Companion), 2020)

Preface to the OpenMBEE International Workshop. - Robert Karban; Robbie Robertson; Ahsan Qamar; Erich Lee (MoDELS (Companion), 2021)

Pragmatic verification and validation of industrial executable SysML models. - Benedek Horváth; Vince Molnár; Bence Graics; Ákos Hajdu; István Ráth; Ákos Horváth 001; Robert Karban; Gelys Trancho; Zoltán Micskei (Syst. Eng., 2023)