Robert Karban

According to our database, Robert Karban authored at least 7 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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, Robert Karban, Gelys Trancho, Zoltán Micskei

Syst. Eng., November, 2023

2021

Preface to the OpenMBEE International Workshop.

Robert Karban, Robbie Robertson, Ahsan Qamar, Erich Lee

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

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

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Assisted authoring of model-based systems engineering documents.

Thomas Boyer Chammard, Blake Regalia, Robert Karban, Ivan Gomes

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2014

Formal validation of fault management design solutions.

Corrina Gibson, Robert Karban, Luigi Andolfato, John C. Day

ACM SIGSOFT Softw. Eng. Notes, 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

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Abstractions for Executable and Checkable Fault Management Models.

Corrina Gibson, Robert Karban, Luigi Andolfato, John C. Day

Proceedings of the Conference on Systems Engineering Research, 2014