Date: Thursday, 09.06, 13.15–14.00
Speaker: Francisco Durán, Universidad de Málaga
Title: Building Domain-Specific Languages with e-Motions
Francisco Durán will present a proposal for defining Domain-Specific Languages with the e-Motions system. He will talk about how these language definitions can be used for simulation, reachability analysis, model checking and statistical model checking.
More recently Francisco has been working on QoS (performance mainly, by defining Palladio in e-Motions), cloud, and QoS of adaptive systems.
It will also be possible to discuss these topics after the presentation if anyone is interested