Incremental Model Synchronization for Efficient Run-Time Monitoring.

Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker

Browse the full MODELS paper archive.