Luigi Andolfato

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 1

Top Topics

Linear Temporal Logic

Ctl Model Update

Model Driven Engineering

Fault Management

Top Venues

MoDELS (Companion)

ACM SIGSOFT Softw. Eng. Notes

Publications

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)
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)