Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker. Incremental Model Synchronization for Efficient Run-Time Monitoring. In Sudipto Ghosh, editor, Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers. Volume 6002 of Lecture Notes in Computer Science, pages 124-139, Springer, 2009. [doi]
Abstract is missing.