Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development.

Majid Babaei, Mojtaba Bagherzadeh, Juergen Dingel

Browse the full MODELS paper archive.