Luigi Andolfato

According to our database, Luigi Andolfato authored at least 4 papers between 2014 and 2020.

Collaborative distances:

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

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

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