Benoit Combemale

Latest

• A generic framework for representing and analyzing model concurrency
• Behavioral interfaces for executable DSLs
• Runtime Monitoring for Executable DSLs
• Concern-Oriented Language Development (COLD)
• Trace Comprehension Operators for Executable DSLs
• Omniscient debugging for executable DSLs
• Advanced and efficient execution trace management for executable domain-specific modeling languages
• Execution Framework of the GEMOC Studio (Tool Demo)
• A Generative Approach to Define Rich Domain-Specific Trace Metamodels
• A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio
• 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