Sign in

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

Majid BabaeiMojtaba BagherzadehJuergen Dingel
Published in: MoDELS (2020)
Keyphrases
  • reactive systems
  • execution traces
  • model driven development
  • lightweight
  • distributed systems
  • relational databases
  • data driven
  • model driven
  • databases
  • model checking
  • software design