Benoit Baudry

Latest

• Omniscient debugging for executable DSLs
• Advanced and efficient execution trace management for executable domain-specific modeling languages
• A Generative Approach to Define Rich Domain-Specific Trace Metamodels
• Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
• Scalable Armies of Model Clones through Data Sharing
• Towards Scalable Multidimensional Execution Traces for xDSMLs
• Aligning SysML with the B method to provide V&V for systems engineering