Date: Thursday, 09.06, 13.15–14.00

Place: C115

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